"If a function is effectively calculable, then it is lambda-definable."
Choose Background Style
Recommended Backgrounds
More Backgrounds
About Alonzo Church
Alonzo Church was an American mathematician and logician who made significant contributions to mathematical logic and the foundations of mathematics. He is best known for the development of the lambda calculus, which has had a major influence on the field of computer science. Church also formulated the Church-Turing thesis, defining the concept of computability that laid the groundwork for modern computing theory. His work has had a lasting impact on various areas of logic and theoretical computer science.
Related Quotes
"His result on the undecidability of the Entscheidungsproblem, the decision problem for first-order logic, had been antic..."
"All men are mortal. Socrates is a man. Therefore, Socrates is mortal."
"Definable by lambda-expressions are exactly the functions which can be calculated by a process of substitution."
"The calculi are perfect only when they are languages of thought of universal algebra."