#@mathematics@# (Normally written with a Greek letter lambda). the late 1930s and early 1940s, dealing with the application contains no constants - neither numbers nor mathematical functions such as plus - and is untyped. It consists only of of one function to another. All entities must therefore be represented as functions. For example, the natural number N can be represented as the function which applies its first Church invented lambda-calculus in order to set up a foundational project restricting mathematics to quantities Church couldn't see any way to get rid of it, and gave the project up. lambda-calculus extended with constants and types. Lispuses a variant of lambda notation for defining functions but lambda-calculus. (1995-04-13)
|
