Alonzo Church

Mathematician, Academic

1903 – 1995

78

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, 2022. Web. 11 Aug. 2022. <https://www.biographies.net/people/en/alonzo_church>.

Discuss this Alonzo Church biography with the community:

0 Comments


    Browse Biographies.net