A french researcher called Jean-Louis Krivine proved in 1999 that mathematics and natural languages are subsets of Lambda Calculus. This follows previous studies starting back in 1967.
Lost password
Sign Up
Need help? accounthelp@everything2.com