1903 - 1995
Alonzo Church American Mathematician
00
Alonzo Church dating history
Relationships
We have no records of past relationships for Alonzo Church.
About
Alonzo Church is a member of the following lists: 1995 deaths, People from Washington, D.C. and Princeton University alumni.
Contribute
Who is Alonzo Church dating? Alonzo Church partner, spouse list. Help us build our profile of Alonzo Church!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
First Name |
Alonzo
|
Last Name |
Church
|
Birthday |
14th June, 1903
|
Birthplace |
Washington, DC, United States
|
Died |
11th August, 1995
|
Place of Death |
Hudson, Ohio, US
|
Zodiac Sign |
Gemini
|
Nationality |
American
|
Occupation |
Mathematician
|
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 unsolvability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970).