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 realizó importantes contribuciones a la lógica matemática y a los fundamentos de la informática teórica. Es mejor conocido por el cálculo lambda, la tesis de Church-Turing, que demuestra la irresolubilidad del Entscheidungsproblem, la ontología de Frege-Church y el teorema de Church-Rosser. También trabajó en filosofía del lenguaje (ver, por ejemplo, Church 1970). Junto a su estudiante de doctorado Alan Turing, Church es considerado uno de los fundadores de la informática.

Vida

Alonzo Church nació el 14 de junio de 1903 en Washington, D.C., donde su padre, Samuel Robbins Church, era juez de paz 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. Cuando era niño, Church quedó parcialmente ciego por un accidente con una pistola de aire. 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 vista. 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. 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 en 1924 y se graduó el mismo año con una licenciatura en matemáticas. Se quedó en Princeton para realizar estudios 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. 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 Amsterdam 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, 1967-1990. Fue ponente plenario en el ICM en 1962 en Estocolmo.

Recibió doctorados honorarios en Ciencias de la Universidad Case Western Reserve en 1969, la Universidad de Princeton en 1985 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.

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

Una persona profundamente religiosa, Church fue miembro de toda la vida de la iglesia presbiteriana. Murió el 11 de agosto de 1995 a la edad de 92 años. Está enterrado en el cementerio de Princeton.

Trabajo matemático

La iglesia es conocida por los siguientes logros significativos:

• Su prueba de que el Entscheidungsproblema, que pide un procedimiento de decisión para determinar la verdad de las proposiciones arbitrarias en una teoría matemática de primer orden, es indecible. Esto se conoce como teorema de la Iglesia.
• Su invención del cálculo de la lambda.
• Su utilización del cálculo de la lambda para demostrar que Peano aritmético es indecible.
• Su articulación de lo que ha llegado a ser conocido como la Iglesia – Ver tesis.
• Ser un editor fundador del Journal of Symbolic Logic, edición de su sección de reseñas durante 43 años desde 1936 hasta 1979.
• Su autoría de un libro de texto prominente en el campo de la lógica matemática para muchas generaciones, Introducción a la lógica matemática
• El teorema de la Iglesia-Rosser

El cálculo lambda surgió en su artículo de 1936 que mostraba la imposibilidad de resolver el 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 más tarde ese año con Church para obtener un doctorado. Church y Turing luego demostraron 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 el cálculo" 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.

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.

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 para la lógica y la computación de la Asociación para la maquinaria de computación (ACM SIGLOG), la Asociación europea para la informática teórica (EATCS), la Asociación Europea de Lógica Informática (EACSL) y la Sociedad Kurt Gödel (KGS). El premio es por una contribución destacada en el 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.

Obra filosófica

La elaboración de la Iglesia de una metodología que implica el método logístico, sus críticas filosóficas del 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 Fregean y Russell, son más que suficientes para ponerlo alto entre los filósofos más importantes de este siglo.

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

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. 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.

Además de los que supervisó directamente, Church también tuvo una gran influencia en 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 (1944), fue "escrito con la meticulosa precisión que caracteriza al autor". s trabajo en general".

Libros

• Iglesia Alonzo, Introducción a la lógica matemática (1944) (ISBN 978-0-691-02906-1)
• Iglesia Alonzo, El Calculi de Lambda-Conversión (1941) (ISBN 978-0-691-08394-0)
• Iglesia Alonzo, Una bibliografía de la 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 la Iglesia Alonzo (ISBN 978-1-4020-0141-3)
• Tyler Burge y Herbert Enderton (eds.), Obras Coleccionadas de la Iglesia Alonzo (2019) (ISBN 978-0-262-02564-5)