Lambda-calculus
mathematics
(Normally written with a Greek letter lambda). A branch of mathematical logic developed by Alonzo Church in the late 1930s and early 1940s, dealing with the application of functions to their arguments. The pure lambda-calculus contains no constants – neither numbers nor mathematical functions such as plus – and is untyped. It consists only of lambda abstractions (functions), variables and applications 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 argument to its second N times (Church integer N).
Church invented lambda-calculus in order to set up a foundational project restricting mathematics to quantities with “effective procedures”. Unfortunately, the resulting system admits Russell’s paradox in a particularly nasty way; Church couldn’t see any way to get rid of it, and gave the project up.
Most functional programming languages are equivalent to lambda-calculus extended with constants and types. Lisp uses a variant of lambda notation for defining functions but only its purely functional subset is really equivalent to lambda-calculus.
See reduction.
(1995-04-13)
Read Also:
- Lambda-c baryon
[lam-duh-see] /ˈlæm dəˈsi/ noun, Physics. 1. a positively charged baryon with a mean lifetime of approximately 2.1 X 10 -13 seconds.
- Lambdacism
[lam-duh-siz-uh m] /ˈlæm dəˌsɪz əm/ noun, Phonetics. 1. excessive use of the sound l, its misarticulation, or its substitution for the sound r. /ˈlæmdəˌsɪzəm/ noun (phonetics) 1. excessive use or idiosyncratic pronunciation of l 2. another word for lallation
- Lambda-c particle
lambda-c particle A positively charged baryon having a mass 4,471 times that of the electron and a mean lifetime of approximately 2.1 × 10-13 seconds. See Table at subatomic particle.
- Lambda expression
mathematics A term in the lambda-calculus denoting an unnamed function (a “lambda abstraction”), a variable or a constant. The pure lambda-calculus has only functions and no constants. (1995-04-13)
- Lambda lifting
A program transformation to remove free variables. An expression containing a free variable is replaced by a function applied to that variable. E.g. f x = g 3 where g y = y + x x is a free variable of g so it is added as an extra argument: f x = g 3 […]