About Alonzo Church
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 unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem ("decision problem"), the Frege–Church ontology, and the Church–Rosser theorem. Church is also known for the Frege-Church ontology, which he created based on the philosophical ideas of Gottlob Frege. He published his first paper on Lorentz transformations in 1924 and graduated the same year with a degree in mathematics. Church is known for the following accomplishments: His proof that the Entscheidungsproblem, which asks for a decision procedure to determine the truth of arbitrary propositions in a first-order mathematical theory, is undecidable.
Biography source: Wikipedia. The profile adds birthday-specific historical context from the Celebs Birthday Today editorial database.