Alonzo Church (14 junio 1903 hasta 11 agosto 1995) fue un estadounidense matemático y lógico que hizo importantes contribuciones a la lógica matemática y los fundamentos de la informática teórica . Es más conocido por el cálculo lambda , la tesis de Church-Turing , que demuestra la imposibilidad de resolver el problema de Entscheidungs , la ontología de Frege-Church y el teorema de Church-Rosser . También trabajó en filosofía del lenguaje (véase, por ejemplo, Church 1970). Junto a Alan Turing , Church ha sido considerado uno de los fundadores de la informática .[2] [3]
Iglesia de Alonzo | |
---|---|
Nació | Washington, DC , EE. UU. | 14 de junio de 1903
Fallecido | 11 de agosto de 1995 Hudson, Ohio , Estados Unidos | (92 años)
Ciudadanía | EE.UU |
alma mater | Universidad de Princeton |
Conocido por | Cálculo lambda Cálculo lambda simplemente mecanografiado Codificación de Church Teorema de Church Ordinal de Church-Kleene Tesis de Church-Turing Ontología de Frege-Church Teorema de Church-Rosser Lógica intencional |
Carrera científica | |
Campos | Matemáticas , lógica |
Instituciones | Universidad de Princeton (1929-1967) UCLA (1967-1995) |
Tesis | Alternativas a la asunción de Zermelo (1927) |
Asesor de doctorado | Oswald Veblen |
Estudiantes de doctorado | C. Anthony Anderson 1977 Peter Andrews 1964 Bijan Arbab 1988 George Alfred Barnard 1936 James Bennett 1962 William W. Boone 1952 Enrique Bustamente-Llaca 1944 Edward Chapin 1970 Donald Collins 1967 Aubert Daigneault 1959 Martin Davis 1950 William Easton 1964 Alfred Foster 1930 James Guard 1961 León Henkin 1947 Gustav Hensel 1963 David Kaplan John George Kemeny 1949 Stephen Cole Kleene 1934 Simon B. Kochen 1959 Maurice L'Abbé 1951 Isaac (Richard) Malitz 1976 Gary R. Mar 1985 Gerald Massey 1964 Michael O. Rabin 1957 Nicholas Rescher 1951 Wayne Richter 1963 Robert Ritchie 1960 Joel Robbin 1965 Hartley Rogers, Jr 1952 J. Barkley Rosser 1934 Dana Scott 1958 Norman Shapiro 1955 Raymond Smullyan 1959 Alan Turing 1938 [1] Robert Winder 1962 |
La vida
Alonzo Church nació el 14 de junio de 1903 en Washington, DC , donde su padre, Samuel Robbins Church, era juez del Tribunal Municipal del Distrito de Columbia. Más tarde, la familia se mudó a Virginia después de que su padre perdiera este puesto debido a problemas de visión. Con la ayuda de su tío, también llamado Alonzo Church, el hijo asistió a la escuela privada Ridgefield School for Boys en Ridgefield, Connecticut . [4] Después de graduarse de Ridgefield en 1920, Church asistió a la Universidad de Princeton , donde fue un estudiante excepcional. Publicó su primer artículo sobre las transformaciones de Lorentz y se graduó en 1924 con una licenciatura en matemáticas. Se quedó en Princeton para realizar trabajos de posgrado, obteniendo un doctorado. en matemáticas en tres años con Oswald Veblen .
Se casó con Mary Julia Kuczinski en 1925. La pareja tuvo tres hijos, Alonzo Church, Jr. (1929), Mary Ann (1933) y Mildred (1938).
Después de recibir su doctorado, enseñó brevemente como instructor en la Universidad de Chicago . [5] Recibió una beca de investigación nacional de dos años que le permitió asistir a la Universidad de Harvard en 1927-1928, y la Universidad de Göttingen y la Universidad de Amsterdam el año siguiente.
Enseñó filosofía y matemáticas en Princeton durante casi cuatro décadas, 1929-1967. Enseñó en la Universidad de California, Los Ángeles , 1967-1990. Fue Orador Plenario de la ICM en 1962 en Estocolmo. [6]
Recibió títulos honorarios de Doctor en Ciencias de la Case Western Reserve University en 1969, [7] la Universidad de Princeton en 1985, [8] y la Universidad de Buffalo, la Universidad Estatal de Nueva York en 1990 en relación con un simposio internacional en su honor organizado por John Corcoran . [9]
Church, una persona profundamente religiosa, fue miembro de la iglesia presbiteriana durante toda su vida . [10] Murió en 1995 y fue enterrado en el cementerio de Princeton .
Trabajo matemático
Church es conocida por los siguientes logros importantes:
- Su prueba de que el problema de la Entscheidung , que pide un procedimiento de decisión para determinar la verdad de proposiciones arbitrarias en una teoría matemática de primer orden , es indecidible . Esto se conoce como teorema de Church . [11]
- Su prueba de que la aritmética de Peano es indecidible.
- Su articulación de lo que ha llegado a conocerse como la tesis de Church-Turing .
- Fue el editor fundador del Journal of Symbolic Logic , editando su sección de reseñas hasta 1979.
- Su invención del cálculo lambda .
El cálculo lambda surgió en su artículo de 1936 que mostraba la imposibilidad de resolver el problema de Entscheidung. Este resultado precedió al trabajo de Alan Turing sobre el problema de la detención , que también demostró la existencia de un problema irresoluble por medios mecánicos. Church y Turing demostraron entonces que el cálculo lambda y la máquina de Turing utilizados en el problema de detención de Turing eran equivalentes en capacidades, y posteriormente demostraron una variedad de "procesos mecánicos para la computación" alternativos. Esto resultó en la tesis de Church-Turing.
Los esfuerzos para generar automáticamente una implementación de controlador a partir de especificaciones se originan en sus ideas. [12]
El cálculo lambda influyó en el diseño del lenguaje de programación LISP y los lenguajes de programación funcional en general. La codificación de la Iglesia se nombra en su honor.
En su honor, el Premio Alonzo Church por Contribuciones Sobresalientes a la Lógica y la Computación fue establecido en 2015 por el Grupo de Interés Especial de la Asociación de Maquinaria de Computación para Lógica y Computación ( ACM SIGLOG ), la Asociación Europea de Ciencias de la Computación Teórica (EATCS), la Asociación Europea para la lógica de las ciencias de la computación ( EACSL ) y la Sociedad Kurt Gödel (KGS). El premio es por una contribución sobresaliente al campo publicada en los últimos 25 años y aún no debe haber recibido el reconocimiento a través de otro premio importante, como el Premio Turing , el Premio Paris Kanellakis o el Premio Gödel . [13] [14]
Obra filosófica
La elaboración de Church de una metodología que involucra el método logístico, sus críticas filosóficas del nominalismo y su defensa del realismo, su argumentación que lleva a conclusiones sobre la teoría del significado y la construcción detallada de las lógicas intensionales fregeana y russelliana , son más que suficientes para ubicar él se encuentra entre los filósofos más importantes de este siglo.
- C. Anthony Anderson [15]
Estudiantes
Muchos de los estudiantes de doctorado de Church han tenido carreras distinguidas, como 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. Kochen , 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 . [16] Una lista más completa de los estudiantes de Church está disponible a través de Mathematics Genealogy Project .
Libros
- Iglesia de Alonzo, Introducción a la lógica matemática ( ISBN 978-0-691-02906-1 ) [17]
- Iglesia de Alonzo, Los cálculos de conversión de lambda ( ISBN 978-0-691-08394-0 ) [18]
- Iglesia de Alonzo, una bibliografía de lógica simbólica, 1666-1935 ( ISBN 978-0-8218-0084-3 )
- C. Anthony Anderson y Michael Zelëny, (eds.), Lógica, significado y computación: Ensayos en memoria de Alonzo Church ( ISBN 978-1-4020-0141-3 )
Ver también
- Principio de Church-Turing-Deutsch
- Lógica de orden superior
- Lista de pioneros en informática
- Platonismo moderno
- conjunto universal
Notas
- ^ Bowen, Jonathan P. (2019). "El impacto de Alan Turing: métodos formales y más allá". En Bowen, Jonathan P .; Liu, Zhiming ; Zhang, Zili (eds.). Ingeniería de sistemas de software confiables. SETSS 2018 (PDF) . Apuntes de conferencias en Ciencias de la Computación . 11430 . Cham: Springer . págs. 202–235. doi : 10.1007 / 978-3-030-17601-3_5 . ISBN 978-3-030-17600-6.
- ^ "OBITUARIO: Iglesia de Alonzo" . The Independent . 2011-10-22 . Consultado el 24 de mayo de 2021 .
- ^ Cooper, SB (2012). Las obras seleccionadas de AM Turing: su obra e impacto . J. van Leeuwen. Waltham, MA: Elsevier. ISBN 978-0-12-387012-4. OCLC 840569810 .
- ^ La Escuela Ridgefield para niños, también conocida como Escuela Ridgefield, fue una escuela privada que existió desde 1907 hasta 1938. Consulte La escuela Ridgefield .
- ^ "Una historia temprana de la informática en Princeton" . Princeton Alumni Weekly . 2012-04-04 . Consultado el 19 de abril de 2020 .
- ^ Iglesia, Alonzo. "Lógica, aritmética y autómatas". Archivado el 28 de diciembre de 2013 en la Wayback Machine en las actas del Congreso Internacional de Matemáticos , págs. 23–35. 1962.
- ^ "Títulos honoríficos otorgados por la Universidad Case Western Reserve" . Archivado desde el original el 1 de octubre de 2013 . Consultado el 1 de junio de 2012 .
- ^ Títulos honoríficos otorgados por la Universidad de Princeton Archivado el 7 de febrero de 2016 en Wayback Machine
- ^ Búsqueda de ayuda para la concesión del título honorario de Doctor en Ciencias a Alonzo Church, 1990
- ^ "Introducción Iglesia Alonzo: Vida y obra" (PDF) . pag. 4. Archivado desde el original (PDF) el 1 de septiembre de 2012 . Consultado el 6 de junio de 2012 .
Una persona profundamente religiosa, fue miembro de la iglesia presbiteriana durante toda su vida.
- ^ Iglesia, A. (1936). "Un problema irresoluble de la teoría de números elementales". Revista Estadounidense de Matemáticas . 58 (2): 345–363. doi : 10.2307 / 2371045 . JSTOR 2371045 .
- ^ ¿ Sólo lo suficientemente formal? Análisis automatizado de los requisitos de EARS
- ^ Premio Iglesia Alonzo
- ^ https://siglog.acm.org/alonzo-church-award-for-outstanding-contributions-to-logic-and-computation-2019/
- ^ ( Anderson 1998 )
- ^ "Proyecto de genealogía matemática" . Archivado desde el original el 4 de agosto de 2010 . Consultado el 12 de agosto de 2010 .
- ^ Henkin, León (1957). "Revisión: Introducción a la lógica matemática por Alonzo Church" (PDF) . Toro. Amer. Matemáticas. Soc . 63 (5): 320–323. doi : 10.1090 / s0002-9904-1957-10129-3 .
- ^ Frink Jr., Orrin (1944). "Revisión: los cálculos de conversión de lambda por la iglesia de Alonzo" (PDF) . Toro. Amer. Matemáticas. Soc . 50 (3): 169-172. doi : 10.1090 / s0002-9904-1944-08090-7 .
Referencias
- Enderton, Herbert B. , Alonzo Church: vida y obra . Introducción a las obras completas de Alonzo Church , MIT Press, aún no publicado.
- Enderton, Herbert B., In memoriam: Alonzo Church , The Bulletin of Symbolic Logic , vol. 1, no. 4 (diciembre de 1995), págs. 486–488.
- Wade, Nicholas, Alonzo Church, 92, Teórico de los límites de las matemáticas (obituario), The New York Times , 5 de septiembre de 1995, p. B6.
- Hodges, Wilfred , Obituario: Alonzo Church , The Independent (Londres) , 14 de septiembre de 1995.
- Alonzo Church entrevistado por William Aspray el 17 de mayo de 1984. La comunidad matemática de Princeton en la década de 1930: un proyecto de historia oral , transcripción número 5.
- Rota, Gian-Carlo , Fine Hall en su época dorada: Recuerdos de Princeton a principios de los años cincuenta . En A Century of Mathematics in America, Part II , editado por Peter Duren, AMS History of Mathematics, vol 2, American Mathematical Society, 1989, págs. 223–226. También disponible aquí .
- Iglesia, A. (1950). "Sobre el análisis de Carnap de declaraciones de afirmación y creencia". El diario de la lógica simbólica . 10 (5): 97–99. doi : 10.2307 / 3326684 . JSTOR 3326684 .
- Anderson, C. Anthony (1998). "Las contribuciones de Alonzo Church a la filosofía y la lógica intencional". El Boletín de Lógica Simbólica . 4 (2): 129-171. CiteSeerX 10.1.1.26.7389 . doi : 10.2307 / 421020 . JSTOR 421020 .
enlaces externos
- O'Connor, John J .; Robertson, Edmund F. , "Alonzo Church" , archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews.
- Biblioteca de la Universidad de Princeton, División de Manuscritos, The Alonzo Church Papers, 1924–1995: Encontrando ayuda.
- Una bibliografía de las reseñas de Church para The Journal of Symbolic Logic, con un enlace a cada
- Iglesia de Alonzo en Find a Grave
- Alonzo Church, 92, Teórico de los límites de las matemáticas Obituario del New York Times
- OBITUARIO: Alonzo Church de The Independent
- In memoriam: Iglesia de Alonzo (1903–1995) por Irving H. Anellis, Modern Logic Vol. 5, N ° 4 (1995).
- In memoriam: Alonzo Church 1903–1995 por HB Enderton, The Bulletin of Symbolic Logic Vol. 1, No 5 (1995).