Matemáticos

Línea de Tiempo Fotos Dinero Estampillas Bosquejo Búsqueda

Alonzo Church

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

14 June 1903

Washington, D.C., USA

11 Aug 1995

Hudson, Ohio, USA

Presentación Wikipedia
ATENCIÓN - traducción automática de la versión inglesa

Alonzo Church 's padres fueron Mildred Hannah Letterman Parker y Samuel Robbins Iglesia. Su padre era un juez. Él era un estudiante de Princeton de recibir su primer grado, un AB, en 1924, y luego su doctorado tres años más tarde. Su trabajo doctoral fue supervisada por Veblen, y le fue concedido el doctorado en 1927 por su tesis titulada Alternativas a Zermelo la Asunción. Si bien se sigue trabajando para su doctorado se casó con María Julia Kuczinski en Princeton en 1926. Tuvieron tres hijos, Alonzo Jr., Mary Ann y Mildred.

Iglesia durante dos años como Investigador Nacional, un año en la Universidad de Harvard un año después en Gotinga y Amsterdam. Regresó a Estados Unidos convertirse en Asistente de Profesor de Matemática en Princeton en 1929. Enderton escribe en:

Princeton en el 1930 's es un lugar interesante para la lógica. Hubo Iglesia junto con sus alumnos Kleene y Rosser. Hubo John von Neumann. Alan Turing, quien había estado pensando en el concepto de efectivo calculability, fue una visita de estudiantes de posgrado en 1936 y se quedó para completar su doctorado en virtud de la Iglesia. Kurt Gödel y visitó el Instituto de Estudios Avanzados en 1933 y 1935, antes de trasladarse allí de forma permanente.

Fue ascendido a profesor asociado en 1939 y profesor en 1947, cargo que desempeñó hasta 1961 cuando se convirtió en profesor de Matemáticas y Filosofía. En 1967 se retiró de Princeton y fue a la Universidad de California en Los Ángeles como Kent, profesor de Filosofía y profesor de Matemáticas. Continuó la enseñanza y la empresa de investigación en Los Ángeles hasta 1990 cuando se retiró de nuevo, veintitrés años después de que primero se retiró! En 1992 se trasladó de Los Ángeles a Hudson, Ohio, donde vivió sus últimos tres años.

Su obra es de gran importancia en la lógica matemática, teoría de la recursividad, y, en ciencias de la computación teórica. Las contribuciones iniciales incluyeron irredundant En los documentos conjuntos de postulados (1925), Sobre la forma de ecuaciones diferenciales de un sistema de caminos (1926), y las medidas sustitutivas de Zermelo la hipótesis (1927). Él creó el cálculo en la década de 1930 que en la actualidad es una herramienta de valor incalculable para los científicos. El artículo se divide en tres partes y en el último de estos Manzano:

... intento [s] para demostrar que la Iglesia gran descubrimiento fue el cálculo lambda, y que sus contribuciones restantes fueron inspirados principalmente afterthoughts en el sentido de que la mayoría de sus contribuciones, así como algunos de sus alumnos, se derivan de este primer logro.

En 1941 publicó el libro de 77 páginas los cálculos de conversión de Lambda-como un volumen de la Princeton University Press Anales de Estudios de Matemáticas. Es en realidad una versión reescrita y pulido de la Iglesia ha dado conferencias en Princeton en 1936 en el cálculo.

La iglesia es probablemente el mejor recordado por «Teorema de la Iglesia» y «tesis de la Iglesia" en los que apareció por primera vez en forma impresa en 1936. Teorema de la Iglesia, mostrando la undecidability lógica de primer orden, apareció en una nota publicada en el Entscheidungsproblem en el primer número de la revista Journal of Symbolic Logic. Esto, por supuesto, está en contraste con el cálculo proposicional que tiene un procedimiento de decisión basado en la verdad tablas. Teorema de la Iglesia amplía dado el carácter incompleto de la prueba de Godel en 1931.

Iglesia de tesis aparece en un problema insoluble en la teoría elemental número publicado en el American Journal de Matemáticas 58 (1936), 345-363. En el documento que define el concepto de efectivo calculability y la identifica con la noción de una función recursiva. Usó estos conceptos en Sobre el concepto de una secuencia al azar (1940), donde intentó dar una definición satisfactoria de la lógica "secuencia aleatoria". Folina argumenta a favor de la opinión generalmente aceptada de que la tesis de la Iglesia es probablemente cierto, pero no es capaz de una rigurosa prueba. Los antecedentes de la labor de la Iglesia sobre computability y undecidability, sobre la base de su correspondencia con Bernays en los años 1934-1937, es examinada por Sieg en.

Iglesia era un fundador de la Revista de la lógica simbólica en 1936 y fue un editor de la sección de evaluación desde su comienzo hasta 1979. De hecho ha publicado un documento de una bibliografía de la lógica simbólica en el volumen 4 de la revista y que vio la sección de evaluación como una continuación y ampliación de este trabajo. Su objetivo, escribió, era proporcionar:

... a ofrecer un completo, debidamente indexados, lista de todas las publicaciones ... en la lógica simbólica, dondequiera y en cualquier idioma de publicación ... [que] crítica, comentario analítico.

