lambda calculus en · NOUN
Pronunciation
- (US) audio
Etymology
Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus.
Meanings
-
(countable, uncountable) Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.
In the 1930s, while Turing was developing what are now called ‘Turing machines’ as a model for computation, Church and his student Kleene were developing a different model, called the ‘lambda calculus’ [29, 63]. While a Turing machine can be seen as an idealized, simplified model of computer hardware, the lambda calculus is more like a simple model of software.
2009 February 3, John C. Baez with Mike Stay, “Physics, Topology, Logic and Computation: A Rosetta Stone”, in (Please provide the book title or journal name), page 50:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| lambda calculi | Number=Plur | lexicographic |
Deriveds
simply typed lambda calculus · typed lambda calculus
Meronyms
lambda term · eta conversion · beta reduction · alpha conversion
Relateds
lambda · lambda expression · Turing machine · lambda abstraction · calculus · functionally complete · combinator · recursive function
Translations (15)
is lambda-reikningur (algebraic system) · ja λ計算 (algebraic system) · fi lambdakalkyyli (algebraic system) · ca càlcul lambda (algebraic system) · de Lambda-Kalkül (algebraic system) · sv lambdakalkyl (algebraic system) · pl rachunek lambda (algebraic system) · cs lambda kalkul (algebraic system) · ro calcul lambda (algebraic system) · ja ラムダ計算 (algebraic system) · sh lambda račun (algebraic system) · ru лямбда-исчисление (algebraic system) · it calcolo lambda (algebraic system) · el λογισμός λάμδα (algebraic system) · mk ламбда-пресметка (algebraic system)