Page 91 - 18 Godel
P. 91
EL INSTITUTO DE ESTUDIOS AVANZADOS DE PRINCETON
Fundado en 1930, el Instituto de Estudios Avanzados de Princeton (Nueva
Jersey, Estados Unidos) tenía el objetivo de reunir a la élite de la investigación
científica internacional; la realización de este objetivo queda reflejada en los
nombres de quienes formaron parte de su cuerpo de investigadores, entre
otros, Kurt Gódel, Albert Einstein, Julius Robert Oppenheimer (físico teórico
estadounidense, famoso por ser el director científico del proyecto Manhattan),
John von Neumann, Oskar Morgenstern (estos dos últimos, creadores en con-
junto de la teoría de juegos) y Hermann Weyl (notable físico-matemático
alemán).
ble a partir de esos axiomas? Godel obtuvo algunas soluciones par-
ciales, aunque el problema sería resuelto completamente en 1936
por el lógico norteamericano Alanzo Church, quien demostró que
no existe un algoritmo con las características planteadas. Este pro-
blema, junto con otros planteados por el mismo Godel o por otros
lógicos inspirados en las investigaciones de Godel, dieron inicio a
la teoría de la computabilidad, que es el estudio de bajo qué condi-
ciones un problema matemático es resoluble algorítmican1ente.
En estos viajes a Estados Unidos, Godel mostró sus métodos,
sus ideas, los problemas que est.aba pensando y estas exposiciones
dieron por sí solas impulso al desarrollo de la escuela norteameri-
EL SEGUNDO TEOREMA DE GÓDEL 91
