lambda calculus
Hello, you have come here looking for the meaning of the word lambda calculus. In DICTIOUS you will not only get to know all the dictionary meanings for the word lambda calculus, but we will also tell you about its etymology, its characteristics and you will know how to say lambda calculus in singular and plural. Everything you need to know about the word lambda calculus you have here. The definition of the word lambda calculus will help you to be more precise and correct when speaking or writing your texts. Knowing the definition oflambda calculus, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Etymology
Coined by Alonzo Church after the use of the Greek letter lambda (λ) as the basic abstraction operator in the calculus.
Noun
lambda calculus (countable and uncountable, plural lambda calculi)
- (computing theory) 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.
- 2009 March 2, 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:
- 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.
Usage notes
- When referring to lambda calculus, it is often prefixed with the definite article. I.e., both "lambda calculus" (without a definite article) and "the lambda calculus" are commonly used, and mean the same thing.
Meronyms
Derived terms
Related terms
Translations
algebraic system
|