Alonzo Church
| ||||||||||
Alonzo Church . Matemático estadounidense.
Trayectoria
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 los años 1929 y 1967. Se especializó en lógica matemática, metalógica y metamatemática.
Logros alcanzados
De sus trabajos es notable su concepto de calculabilidad de una función y su demostración de la indecidibilidad de la lógica de primer orden, es decir, del cálculo cuantificacional elemental.Desarrolló el cálculo de conversión lambda, que permite efectuar operaciones lógicas con variables generalizadas yla 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. El cálculo lambda influenció el diseño del lenguaje Lisp así como los lenguajes de programación funcional.
Discípulos
Entre los más conocidos estudiantes de doctorado de Church están.
- Stephen Cole Kleene.
- J. Barkley Rosser.
- Leon Henkin.
- John George Kemeny.
- Michael O. Rabin.
- Dana Scott.
- Simon Kochen.
- Raymond Smullyan.
Publicaciones
Destacan, dentro de su abundante producción teórica, sus obras.
- Cálculo de conversión lambda 1941.
- Introducción a la lógica matemática 1944.
- Journal of Symbolic Logic, publicación que él mismo dirigía y editaba desde 1936.
