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's thesis and the Church-Rosser theorem.

Category:1903 births
Category:1995 deaths
Category:American mathematicians
Category:Scientists from Washington, D.C.