ProofWiki:Mathematicians/Alonzo Church
From ProofWiki
American mathematician who pioneered in the field of computability theory and the foundations of computer science.
Best known for his lambda calculus, Church's Theorem and Church's Thesis.
Contents |
Nationality
American
History
- Born: June 14, 1903
- Died: August 11, 1995
Theorems and Definitions
- Lambda Calculus
- Church's Theorem
- Church's Thesis (otherwise known as the Church-Turing Thesis, with Alan Turing)
- Church-Turing-Deutsch Principle (a stronger version of the Church-Turing Thesis formulated by David Deutsch)
- Church-Rosser Theorem (with John Barkley Rosser Sr.)
Books and Papers
- 1925: On irredundant sets of postulates
- 1926: On the form of differential equations of a system of paths
- 1927: Alternatives to Zermelo's assumption (his Ph.D. dissertation)
- 1932: A set of Postulates for the Foundation of Logic (Annals of Mathematics Vol. 2, no. 33: 346 – 366)
- May 1936: Some properties of conversion (Transactions of the American Mathematical Society Vol. 39, no. 3: 472 – 482) (with John Barkley Rosser Sr.) (in which Church-Rosser Theorem is presented)
- 1936: Founded the Journal of Symbolic Logic which he edited till 1979
- 1936: A Note on the Entscheidungsproblem (Journal of Symbolic Logic no. 1: 40 – 41) (in which Church's Theorem is presented)
- 1936: An Unsolvable Problem of Elementary Number Theory (American Journal of Mathematics no. 58: 345 – 363) (in which Church's Thesis is presented)
- 1940: On the concept of a random sequence
- 1940: A formulation of the simple theory of types
- 1941: The Calculi of Lambda-Conversion
- 1944: Introduction to Mathematical Logic
- 1951: A formulation of the logic of sense and denotation
- 1956: Introduction to Mathematical Logic (expanded edition)
- 1965: Remarks on the elementary theory of differential equations as area of research
- 1966: A generalization of Laplace's transformation
- 1971: Set theory with a universal set (a variant of ZF-type axiomatic set theory)
- 1976: Comparison of Russell's resolution of the semantical antinomies with that of Tarski
