La iglesia ( el 14 de junio de Alonzo del, el 1903 - el 11 de agosto, 1995 ) era matemático americano y el lógico que era responsable de algunas de las fundaciones teórico de informática. Llevado en el Washington, C., él recibió una licenciatura de la Universidad de Princeton en 1924, terminando su Ph. allí en 1927, bajo Oswald Veblen . Después de una beca postdoctoral en el Göttingen, él enseñó en Princeton, 1929-1967, y en la Universidad de California, Los Ángeles, 1967-1990.
Trabajo matemático
La iglesia es la más conocida para las realizaciones siguientes:Su prueba que el Peano la lógica de primer orden aritmética de y es Undecidable . El 3ultimo resultado se conoce como teorema de la iglesia.
Su articulación de qué ha venido ser conocida como tesis de la iglesia.
Él era el redactor de fundación del diario de la lógica simbólica, corrigiendo su sección de las revisiones hasta 1979.
Su creación del cálculo de la lambda.
El cálculo de la lambda emergió en su demostración de papel famosa 1936 la existencia de un " problem" undecidable;. Este resultado precedió trabajo famoso de s de Turing Alan 'sobre el problema que paraba que también demostró la existencia de un problema insoluble por medios mecánicos. Él y Turing entonces demostraron que el cálculo y la máquina de la lambda de Turing usados en el problema que paraba de Turing eran equivalentes en capacidades, y demostraron posteriormente una variedad el " alternativo; procesos mecánicos para computation." Esto dio lugar a la tesis de la Iglesia-Turing.
El cálculo de la lambda influenció el diseño de las idiomas de la programación funcional del lenguaje de programación y del lisp en general. La codificación de la iglesia se nombra en su honor.
Estudiantes
Los estudiantes doctorales de la iglesia eran una porción extraordinario realizada, incluyendo el C. Anthony Anderson, el Peter Andrews, el Martin Davis, el Leon Henkin, el Juan George Kemeny, el Stephen Kleene, Gary marcha, el Juan McCarthy, el Michael O. Rabin, el Hartley Rogers, el JR, el J. Barkley Rosser, el Dana Scott, el Raymond Smullyan, y el Alan Turing .
Muerte
Él murió en 1995 y fue enterrado en el cementerio de Princeton.
Ver también
Principio de Iglesia-Turing-DeutschLógica Higher-order
Sistema universal
Libros
Iglesia de Alonzo, introducción del a la lógica matemática (ISBN 0-691-02906-7).
| Random links: | Bomba del protón | Wayne Brady | Reykjanes | Viva, Viva un FRELIMO | Isla del agua, los E.E.U.U. Islas Vírgenes |