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 unsolvability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970). Alongside Alan Turing, Church has been considered one of the founders of computer science. Life Alonzo Church was born on June 14, 1903, in Washington, D.C., where his father, Samuel Robbins Church, was the judge of the Municipal Court for the District of Columbia. The family later moved to Virginia after his father lost this position because of failing eyesight. With help from his uncle, also named Alonzo Church, the son attended the private Ridgefield School for Boys in Ridgefield, Connecticut. After graduating from Ridgefield in 1920, Church attended Princeton University, where
Alonzo Church (14 de junio de 1903 – 11 de agosto de 1995) fue un matemático y lógico estadounidense que hizo importantes contribuciones a la lógica matemática y los fundamentos de la ciencia de la computación teórica. Él es más conocido por el cálculo de lambda, la tesis de Church-Turing, que demostró la insolubilidad del Entscheidungsproblem, la ontología de Frege-Church, y el teorema de Church-Rosser. También trabajó en la filosofía del lenguaje (véase, por ejemplo, la Iglesia de 1970). Junto a Alan Turing, Church ha sido considerado uno de los fundadores de la ciencia de la computación. La vida Alonzo Church nació el 14 de junio de 1903, en Washington, D.C., donde su padre, Samuel Robbins Church, fue el juez del Tribunal Municipal para el Distrito de Columbia. La familia más tarde se trasladó a Virginia después de que su padre perdió esta posición debido a la falta de ojos. Con la ayuda de su tío, también llamado Alzoon Church, el hijo asistió a la escuela