Alonzo Church
1903 - 1995
5
Quotes
Biography
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.
Famous Quotes (5)
1
The calculi are perfect only when they are languages of thought of universal algebra.
2
All men are mortal. Socrates is a man. Therefore, Socrates is mortal.
3
His result on the undecidability of the Entscheidungsproblem, the decision problem for first-order logic, had been anticipated for several years, by the works of Kurt Gödel and J. B. Rosser.
4
If a function is effectively calculable, then it is lambda-definable.
5
Definable by lambda-expressions are exactly the functions which can be calculated by a process of substitution.