stringtranslate.com

Iglesia de Alonzo

Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995) fue un matemático , informático , lógico y filósofo estadounidense que realizó importantes contribuciones a la lógica matemática y a los fundamentos de la informática teórica . [2] Es más conocido por el cálculo lambda , la tesis de Church-Turing , que demuestra la insolubilidad del Entscheidungsproblem ("problema de decisión"), la ontología de Frege-Church y el teorema de Church-Rosser . Junto con su estudiante de doctorado Alan Turing , Church es considerado uno de los fundadores de la informática . [3] [4]

Vida

Alonzo Church nació el 14 de junio de 1903 en Washington, DC , donde su padre, Samuel Robbins Church, era juez de paz [5] y juez del Tribunal Municipal del Distrito de Columbia. Era nieto de Alonzo Webster Church (1829-1909), bibliotecario del Senado de los Estados Unidos de 1881 a 1901, y bisnieto de Alonzo Church , profesor de Matemáticas y Astronomía y sexto presidente de la Universidad de Georgia. [6] Cuando era niño, Church quedó parcialmente ciego por un accidente con una pistola de aire comprimido. [7] Más tarde, la familia se mudó a Virginia después de que su padre perdiera su puesto en la universidad 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 . [8] 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 [9] en 1924 y se graduó ese mismo año con un título en matemáticas. Se quedó en Princeton para realizar estudios de posgrado y obtuvo un doctorado en matemáticas en tres años bajo la tutela de Oswald Veblen .

Se casó con Mary Julia Kuczinski en 1925. La pareja tuvo tres hijos: Alonzo Jr. (1929), Mary Ann (1933) y Mildred (1938).

Después de recibir su doctorado, enseñó brevemente como instructor en la Universidad de Chicago . [10] Recibió una beca nacional de investigación de dos años que le permitió asistir a la Universidad de Harvard en 1927-1928, y a la Universidad de Göttingen y la Universidad de Ámsterdam el año siguiente.

Enseñó filosofía y matemáticas en Princeton durante casi cuatro décadas, de 1929 a 1967. Ocupó la Cátedra Flint de Filosofía y Matemáticas en la Universidad de California, Los Ángeles , de 1967 a 1990. [11] Fue orador plenario en el ICM en 1962 en Estocolmo. [12]

Recibió el título honorario de Doctor en Ciencias de la Universidad Case Western Reserve en 1969, [13] de la Universidad de Princeton en 1985, [14] y de 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 . [15]

Fue elegido miembro correspondiente de la Academia Británica (FBA) en 1966, [16] de la Academia Estadounidense de las Artes y las Ciencias en 1967 y de la Academia Nacional de Ciencias en 1978. [17]

Church fue miembro de la Iglesia Presbiteriana durante toda su vida . [18] Murió el 11 de agosto de 1995, a la edad de 92 años. [19] Está enterrado en el cementerio de Princeton . [20]

Trabajo matemático

La Iglesia es conocida por los siguientes logros:

El cálculo lambda surgió en su artículo de 1936 que mostraba la insolubilidad del Entscheidungsproblem. Este resultado precedió al trabajo de Alan Turing sobre el problema de la parada , que también demostró la existencia de un problema irresoluble por medios mecánicos. Al enterarse del trabajo de Church, Turing se inscribió en Princeton ese mismo año para obtener un doctorado bajo la tutela de Church. [23] Church y Turing demostraron entonces que el cálculo lambda y la máquina de Turing utilizadas en el problema de la parada de Turing eran equivalentes en capacidades, y posteriormente demostraron una variedad de "procesos mecánicos alternativos para el cálculo". Esto dio lugar a la tesis de Church-Turing.

Los esfuerzos por generar automáticamente una implementación de controlador a partir de especificaciones se originan a partir de sus ideas. [24]

El cálculo lambda influyó en el diseño de Lisp y de los lenguajes de programación funcional en general. La codificación Church lleva su nombre en su honor.

