Alonzo Church

Alonzo Church

Born: June 14, 1903

Died: August 11, 1995

Nationality: American

Occupation: Mathematician

Biography: 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.