Alonzo Church

Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who was responsible for some of the foundations of theoretical computer science. Born in Washington, DC, he received a bachelor's degree from Princeton University in 1924 and a Ph.D. in 1927. His advisor was Oswald Veblen. He became a professor of mathematics at Princeton in 1929.

Related Topics:
June 14 - 1903 - August 11 - 1995 - American - Mathematician - Logician - Computer science - Washington, DC - Bachelor's degree - Princeton University - 1924 - Ph.D. - 1927 - Oswald Veblen - 1929

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

He is best known for the development of the lambda calculus in his famous 1936 paper showing the existence of an "undecidable problem". This result preempted Alan Turing's famous work on the halting problem which also demonstrated the existence of a problem unsolvable by mechanical means. He and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative "mechanical processes for computation" had equivalent computational abilities. This resulted in the Church-Turing thesis. As there is dispute about who proposed it first, it is also known as Church's Thesis and Turing's Thesis.

Related Topics:
Lambda calculus - 1936 - Alan Turing - Halting problem - Turing machine - Church-Turing thesis

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Church's doctoral students included Stephen Kleene, J. Barkley Rosser, Leon Henkin, John George Kemeny, Michael O. Rabin, Dana Scott, Simon Kochen, Raymond Smullyan, Hartley Rogers, Jr and others (see http://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps).

Related Topics:
Stephen Kleene - J. Barkley Rosser - Leon Henkin - John George Kemeny - Michael O. Rabin - Dana Scott - Simon Kochen - Raymond Smullyan - Hartley Rogers, Jr

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Church remained a professor of mathematics at Princeton until 1967, when he moved to California.

Related Topics:
1967 - California

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Church's lambda calculus influenced the design of the Lisp family of computer languages as well as functional programming languages in general. The concept of the Church boolean is named in his honor.

Related Topics:
Lisp - Functional programming - Church boolean

~ ~ ~ ~ ~ ~ ~ ~ ~ ~