Historical records matching Alonzo Church
view all
Immediate Family
-
wife -
father -
mother
About Alonzo Church
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. He is best known for the lambda calculus, Church–Turing thesis, proving the undecidability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970).
- From https://en.wikipedia.org/wiki/Alonzo_Church, accessed 30 January 2019.
Mathematical work
https://en.wikipedia.org/wiki/Alonzo_Church#Mathematical_work
view all
Alonzo Church's Timeline
| 1903 |
June 14, 1903
|
Washington, District of Columbia, District of Columbia, United States
|
|
| 1995 |
August 11, 1995
Age 92
|
Hudson, Summit County, Ohio, United States
|