Iglesia de Alonzo
Alonzo Church (nacido el 14 de junio de 1903 en Washington, DC , † el 11 de agosto de 1995 en Hudson , Ohio ) fue un matemático , lógico y filósofo estadounidense y uno de los fundadores de la informática teórica .
Carrera profesional
Church estudió en la Universidad de Princeton , donde se graduó en matemáticas con un doctorado en 1927. Después de estancias en la Universidad de Chicago , la Universidad Georg August de Göttingen y la Universidad de Amsterdam, se convirtió en profesor de Matemáticas en Princeton en 1929. Church siguió siendo profesor en Princeton durante casi cuatro décadas hasta 1967. Luego se trasladó a la Universidad de California, Los Ángeles (UCLA), donde fue profesor de matemáticas y filosofía hasta 1990.
Sus estudiantes de doctorado incluyen C. Anthony Anderson , Peter B. Andrews , George A. Barnard , David Berlinski , William W. Boone , Martin Davis , Alfred L. Foster , Leon Henkin , John G. Kemeny , Stephen C. Kleene , Simon B. Cooking , Maurice L'Abbé , Isaac Malitz , Gary R. Mar , Michael O. Rabin , Nicholas Rescher , Hartley Rogers, Jr. , J. Barkley Rosser , Dana Scott , Raymond Smullyan y Alan Turing .
planta
Se dio a conocer a sus colegas matemáticos y lógicos en la década de 1930 con un modelo formal universal para los cálculos, el cálculo lambda , que desarrolló como parte de su investigación sobre los fundamentos de las matemáticas y los teoremas de incompletitud de Gödel . Los datos y operadores están incrustados en el cálculo lambda usando codificación Church , los números naturales están representados por numerales Church . Church demostró en 1936 que no existe una función computable para dos expresiones dadas en el cálculo lambda para decidir si son equivalentes o no, es decir, problemas indecidibles por el teorema de números (teorema de Church); dos expresiones equivalentes deben convertirse una en otra o reducirse a la misma forma normal ( teorema de Church-Rosser ). Esto llevó a su alumno Alan Turing a pensar en el problema de sostener una máquina que realiza operaciones aritméticas. Church y Turing encontraron entonces que el cálculo lambda y la máquina de Turing son modelos iguales en términos del problema de decisión ; un concepto de previsibilidad derivado de esto se conoce como la tesis de Church-Turing .
En el campo de la filosofía, es conocido por su alto nivel de argumentación, defendió la posición platónica en la disputa universal moderna .
Fuentes
- Introducción a la lógica matemática ( ISBN 978-0-691-02906-1 )
- Los cálculos de conversión de Lambda ( ISBN 978-0-691-08394-0 )
- Una bibliografía de lógica simbólica, 1666-1935 ( ISBN 978-0-8218-0084-3 )
literatura
- C. Anthony Anderson, Michael Zelëny (Eds.): Lógica, significado y computación: Ensayos en memoria de Alonzo Church , Biblioteca de síntesis, Vol. 305, 2002, ISBN 978-1-4020-0141-3
enlaces web
- John J. O'Connor, Edmund F. Robertson : Iglesia Alonzo. En: Archivo MacTutor de Historia de las Matemáticas .
Evidencia individual
- ^ Proyecto de genealogía de las matemáticas . Archivado desde el original el 4 de agosto de 2010. Recuperado el 12 de agosto de 2010.
- ↑ Alonzo Church, "Un problema insoluble de la teoría de números elemental", American Journal of Mathematics, Volumen 58, No. 2, abril de 1936, págs. 345-363.
- ^ Joseph Maria Bocheński , Iglesia de Alonso, Nelson Goodman : El problema de los universales. Un simposio , Notre Dame, Indiana, 1956, 33-57
información personal | |
---|---|
APELLIDO | Iglesia, Alonzo |
BREVE DESCRIPCIÓN | Matemático estadounidense y uno de los fundadores de la informática teórica. |
FECHA DE NACIMIENTO | 14 de junio de 1903 |
LUGAR DE NACIMIENTO | Washington DC |
FECHA DE MUERTE | 11 de agosto de 1995 |
LUGAR DE LA MUERTE | Hudson (Ohio) |