stringtranslate.com

Iglesia de Alonso

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 hizo importantes contribuciones a la lógica matemática y los fundamentos de la informática teórica . [2] Es mejor 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 para niños 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 en matemáticas. Permaneció en Princeton para realizar trabajos de posgrado y obtuvo 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 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 de investigación nacional 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 al 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 , 1967-1990. [11] Fue orador plenario de la ICM en 1962 en Estocolmo. [12]

Recibió títulos honoríficos 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 organizado en su honor. 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, de la Academia Nacional de Ciencias en 1978. [17]

Church, una persona profundamente religiosa, 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 matematico

La iglesia es conocida por los siguientes logros importantes:

El cálculo lambda surgió en su artículo de 1936 mostrando la insolubilidad del Entscheidungsproblem. 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. Al enterarse del trabajo de Church, Turing se matriculó en Princeton ese mismo año con Church para obtener un doctorado. [23] Church y Turing luego demostraron que el cálculo lambda y la máquina de Turing utilizadas en el problema de detención de Turing eran equivalentes en capacidades, y posteriormente demostraron una variedad de "procesos mecánicos para el cálculo" alternativos. Esto resultó en la tesis de Church-Turing.

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

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

En su honor, el Premio Alonzo Church por sus contribuciones destacadas a la lógica y la computación fue establecido en 2015 por la Asociación de Maquinaria de Computación, Grupo de Interés Especial 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 de Lógica Informática ( EACSL ) y de la Sociedad Kurt Gödel (KGS). El premio es por 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 ubicar lo sitúa entre los filósofos más importantes de este siglo.

—  C. Anthony Anderson , estudiante de doctorado de Church (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 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 . [28]

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

Bibliografía

Libros

Ver 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. CONJUNTOS 2018 (PDF) . Apuntes de conferencias sobre informática . vol. 11430. Cámara: Springer . págs. 202-235. doi :10.1007/978-3-030-17601-3_5. ISBN 978-3-030-17600-6. S2CID  121295850.
  2. ^ Alemán, 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, Universidad de Stanford , consultado el 14 de abril de 2022
  3. ^ "OBITUARIO: Iglesia Alonzo". El independiente . 2011-10-22 . Consultado el 24 de mayo de 2021 .
  4. ^ 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.
  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). Vida universitaria en el Viejo Sur . Prensa de la Universidad de Georgia. ISBN 9-780-8203-3199-7.
  7. ^ "Iglesia de Alonso" (PDF) . Lógica abierta . 2022-12-19.
  8. ^ 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.
  9. ^ Iglesia, Alonso (1924). "Singularidad de la Transformación de Lorentz". El Mensual Matemático Estadounidense . 31 (8): 376–382. doi :10.1080/00029890.1924.11986368. JSTOR  2298823.
  10. ^ "Una historia temprana de la informática en Princeton". Semanal de antiguos alumnos de Princeton . 2012-04-04 . Consultado el 19 de abril de 2020 .
  11. ^ abc "Iglesia Alonzo: vida y obra" (PDF) . Archivado desde el original (PDF) el 1 de septiembre de 2012 . Consultado el 14 de abril de 2022 .
  12. ^ Iglesia, Alonso (1962). «Lógica, aritmética y autómatas» (PDF) . Actas del Congreso Internacional de Matemáticos . págs. 23–35. Archivado desde el original (PDF) el 28 de diciembre de 2013.
  13. ^ "Títulos honoríficos otorgados por CWRU". caso.edu . 2004-02-06. Archivado desde el original el 10 de septiembre de 2006.
  14. ^ "Títulos honoríficos". Universidad de Princeton . 30 de diciembre de 2009. Archivado desde el original el 7 de febrero de 2016.{{cite web}}: Mantenimiento CS1: URL no apta ( enlace )
  15. ^ "Concesión del título honorífico 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 dicen que fue elegido miembro de la Academia Británica en 1980, de hecho fue elegido en 1966. Ver: "Professor Alonzo Church FBA". La Academia Británica .y "Iglesia Alonzo: vida y obra" (PDF) . Archivado desde el original (PDF) el 1 de septiembre de 2012 . Consultado el 14 de abril de 2022 .
  17. ^ "Iglesia de Alonso '24 * 27". Semanal de antiguos alumnos de Princeton . 2016-01-21 . Consultado el 14 de abril de 2022 .
  18. ^ "Introducción a la 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 . 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". Los New York Times . pag. B6.
  20. ^ "Indecidibilidad de la lógica de primer orden" (PDF) .
  21. ^ Iglesia, A. (1936). "Un problema irresoluble de la teoría elemental de números". Revista Estadounidense de Matemáticas . 58 (2): 345–363. doi :10.2307/2371045. JSTOR  2371045.
  22. ^ Iglesia, Alonso (1996). Introducción a la Lógica Matemática . Prensa de la Universidad de Princeton. ISBN 978-0-691-02906-1.
  23. ^ Armstrong * 14, abril C. "Iglesia Alonzo". Blog de la biblioteca de manuscritos de Mudd . Consultado el 14 de abril de 2022 .{{cite web}}: Mantenimiento CS1: nombres numéricos: lista de autores ( enlace )
  24. ^ Lucio, Levi; Rahman, Salmán; Cheng, Chih-Hong; Mavin, Alistair (2017). "¿Suficientemente formal? Análisis automatizado de los requisitos de EARS" (PDF) . Apuntes de conferencias sobre informática . Publicaciones internacionales Springer. 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 ACM en lógica y computación". siglog.acm.org .
  27. ^ (Anderson 1998)
  28. ^ "Proyecto de Genealogía de las Matemáticas". Archivado desde el original el 4 de agosto de 2010 . Consultado el 12 de agosto de 2010 .
  29. ^ "Iglesia de Alonso - Biografía". Historia de las Matemáticas .
  30. ^ Henkin, León (1957). "Reseña: Introducción a la lógica matemática por Alonzo Church" (PDF) . Toro. América. Matemáticas. Soc . 63 (5): 320–323. doi : 10.1090/s0002-9904-1957-10129-3 .
  31. ^ Frink hijo, Orrin (1944). "Reseña: Los cálculos de la conversión Lambda de Alonzo Church" (PDF) . Toro. América. Matemáticas. 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