Alonzo Church
From Wiki @ Karl Jones dot com
Revision as of 18:18, 15 April 2016 by Karl Jones (Talk | contribs)
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science.
Work
Church is best known for:
- The lambda calculus
- The Church–Turing thesis
- Proving the undecidability of the Entscheidungsproblem
- The Frege–Church ontology
- The Church–Rosser theorem
See also
- Church–Rosser theorem
- Computation
- Computer science
- Entscheidungsproblem
- Frege–Church ontology
- Lambda calculus
- Theoretical computer science
- Turing machine
External links
- Alonzo Church @ Wikipedia
