Alonzo Church
| Alonzo Church | |
|---|---|
| Nacimiento | 14 de junio de 1903 Washington, D.C., EEUU |
| Fallecimiento | 11 de agosto de 1995 Hudson, Ohio, EEUU |
| Nacionalidad | Estadounidense |
| Campo | Matemáticas, Lógica |
| Instituciones | Universidad de Princeton 1929–67 UCLA 1967–95 |
| Alma máter | Universidad de Princeton |
| Supervisor doctoral | Oswald Veblen |
| Estudiantes destacados |
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 |
| Conocido por | Cálculo Lambda Tesis_de_Church-Turing Ontología de Frege-Church Teorema de Church-Rosser |
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico norteamericano responsable por crear la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en la Universidad de Princeton en 1924 y obtuvo su doctorado en 1927, 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, Raymond Smullyan y otros.
El cálculo lambda influenció el diseño del lenguaje Lisp así como los lenguajes de programación funcional.
Véase también editar
Enlaces externos editar
I-Barakaldo wikipedia es una iniciativa de Jon K Artetxe aka ibarakaldo
Webs de Interes [ androidografia - directorio webs - ibbuscador - tablon anuncios - hoteles baratos ]