Alonzo Church

Alonzo Church
Información personal
Nacimiento	14 de junio de 1903 Washington, D. C., EE. UU.
Fallecimiento	11 de agosto de 1995 Hudson, Ohio, EE. UU.
Sepultura	Cementerio de Princeton
Nacionalidad	Estadounidense
Religión	Presbiterianismo
Lengua materna	Inglés
Educación
Educación	doctor en Filosofía
Educado en	Universidad de Princeton
Supervisor doctoral	Oswald Veblen
Información profesional
Área	Matemáticas, Lógica
Conocido por	Cálculo Lambda Tesis de Church-Turing Ontología de Frege-Church Teorema de Church-Rosser
Empleador	Universidad de Princeton 1929–67 UCLA 1967–95
Estudiantes doctorales	C. Anthony Anderson Peter Andrews George Alfred Barnard Martin Davis Leon Henkin David Kaplan John George Kemeny Stephen Kleene Michael O. Rabin Hartley Rogers, Jr J. Barkley Rosser Nathan Salmon Dana Scott Raymond Smullyan Alan Turing
Obras notables	Tesis de Church-Turing cálculo lambda
Miembro de	Academia Estadounidense de las Artes y las Ciencias Asociación Estadounidense para el Avance de la Ciencia Academia Nacional de Ciencias de los Estados Unidos

Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en 1924 y obtuvo su doctorado en 1927 en la Universidad de Princeton, donde ejerció como profesor entre 1929 y 1967.

Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles. Este trabajo precedió el famoso trabajo de su alumno Alan Turing sobre el problema de parada que también demostró la existencia de problemas irresolubles por dispositivos mecánicos. Luego de revisar la tesis doctoral de Turing, demostraron que el cálculo lambda y la máquina de Turing utilizada para expresar el problema de parada tenían igual poder de expresión; posteriormente demostraron que una variedad de procesos mecánicos alternos para realizar cálculos tenían poder de cómputo equivalente. Como resultado se postuló la Tesis de Church-Turing.​

Entre los más conocidos estudiantes de doctorado de Church están Stephen Kleene, J. Barkley Rosser, Leon Henkin, John George Kemeny, Michael O. Rabin, Dana Scott, Simon Kochen y Raymond Smullyan.

Church publicó entre 1924 y 1995 trabajos sobre Lógica, filosofía, matemáticas y computación. En su trabajo de 1936 An unsolvable problem of elementary number theory Church formuló por primera vez lo que ahora se conoce como la tesis de Church que es la identificación del concepto vago de calculabilidad efectiva con la noción precisa de función recursiva. Su artículo A note on the entscheidungsproblem presentó lo que ahora se conoce como el teorema de Church: La indecidibilidad de la validez de la lógica de primer orden. En 1941 publicó su monografía The calculi of lambda-conversión. Este trabajo tiene gran influencia en el área de computación teórica.​

El cálculo lambda influyó en el diseño del lenguaje Lisp, así como en los lenguajes de programación funcional.

Véase también

• Lógica combinatoria

Enlaces externos

• O'Connor, John J.; Robertson, Edmund F., «Alonzo Church» (en inglés), MacTutor History of Mathematics archive, Universidad de Saint Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Church.html .
• Alonzo Church en el Mathematics Genealogy Project.
• Princeton University Library, Manuscripts Division, The Alonzo Church Papers, 1924–1995: finding aid.
• Bibliografía de las revisiones de Church para The Journal of Symbolic Logic, con un enlace a cada una
• «Tumba de Alonzo Church» (en inglés). Find a Grave. 
• Alonzo Church, 92, Theorist Of the Limits of Mathematics New York Times obituario
• OBITUARIO: Alonzo Church en The Independent
• In memoriam: Alonzo Church (1903--1995) by Irving H. Anellis, Modern Logic v. 5, N.º. 4 (1995).
• In memoriam: Alonzo Church 1903-1995 × H. B. Enderton, The Bulletin of Symbolic Logic v. 1, N.º. 5 (1995).
• Vida, obra y algunos milagros de Alonzo Church. María Manzano. Agora vol 18 num.1

• Datos: Q92741