Page 92 - 18 Godel

ALONZO CHURCH

Alonzo Church fue uno de los principales
representantes de la escuela norteame-
ricana de lógica matemática, práctica-
mente iniciada por los cursos y conferen-
cias que Géidel dictó en Estados Unidos
en la década de 1930. Church nació en
Washington el 14 de junio de 1903 y es-
tudió matemáticas en la Universidad de
Princeton, donde se doctoró en 1927. Su
director de tesis doctoral fue Oswald Ve-
bien (que ayudó a organizar el Instituto
de Estudios Avanzados de Princeton y
fue además quien invitó a Géidel a dar
sus primeras conferencias allí). Church
hizo aportes de primer nivel a la lógica
matemática, la teoría de la computabili-
dad (que investiga qué problemas matemáticos pueden ser resueltos algorít-
micamente y cuáles no) y la informática teórica. Es el creador del «cálculo-
lambda», todavía hoy una herramienta esencial en el estudio de la teoría de
algoritmos. Church falleció en Estados Unidos en 1995.

cana de lógica matemática, en la que brillaron Willard van Orman
Quine, Stephen Cole Kleene y el ya mencionado Alanzo Church.
Pero también dieron impulso a la lógica matemática en general;
comparado con otros matemáticos, Godel publicó muy pocos tra-
bajos científicos, pero cada uno de ellos abrió una rama de la ló-
gica e introdujo métodos e ideas que siguen vigentes hoy en día.

EL «ANSCHLUSS»

Mientras Godel gozaba de los frutos de su creciente prestigio aca-
démico, la situación política en Viena se volvía cada vez más com-
plicada y violenta. Tras su ascenso al poder, Adolf Hitler había

92 EL SEGUNDO TEOREMA DE GÓDEL