En su honor, el Premio Alonzo Church por Contribuciones Destacadas a la Lógica y la Computación fue establecido en 2015 por el Grupo de Interés Especial para Lógica y Computación de la Asociación para Maquinaria Computacional ( ACM SIGLOG ), la Asociación Europea para la Informática Teórica (EATCS), la Asociación Europea para la Lógica de la Informática ( EACSL ) y la Sociedad Kurt Gödel (KGS). El premio es para una contribución destacada al campo publicada en los últimos 25 años y aún no debe haber recibido reconocimiento a través de otro premio importante, como el Premio Turing , el Premio Paris Kanellakis o el Premio Gödel . [25] [26]

Trabajo filosófico

La elaboración por parte de Church de una metodología que involucra el método logístico, sus críticas filosóficas al nominalismo y su defensa del realismo, su argumentación que conduce a conclusiones sobre la teoría del significado y la construcción detallada de las lógicas intensionales fregeanas y russellianas son más que suficientes para colocarlo entre los filósofos más importantes de este siglo.

—  C. Anthony Anderson , estudiante de doctorado de la Iglesia (1977) [27]

Church también es conocido por la ontología Frege-Church , que creó basándose en las ideas filosóficas de Gottlob Frege .

Influencia

A lo largo de su carrera académica, Church supervisó a 31 estudiantes de doctorado. [11] Muchos de ellos han llevado carreras distinguidas en matemáticas, informática y otras materias académicas, incluidos 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é , Gary R. Mar , Michael O. Rabin , Nicholas Rescher , Hartley Rogers, Jr. , J. Barkley Rosser , Dana Scott , Raymond Smullyan y Alan Turing . [28]

Además de aquellos a los que supervisó directamente, Church también tuvo una gran influencia en otros matemáticos y científicos informáticos. Haskell Curry , quien amplió las ideas de Church con el concepto de currying , afirmó que uno de sus libros de texto, Introducción a la lógica matemática (publicado por primera vez en 1944), estaba "escrito con la meticulosa precisión que caracteriza el trabajo del autor en general". [29]

Bibliografía

Libros

Véase también

