Gödel

Kurt Gödel
Kurt Gödel
Estados Unidos
Estados Unidos
* En 1939 Gödel solicitó el apoyo del Instituto de Estudios Avanzados de Princeton, obtuvo los visados de salida para sí y para su mujer yen enero de 1940 ambos hicieron un complicado viaje a San Francisco
* Hacia el final de los 1940s Gödel demostró la existencia de soluciones paradójicas a las ecuaciones de campo de la relatividadgeneral de Albert Einstein
* En 1946 Gödel se convirtió en un miembro permanente del IEA
* Por fin, en 1953, fue nombrado catedrático del claustro de Princeton y elegido miembro de la AcademiaNacional de Ciencias.
* Se convirtió plenamente en profesor del Instituto en 1955 y en profesor emérito en 1976.
* En 1951 Gödel fue reconocido con el primer Premio Albert Einstein
* En1939 Gödel solicitó el apoyo del Instituto de Estudios Avanzados de Princeton, obtuvo los visados de salida para sí y para su mujer y en enero de 1940 ambos hicieron un complicado viaje a San Francisco* Hacia el final de los 1940s Gödel demostró la existencia de soluciones paradójicas a las ecuaciones de campo de la relatividad general de Albert Einstein
* En 1946 Gödel se convirtió en unmiembro permanente del IEA
* Por fin, en 1953, fue nombrado catedrático del claustro de Princeton y elegido miembro de la Academia Nacional de Ciencias.
* Se convirtió plenamente en profesordel Instituto en 1955 y en profesor emérito en 1976.
* En 1951 Gödel fue reconocido con el primer Premio Albert Einstein
Obra
Obra
* Un artículo de 1931, Gödel demostró que ha de existiralgún enunciado concerniente a los números naturales que es verdadero, pero no puede ser demostrado. Si los axiomas no se contradicen entre sí, entonces, ese mismo hecho, será "formalmente indecidible"–esto es, ni demostrable ni refutable- a partir de dichos axiomas. Cualquier demostración de consistencia habrá de apelar a principios más fuertes que los propios axiomas.
* El teorema afirmaba...