El artículo destaca papel rector de la Iglesia en la definición de los límites de la disciplina de la lógica simbólica a través de este trabajo editorial y su inquebrantable fe de la industria y su alta conciencia y normas editoriales. El objetivo de una cobertura amplia, que en 1936 parecía muy práctico, se hizo menos de manera que el paso de los años 1975 y por la rápida expansión de la lógica simbólica publicaciones Iglesia obligó a renunciar a este aspecto y sólo empezará a proporcionar cobertura selectiva. Hemos mencionado anteriormente que se retiró de la Iglesia de Princeton en 1967 y se dirigió a la Universidad de California en Los Ángeles. Quizás este es el lugar donde debería mencionar por qué dejó de Princeton, después de 38 años de servicio allí. Enderton escribe:

Tras su jubilación, de Princeton no estaba dispuesto a alojar a los pequeños seguir el personal que trabaja en los exámenes para el Diario de la lógica simbólica.

Iglesia escribió el clásico libro Introducción a la Lógica Matemática en 1956. Se trataba de una versión revisada y muy ampliada edición de Introducción a la lógica matemática que la Iglesia publicado doce años antes, en 1944. Esta primera edición fue, como se afirma en la Introducción:

... el primer semestre de un curso de introducción a la lógica matemática a estudiantes de posgrado en matemáticas [en Princeton en 1943].

Haskell Curry, en una revisión de trabajo de 1944 escribe:

Está escrito con la meticulosa precisión que caracteriza la obra del autor en general. ... El tema es más o menos clásica, a saber, la proposicional y el álgebra cálculo funcional de primer orden, a la que se añade un capítulo que resume, sin pruebas algunas características funcionales de los cálculos de orden superior. Para el experto el principal interés en el tracto es que hace fácilmente accesible una cuidadosa formulación detallada y las pruebas de ciertos teoremas estándar, por ejemplo, el teorema de la deducción, la reducción de las tablas a la verdad, la regla de sustitución para el cálculo funcional, Godel 's completa teorema, etc

Manzano escribe en 1956 que la edición del libro:

... define el objeto de la lógica matemática, el planteamiento y los temas abordados.

El libro comienza con una introducción que trata de nombres, variables, constantes y funciones, y conduce a la logística método, la sintaxis y la semántica. Los capítulos I y II se refieren a la del cálculo proposicional, discutiendo tautologies problema y la decisión, la dualidad, la coherencia y la integridad, e independencia de los axiomas y reglas de inferencia. El cálculo de primer orden funcional se estudia en los capítulos III y IV, mientras que el capítulo V se ocupa principalmente de segundo orden funcional cálculos.

Otra área de interés para la Iglesia fue la teoría de conjuntos axiomática. Ha publicado una simple formulación de la teoría de los tipos en 1940 en la que trató de dar un sistema relacionado con el de Whitehead y Russell 's Principia Mathematica, que fue diseñado para evitar las paradojas de la teoría de conjuntos ingenua. Iglesia basa su forma de la teoría de los tipos-en su cálculo. Otros trabajos de la Iglesia en este campo incluye la teoría de conjuntos con un conjunto universal publicado en 1971, que analiza una variante del tipo axiomático ZF-la teoría de conjuntos y comparación de Russell resolución de la antinomias semánticas con el de Tarski publicado en 1976. Otro de los intereses de investigación de la Iglesia fue intensional semántica que se considera en detalle en. La idea desarrollada aquí es similar a la de Frege, distinguiendo entre la prórroga de un plazo y la intención, o el sentido, de un plazo. Iglesia considera este tema de unos 40 años durante la última parte de su carrera, empezando por su formulación de un documento de la lógica del sentido y la denotación en 1951.

Aunque la mayoría de las contribuciones de la Iglesia se dirigen a la lógica matemática, lo hizo escribir unos cuantos artículos matemáticos de otros temas. Por ejemplo, publicó Observaciones sobre la teoría elemental de ecuaciones diferenciales como área de investigación en 1965 y una generalización de la transformación de Laplace en 1966. La primera analiza las ideas y los resultados en la teoría elemental de la ordinaria y ecuaciones diferenciales parciales que siente la Iglesia puede alentar una investigación más a fondo del tema. El documento incluye un análisis de una generalización de la transformación de Laplace, que se extiende a los no lineales, ecuaciones diferenciales parciales. Esta generalización de la transformación de Laplace es el tema de estudio del segundo documento, de nuevo utilizando el método para obtener soluciones de segundo orden de ecuaciones diferenciales parciales.

Iglesia había 31 estudiantes de doctorado entre ellos Foster, Turing, Kleene, Kemeny, Boone y Smullyan. Recibió muchos honores por sus contribuciones incluida la elección de la Academia Nacional de Ciencias (Estados Unidos) en 1978. También fue elegido para la British Academy y la Academia Americana de las Artes y las Ciencias. Reserva Case Western (1969), Princeton (1985) y la Universidad Estatal de Nueva York en Buffalo (1990) le concedió grados honorarios.

Source:School of Mathematics and Statistics University of St Andrews, Scotland