Notas

  1. ^ 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 clase en informática . Vol. 11430. Cham: Springer . págs. 202–235. doi :10.1007/978-3-030-17601-3_5. ISBN . 978-3-030-17600-6.S2CID121295850  .​
  2. ^ Deutsch, Harry; Marshall, Oliver (2022), "Alonzo Church", en Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (edición de primavera de 2022), Metaphysics Research Lab, Stanford University , consultado el 14 de abril de 2022
  3. ^ "OBITUARIO: Alonzo Church". The Independent . 2011-10-22 . Consultado el 2021-05-24 .
  4. ^ Cooper, SB (2012). Las obras seleccionadas de AM Turing: su trabajo y su impacto. J. van Leeuwen. Waltham, MA: Elsevier. ISBN 978-0-12-387012-4.OCLC 840569810  .
  5. ^ Bundy, Charles S. (1902). "Una historia de la Oficina del Juez de Paz en el Distrito de Columbia". Registros de la Sociedad Histórica de Columbia, Washington, DC . 5 : 259–293. ISSN  0897-9049. JSTOR  40066805.
  6. ^ Coulter, E. Merton (1928). La vida universitaria en el viejo sur . University of Georgia Press. ISBN 9-780-8203-3199-7.
  7. ^ "Alonzo Church" (PDF) . Lógica abierta . 2022-12-19.
  8. ^ La Escuela Ridgefield para Niños, también conocida como la Escuela Ridgefield, fue una escuela privada que existió desde 1907 hasta 1938. Véase La Escuela Ridgefield.
  9. ^ Church, Alonzo (1924). "Singularidad de la transformación de Lorentz". The American Mathematical Monthly . 31 (8): 376–382. doi :10.1080/00029890.1924.11986368. JSTOR  2298823.
  10. ^ "Una historia temprana de la informática en Princeton". Princeton Alumni Weekly . 2012-04-04 . Consultado el 2020-04-19 .
  11. ^ abc "Alonzo Church: Life and Work" (PDF) . Archivado desde el original (PDF) el 1 de septiembre de 2012 . Consultado el 14 de abril de 2022 .
  12. ^ Church, Alonzo (1962). "Lógica, aritmética y autómatas" (PDF) . Actas del Congreso Internacional de Matemáticos . pp. 23–35. Archivado desde el original (PDF) el 28 de diciembre de 2013.
  13. ^ "Títulos honorarios otorgados por la CWRU". case.edu . 2004-02-06. Archivado desde el original el 2006-09-10.
  14. ^ "Títulos honorarios". Universidad de Princeton . 30 de diciembre de 2009. Archivado desde el original el 7 de febrero de 2016.{{cite web}}: CS1 maint: URL no apta ( enlace )
  15. ^ "Concesión del título honorario de doctor en ciencias a Alonzo Church, 1990". Archivos de la Universidad Estatal de Nueva York en Buffalo . Archivado desde el original el 17 de octubre de 2013.
  16. ^ Aunque algunas fuentes afirman que fue elegido miembro de la Academia Británica en 1980, en realidad fue elegido en 1966. Véase: "Profesor Alonzo Church FBA". La Academia Británica .y "Alonzo Church: Life and Work" (PDF) . Archivado desde el original (PDF) el 2012-09-01 . Consultado el 2022-04-14 .
  17. ^ "Alonzo Church '24 *27". Princeton Alumni Weekly . 2016-01-21 . Consultado el 2022-04-14 .
  18. ^ "Introducción Alonzo Church: Vida y obra" (PDF) . p. 4. Archivado desde el original (PDF) el 1 de septiembre de 2012. Consultado el 6 de junio de 2012. Persona profundamente religiosa, fue miembro de la iglesia presbiteriana durante toda su vida.
  19. ^ Nicholas Wade (5 de septiembre de 1995). "Alonzo Church, 92, teórico de los límites de las matemáticas". The New York Times . pág. B6.
  20. ^ "Indecidibilidad de la lógica de primer orden" (PDF) .
  21. ^ Church, A. (1936). "Un problema irresoluble de la teoría elemental de números". American Journal of Mathematics . 58 (2): 345–363. doi :10.2307/2371045. JSTOR  2371045.
  22. ^ Church, Alonzo (1996). Introducción a la lógica matemática . Princeton University Press. ISBN 978-0-691-02906-1.
  23. ^ Armstrong *14, April C. "Alonzo Church". Blog de la Biblioteca de Manuscritos de Mudd . Consultado el 14 de abril de 2022 .{{cite web}}: CS1 maint: nombres numéricos: lista de autores ( enlace )
  24. ^ Lúcio, Levi; Rahman, Salman; Cheng, Chih-Hong; Mavin, Alistair (2017). "¿Suficientemente formal? Análisis automatizado de los requisitos de EARS" (PDF) . Apuntes de clase en informática . Springer International Publishing. págs. 427–434. doi :10.1007/978-3-319-57288-8_31. ISBN 978-3-319-57287-1. ISSN  0302-9743.
  25. ^ "Premio Alonzo Church". eatcs.org .
  26. ^ "Premio Alonzo Church por contribuciones destacadas a la lógica y la computación 2019 – Grupo de interés especial de la ACM en lógica y computación". siglog.acm.org .
  27. ^ (Anderson 1998)
  28. ^ "Proyecto de genealogía matemática". Archivado desde el original el 4 de agosto de 2010. Consultado el 12 de agosto de 2010 .
  29. ^ "Alonzo Church - Biografía". Matemáticas Historia .
  30. ^ Henkin, Leon (1957). "Reseña: Introducción a la lógica matemática de Alonzo Church" (PDF) . Bull. Amer. Math. Soc . 63 (5): 320–323. doi : 10.1090/s0002-9904-1957-10129-3 .
  31. ^ Frink Jr., Orrin (1944). "Reseña: Los cálculos de conversión lambda de Alonzo Church" (PDF) . Bull. Amer. Math. Soc . 50 (3): 169–172. doi : 10.1090/s0002-9904-1944-08090-7 .
  32. ^ Burge, Tyler; Enderton, Herbert, eds. (23 de abril de 2019). Las obras completas de Alonzo Church. Cambridge, MA, EE. UU.: MIT Press. ISBN 978-0-262-02564-5.

Referencias

Enlaces externos