Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Kurt Friedrich Gödel nació el 28 de abril de 1906 en Distinciones Premio Albert Einstein (1951)
Brünn, la capital de la Moravia austrohúngara Firma
(actualmente Brno, República Checa) en una familia
acomodada de etnia germana. Su padre, Rudolf August
Gödel, era un hombre de negocios y administrador de
una fábrica de textiles. Su madre, Marianne Gödel
(nacida Handschuh), una mujer educada y culta, que permaneció cercana a Gödel durante toda su vida, tal
como puede observarse en la extensa correspondencia entre ambos.2 En el momento de su nacimiento, la
mayoría de la población de su ciudad era de habla alemana3 y este era el idioma de sus padres.4
Gödel, que hablaba muy poco el checo, se convirtió automáticamente en checoslovaco a la edad de 12 años,
tras la caída del Imperio austrohúngaro al final de la Primera Guerra Mundial. Posteriormente le contó a su
biógrafo John W. Dawson que durante ese tiempo se sentía como un «exiliado austríaco en Checoslovaquia»
(ein Österreicher im Exil in der Tschechoslowakei). Decidió convertirse en ciudadano austríaco a los 23
años. Cuando la Alemania nazi anexionó Austria, Gödel se convirtió automáticamente en ciudadano alemán,
a los 32 años. Después de la Segunda Guerra Mundial, a los 42 años, se convirtió en ciudadano
estadounidense.
Su familia llamaba al joven Kurt Herr Warum (Sr. Por qué), debido a su insaciable curiosidad. La única
excepción a una infancia sin incidentes fue que a partir de los cuatro años sufrió quebrantos de salud y
fiebres reumáticas. Se recuperó completamente, pero toda su vida quedó convencido de que su corazón
había sufrido un daño permanente.
Asistió a la escuela primaria y secundaria en idioma alemán en Brno. de la que se graduó con honores en
1923 y sobresalió en matemáticas, idiomas y religión. En el transcurso de su adolescencia estudió, entre
otras materias, la Teoría de los colores de Goethe, críticas de Isaac Newton y la obra de Immanuel Kant.
Estudios en Viena
A los 18 años, Kurt se reunió con su hermano mayor Rudolf (nacido en 1902) e ingresó en la Universidad de
Viena. Entonces ya dominaba las matemáticas a nivel universitario. Aunque al principio pretendió estudiar
física teórica, también asistió a cursos de filosofía impartidos por Heinrich Gomperz y de matemáticas.
Durante este período adoptó ideas del empirismo matemático, leyó los Metaphysische Anfangsgründe der
Naturwissenschaft (Fundamentos metafísicos de la ciencia
natural) de Kant. Aunque él mismo no fue un positivista lógico,
participó en reuniones del Círculo de Viena con Moritz Schlick,
Hans Hahn y Rudolf Carnap, siendo estos dos últimos de
quienes aprendió lógica. Después estudió también la teoría de
los números. Asistió a un seminario dirigido por Schlick, en que
se estudiaba el libro Introducción a la lógica matemática de
Bertrand Russell, lo que le motivó a interesarse por la lógica
matemática.
Obra en Viena
En 1931 Gödel publicó sus célebres teoremas de la incompletud en Über formal unentscheidbare Sätze der
Principia Mathematica und verwandter Systeme (Sobre proposiciones formalmente indecidibles de
Principia Mathematica y sistemas relacionados). En dicho artículo demostró que para todo sistema
axiomático computable que sea lo suficientemente poderoso como para describir la aritmética de los
números naturales (p. ej. los axiomas de Peano (o ZFC), entonces:
Estos teoremas finalizaron medio siglo de intentos académicos (comenzando con el trabajo de Frege y
culminando en los Principia Mathematica y en el formalismo de Hilbert) por encontrar un conjunto de
axiomas suficiente para toda la matemática. El teorema de la incompletud implica también que no toda la
matemática es computable.
La idea básica del teorema de la incompletud es bastante simple. Esencialmente, Gödel construyó una
fórmula que asegura ser no-demostrable para cierto sistema formal. Si fuera demostrable sería falsa, lo cual
contradice el hecho de que en un sistema consistente las proposiciones demostrables son siempre
verdaderas. De modo que siempre habrá por lo menos una proposición verdadera pero no demostrable. Esto
es, para todo conjunto de axiomas de la aritmética construible por el hombre existe una fórmula que se
obtiene de la aritmética pero es indemostrable en ese sistema. Sin embargo, para precisar esto Gödel
necesitaba resolver varias cuestiones técnicas, tales como proposiciones de codificación y el concepto
mismo de demostrabilidad en la teoría de los números naturales. Esto último lo realizó mediante un proceso
denominado numeración de Gödel.
En su ensayo de dos páginas Zum intuitionistischen Aussagenkalkül (1932) Gödel refutó la “valuabilidad”
finita de la lógica intuicionista. En la demostración empleó implícitamente lo que después se conoció como
la lógica intermedia de Gödel–Dummett (o Gödel fuzzy logic).
En 1933, Gödel viajó por primera vez a los Estados Unidos donde conoció a Albert Einstein, con quien
estrechó lazos de amistad. Presentó una conferencia en la reunión anual de la Sociedad Norteamericana de
Matemáticas. En el transcurso de ese año, Gödel también desarrolló ideas sobre la computabilidad y la
función recursiva, e impartió una conferencia sobre dichas funciones y sobre el concepto de verdad.
Posteriormente, este trabajo se desarrolló en la teoría de los números, empleando la numeración de Gödel.
En 1934, Gödel impartió una serie de conferencias en el Instituto de Estudios Avanzados (IEA) en
Princeton, titulada Sobre las proposiciones indecidibles de los sistemas matemáticos formales. Stephen
Kleene, quien acababa de finalizar su doctorado en Princeton, tomó notas de esta conferencia, que se
publicaron posteriormente.
Gödel visitaría nuevamente el IEA en otoño de 1935, pero los viajes y el intenso trabajo lo habían
extenuado. El año siguiente convaleció recuperándose de una depresión. No regresó a la docencia hasta
1937. Durante ese tiempo, se dedicó a probar la consistencia del axioma de elección y a la hipótesis del
continuo, trabajo que continuó hasta mostrar que estas hipótesis no pueden refutarse desde el sistema común
de axiomas de la teoría de conjuntos.
El 20 de septiembre de 1938 contrajo matrimonio con Adele Nimbursky (nacida Porkert, 1899-1981), a la
que conocía desde hacía 10 años. Los padres de Gödel se oponían a esta relación. porque se trataba de una
bailarina divorciada y seis años mayor que él. Nunca tuvieron hijos.
Posteriormente realizó otra visita a los Estados Unidos, donde pasó el otoño de 1938 en el IEA y la
primavera de 1939 en la Universidad de Notre Dame. Durante sus vacaciones del IEA, Gödel y su esposa
Adele pasaron el verano de 1942 en Blue Hill, Maine. Sin embargo Gödel no solo estaba descansando, pues
tuvo un verano de trabajo muy productivo. John W. Dawson, Jr. conjetura que durante esas vacaciones
Gödel, empleando el volumen 15 de su obra todavía sin publicar Arbeitshefte (Cuadernos de notas),
descubrió una prueba de la independencia del axioma de elección de la teoría finita de tipos, una forma
debilitada de la teoría de conjuntos. Hao Wang, amigo cercano de Gödel, apoya dicha conjetura, señalando
que los cuadernos de notas de Blue Hill contienen su tratamiento más extenso del problema.
Trabajo en Princeton
Después del Anschluss en 1938, Austria pasó a formar parte de la Alemania nazi. Alemania abolió el título
de Privatdozent, de modo que Gödel tuvo que concursar a un cargo diferente en el nuevo orden. Sin
embargo, sus vínculos anteriores con miembros judíos del Círculo de Viena, especialmente con Hans Hahn,
pesaban en su contra. Su situación se precipitó a finales de 1939, cuando se le encontró apto para el servicio
militar, arriesgándolo a ser llamado a las filas del ejército alemán durante la II Guerra Mundial. Por esta
razón emigró hacia los Estados Unidos para asumir un cargo docente en el IEA. Gödel y su esposa tuvieron
que tomar el Ferrocarril Transiberiano hasta el Pacífico, navegado desde Japón hasta San Francisco (donde
llegaron el 4 de marzo, 1940), y luego cruzaron los Estados Unidos en tren hasta Princeton.7
Rápidamente retomó su trabajo en matemáticas y en 1940 publicó su obra Consistencia del axioma de
elección y de la hipótesis del continuo generalizada con los axiomas de la teoría de conjuntos, que
constituye un clásico de la matemática moderna. En dicho trabajo introdujo el universo construible, un
modelo de la teoría de conjuntos en el cual los únicos conjuntos que existen son aquellos que pueden
construirse a partir de conjuntos más simples. Gödel mostró que tanto el axioma de elección (AC) y la
hipótesis del continuo generalizada (HCG) son verdaderas en el universo construible y por lo tanto deben de
ser consistentes con los axiomas de Zermelo-Fraenkel para la teoría de conjuntos (ZF). Posteriormente Paul
Cohen construyó un modelo de ZF en el cual AC y HCG son falsos. En conjunto, estas demostraciones
significan que AC y HCG son independientes de los axiomas de ZF para la teoría de conjuntos.
Hacia el final de la década de 1940, Gödel demostró la existencia de soluciones paradójicas a las ecuaciones
de campo de la relatividad general de Albert Einstein. Estos «universos rotatorios» permitirían viajar en el
tiempo y provocaron dudas en Einstein sobre su propia teoría. Sus soluciones se conocen como la métrica de
Gödel (o el Universo de Gödel).
Durante sus muchos años en el Instituto, los intereses de Gödel se tornaron hacia la filosofía y la física.
Estudió y admiró las obras de Gottfried Leibniz, pero llegó a la conclusión (sin evidencia) de que la mayor
parte del trabajo de Leibniz había sido suprimida. En menor medida también estudió a Kant y a Edmund
Husserl. Al principio de los años 1970, Gödel distribuyó entre sus amistades una elaboración de la
demostración ontológica de Leibniz sobre la existencia de Dios, la cual se conoce ahora como la
demostración ontológica de Gödel.
En 1946, Gödel se convirtió en miembro permanente del IEA. Alrededor de este período dejó de publicar,
aunque continuó trabajando. Se convirtió plenamente en profesor del instituto en 1955 y en profesor emérito
en 1976.
En 1951, fue reconocido (junto a Julian Schwinger) con el primer Premio Albert Einstein, y también recibió
la National Medal of Science en 1974.
Muerte
Legado y distinciones
En su honor, en 1987 se fundó la Kurt Gödel Society, una organización internacional dedicada a la
promoción de la investigación en lógica, filosofía e historia de las matemáticas. En 1951, la Universidad de
Yale le nombró doctor honorario en literatura. También recibió un doctorado honorario en ciencias por la
Universidad de Harvard en 1952, con una mención en la que se le declaró «el descubridor de la verdad
matemática más significativa del siglo». Fue elegido miembro de la Academia Nacional de Ciencias en 1955
y de la Academia Norteamericana de las Artes y las Ciencias en 1957. En 1961 ingresó en la Sociedad
Filosófica de América y en 1967 fue elegido miembro honorario de la Sociedad Matemática de Londres.
Finalmente, en 1975 el presidente Gerald Ford le entregó la Medalla Nacional de las Ciencias.
Publicaciones importantes
En alemán:
1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter
Systeme," Monatshefte für Mathematik und Physik 38: 173-98.
1932, "Zum intuitionistischen Aussagenkalkül", Anzeiger Akademie der Wissenschaften Wien
69: 65–66.
En inglés:
1940. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis
with the Axioms of Set Theory. Princeton University Press.
1947. "What is Cantor's continuum problem?" The American Mathematical Monthly 54: 515-
25. Revised version in Paul Benacerraf and Hilary Putnam, eds., 1984 (1964). Philosophy of
Mathematics: Selected Readings. Cambridge Univ. Press: 470-85.
En traducción al inglés:
Véase también
Teoremas de incompletitud de Gödel
Métrica de Gödel, una solución exacta a la ecuación de campo de Einstein
Premio Gödel
Lenguaje de programación de Gödel
Gödel, Escher, Bach
Notas y referencias
2. Dawson, 1997, pp. 3-4.
1. «Kurt Gödel en Biografía y Vidas» (http://ww
w.biografiasyvidas.com/biografia/g/godel.ht 3. «1911 Encyclopædia Britannica/Brünn» (http
m). Consultado el 6 de diciembre de 2011. s://en.wikisource.org/w/index.php?title=1911
_Encyclopædia_Britannica/Brünn&oldid=447 Mathematical Society 49(9): 1068-1075
734). Consultado el 13 de marzo de 2008. (1071-1072).
4. Dawson, 1997, p. 12. 8. Toates, Frederick; Olga Coschug Toates
5. Gödel, Kurt, 1986, Collected Works. I: (2002). Obsessive Compulsive Disorder:
Publications 1929–1936. S. Feferman, S. Practical Tried-and-Tested Strategies to
Kleene, G. Moore, R. Solovay, and J. van Overcome OCD. Class Publishing. p. 221.
Heijenoort (eds.), Oxford: Oxford University ISBN 978-1859590690.
Press. 9. Goldstein, Rebecca (2005). Incompleteness:
6. Stadler, Friedrich (2015). "Documentation: The Proof and Paradox of Kurt Godel (http
The Murder of Moritz Schlick", en: Friedrich s://archive.org/details/incompletenesspr00go
Stadler (ed.). The Vienna Circle. Studies in ld/page/33). W. W. Norton. pp. 33 (https://arc
the Origins, Development, and Influence of hive.org/details/incompletenesspr00gold/pag
Logical Empiricism: 597-632. Vienna, New e/33). ISBN 978-0393051698.
York: Springer. ISBN 3-211-83243-2 10. Holt, Jim (febrero de 1998). «The Loophole:
7. Dawson Jr, John W. (2002) "Max Dehn, Kurt A logician challenges the Constitution» (htt
Gödel, and the Trans-Siberian Escape p://linguafranca.mirror.theinfo.org/9802/hyp.
Route (http://www.ams.org/notices/200209/f html). Lingua Franca. Consultado el 17 de
ea-dawson.pdf)", en Notices of the American noviembre de 2007.
Bibliografía
Fuentes primarias:
Gödel, Kurt 1931 Sobre proposiciones formalmente indecidibles de los Principia mathematica
y sistemas afines. Valencia: Teorema, 1980 y 2.ª edición: 1981 ISBN 84-370-0168-4
Gödel, Kurt 1931 Sobre proposiciones formalmente indecidibles de los Principia mathematica
y sistemas afines. Oviedo: krk ediciones (http://www.krkediciones.com/), 2006. ISBN 978-84-
96476-95-0
Gödel, Kurt 1994: Ensayos inéditos. Francisco Rodríguez Consuegra, editor. Biblioteca
Mondadori. ISBN 84-397-1966-3
Gödel, Kurt 2007: Sobre consistencia y completud en el sistema axiomático / Über
Widerspruchsfreiheit und Entscheidbarkeit in Axiomensystem. Jesús Padilla Gálvez, editor y
traductor, Mathesis, Serie III, Vol. II - Nr 1, 197-204. (ISSN: 0185-6200).
Gödel, Kurt 2006: Obras completas, Jesús Mosterín, editor, Madrid: Alianza, 2006. ISBN 84-
206-4773-X
Fuentes secundarias:
Alonso, Enrique (2007). Sócrates en Viena. Una biografía intelectual de Kurt Gödel.
Barcelona: Montesinos. ISBN 978-84-96831-33-9.
Dawson, John William (1997). Logical Dilemmas: The Life and Work of Kurt Gödel. A K Peters.
ISBN 9781568810256.
Fernández-Prida, José. Una prueba algebraica de los teoremas de Löwenheim-Skolem y
Gödel. Universidad Complutense de Madrid. ISBN 978-84-600-5847-2.
Fresán, Javier (2007). Gödel. La lógica de los escépticos (segunda edición). Madrid: Nivola.
ISBN 84-96566-39-0.
Goldstein, Rebecca (2006,). Bosch, Antoni, ed. Gödel. Paradoja y vida. Barcelona. ISBN 978-84-
95348-23-4.
Hofstadter, Douglas R. (1989). Gödel, Escher, Bach: un Eterno y Grácil Bucle (tercera
edición). Barcelona: TusQuets editories. ISBN 84-7223-459-2.
Wang, Hao (1991). Reflexiones sobre Kurt Gödel. Madrid: Alianza Universidad. ISBN 84-206-
2690-2.
Prochazka, Jiri: Kurt Gödel /19O6-1978/ Curriculum vitae, I, Brno, Wien, Princeton 2O17 (isbn
= 978-8O-9O3476-9-4)
Prochazka, Jiri: Kurt Gödčl /19O6-1978/ Curriculum vita , II, Brno, Wien, Princeton 2O19
(isbn= 978-8O-9O3476-1-8
Enlaces externos
Wikimedia Commons alberga una categoría multimedia sobre Kurt Gödel.
Biografía de Kurt Gödel (https://thales.cica.es/rd/Recursos/rd97/Biografias/08-1-b-godel.html)
O'Connor, John J.; Robertson, Edmund F., «Kurt Gödel (http://www-history.mcs.st-andrews.ac.
uk/Biographies/Godel.html)» (en inglés), MacTutor History of Mathematics archive,
Universidad de Saint Andrews, http://www-history.mcs.st-
andrews.ac.uk/Biographies/Godel.html.
La situación presente en los fundamentos de las matemáticas (https://web.archive.org/web/20
070611221230/http://divulgamat.ehu.es/weborriak/historia/Gaceta/historia93a.pdf): traducción
al castellano de una conferencia de 1933 donde Gödel expone la relación entre sus teoremas
de incompletud y las distintas propuestas de fundamentación de la matemática.
Prueban que los argumentos lógicos de Gödel sobre la existencia de Dios son correctos (htt
p://www.20minutos.es/noticia/1960640/0/ser-superior/ciencia/informatica/#xtor=AD-15&xts=46
7263)
Obtenido de «https://es.wikipedia.org/w/index.php?title=Kurt_Gödel&oldid=126601640»
Esta página se editó por última vez el 2 jun 2020 a las 16:19.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.