Alonzo Church
Mathematician, Academic
1903 – 1995
Photo Credit »
78 Views
Who was Alonzo Church?
Alonzo Church 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.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Jun 14, 1903
Washington, D.C. - Nationality
- United States of America
- Profession
- Education
- Princeton University
- Harvard University
- Employment
- University of California, Los Angeles
- Princeton University
- Lived in
- United States of America
- Died
- Aug 11, 1995
Hudson
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Alonzo Church." Biographies.net. STANDS4 LLC, 2024. Web. 25 Apr. 2024. <https://www.biographies.net/people/en/alonzo_church>.
Powered by CITE.ME
Discuss this Alonzo Church biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In