Alonzo Church, Date of Birth, Place of Birth, Date of Death

Alonzo Church

American mathematician

Date of Birth: 14-Jun-1903

Place of Birth: Washington, D.C., District of Columbia, United States

Date of Death: 11-Aug-1995

Profession: computer scientist, mathematician, university teacher, philosopher

Nationality: United States

Zodiac Sign: Gemini

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–Turing thesis, proving the undecidability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem.
He also worked on philosophy of language (see e.g.
Church 1970).