Mathematician:Alonzo Church

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.

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)
 * 1936: Founded the which he edited till 1979
 * 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
 * 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