Alonzo Church, American mathematician and logician (died 1995)

Alonzo Church

American mathematician and computer scientist (1903–1995)

Alonzo Church was an American computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the…