Kurt Gödel

Kurt Friedrich Gödel (GUR-dəl; alemán: [ˈkʊʁt ˈɡøːdl̩]; 28 de abril de 1906 - 14 de enero de 1978) fue un destacado lógico, matemático y filósofo. Es ampliamente considerado como uno de los lógicos más importantes de la historia, junto con figuras como Aristóteles y Gottlob Frege. Las contribuciones de Gödel moldearon profundamente el pensamiento científico y filosófico del siglo XX, surgiendo durante un período en el que Bertrand Russell, Alfred North Whitehead y David Hilbert exploraban activamente los fundamentos de las matemáticas a través de la lógica y la teoría de conjuntos, basándose en los esfuerzos fundacionales de Frege, Richard Dedekind y Georg Cantor.

Kurt Friedrich Gödel ( GUR-dəl; alemán: [ˈkʊʁtˈɡøːdl̩]; 28 de abril de 1906 -14 de enero de 1978) fue un lógico, matemático y filósofo. Considerado junto con Aristóteles y Gottlob Frege como uno de los lógicos más importantes de la historia, Gödel influyó profundamente en el pensamiento científico y filosófico del siglo XX (en una época en la que Bertrand Russell, Alfred North Whitehead y David Hilbert utilizaban la lógica y la teoría de conjuntos para investigar los fundamentos de las matemáticas), basándose en trabajos anteriores de Frege, Richard Dedekind y Georg Cantor.

Los descubrimientos fundamentales de Gödel en matemáticas culminaron en la prueba de su teorema de completitud en 1929, presentada como parte de su tesis doctoral en la Universidad de Viena. A esto le siguió, dos años más tarde, en 1931, la publicación de sus innovadores teoremas de incompletitud. Estos teoremas de incompletitud delinean limitaciones fundamentales inherentes a los sistemas axiomáticos formales. Específicamente, demuestran que cualquier sistema axiomático formal que cumpla con criterios técnicos particulares no puede determinar el valor de verdad de todas las afirmaciones relativas a los números naturales, ni puede establecer su propia coherencia. Para fundamentar estas afirmaciones, Gödel ideó una técnica, ahora denominada numeración de Gödel, que traduce expresiones formales en números naturales.

Gödel demostró además que, asumiendo la consistencia de sus axiomas, ni el axioma de elección ni la hipótesis del continuo pueden ser refutados dentro de la teoría de conjuntos establecida de Zermelo-Fraenkel. Este hallazgo particular permitió a los matemáticos incorporar el axioma de elección en sus demostraciones. Además, contribuyó significativamente a la teoría de la prueba al dilucidar las interconexiones entre las lógicas clásica, intuicionista y modal.

Nacido en una familia acomodada de habla alemana en Brno, Gödel emigró a los Estados Unidos en 1939, buscando refugio de la creciente influencia de la Alemania nazi. En sus últimos años, experimentó una enfermedad mental; una creencia persistente de que su comida estaba envenenada lo llevó a rechazar el sustento, lo que finalmente provocó su muerte por inanición.

Educación y vida temprana

Infancia

Kurt Gödel nació el 28 de abril de 1906 en Brünn, Austria-Hungría (actual Brno, República Checa). Su familia era de habla alemana; su padre, Rudolf Gödel, era director general y copropietario de una destacada empresa textil, y su madre era Marianne Gödel (de soltera Handschuh). Su padre era católico, mientras que su madre era protestante; los niños fueron criados dentro de la fe protestante. Varios de los antepasados ​​de Kurt Gödel participaron notables en la esfera cultural de Brünn. Por ejemplo, su abuelo, Joseph Gödel, fue un cantante de renombre en su época y sirvió durante varios años como miembro de la Brünner Männergesangverein (Unión Coral de Hombres de Brünn).

A la edad de 12 años, Gödel adquirió automáticamente la ciudadanía checoslovaca tras la disolución del Imperio austrohúngaro tras su derrota en la Primera Guerra Mundial. Según su compañero de clase Klepetař, Gödel, como muchos habitantes de los Sudetenländer, predominantemente alemanes, se consideraba constantemente a sí mismo como austriaco y un exiliado en Checoslovaquia. En febrero de 1929 fue liberado de su ciudadanía checoslovaca y posteriormente se le concedió la ciudadanía austriaca en abril del mismo año. Tras la anexión de Austria por parte de Alemania en 1938, Gödel, que entonces tenía 32 años, se convirtió automáticamente en ciudadano alemán. Después de la Segunda Guerra Mundial, en 1948, a la edad de 42 años, obtuvo la ciudadanía estadounidense.

En su familia, el joven Gödel era conocido cariñosamente como Herr Warum ("Sr. Por qué"), un apodo que refleja su insaciable curiosidad. Su hermano Rudolf informó que a la edad de seis o siete años, Kurt contrajo fiebre reumática. Aunque se recuperó por completo, Gödel permaneció convencido durante toda su vida de que su corazón había sufrido daños permanentes. Desde los cuatro años, Gödel experimentó "frecuentes episodios de mala salud", un patrón que persistió durante toda su vida.

De 1912 a 1916, Gödel asistió a la Evangelische Volksschule, una escuela luterana en Brünn. Posteriormente, de 1916 a 1924, estuvo matriculado en el Deutsches Staats-Realgymnasium, donde obtuvo matrícula de honor en todas las materias, demostrando una aptitud particular en matemáticas, idiomas y religión. Inicialmente destacó en idiomas, pero luego sus intereses se dirigieron hacia la historia y las matemáticas. Su compromiso con las matemáticas se intensificó en 1920, coincidiendo con la partida de su hermano mayor Rudolf a Viena para realizar estudios de medicina en la Universidad de Viena. Durante su adolescencia, Gödel profundizó en la taquigrafía de Gabelsberger, las críticas a Isaac Newton y las obras filosóficas de Immanuel Kant.

Estudiar en Viena

Al cumplir 18 años, Gödel se matriculó en la Universidad de Viena, uniéndose a su hermano, quien ya había adquirido competencia en matemáticas a nivel universitario. A pesar de su intención inicial de dedicarse a la física teórica, también participó en cursos de matemáticas y filosofía. Al mismo tiempo, abrazó los principios del realismo matemático. Sus estudios incluyeron los Fundamentos metafísicos de las ciencias naturales de Kant, y se convirtió en un participante activo en el Círculo de Viena junto a Moritz Schlick, Hans Hahn y Rudolf Carnap. Posteriormente, Gödel profundizó en la teoría de números; sin embargo, su participación en un seminario dirigido por Moritz Schlick, que se centró en la Introducción a la Filosofía Matemática de Bertrand Russell, despertó su interés por la lógica matemática. El propio Gödel caracterizó la lógica matemática como "una ciencia anterior a todas las demás, que contiene las ideas y principios subyacentes a todas las ciencias".

La asistencia de Gödel a una conferencia de David Hilbert en Bolonia, que abordó la integridad y la coherencia dentro de los sistemas matemáticos, potencialmente moldeó su futura trayectoria académica. En 1928, Hilbert y Wilhelm Ackermann fueron coautores de Grundzüge der theoretischen Logik (Principios de lógica matemática), un texto fundamental sobre lógica de primer orden que introdujo la cuestión crítica de la completitud: "¿Son suficientes los axiomas de un sistema formal para derivar cada afirmación que sea verdadera en todos los modelos?" del sistema?"

Este tema en particular se convirtió en el foco de la investigación doctoral de Gödel. En 1929, a la edad de 23 años, defendió con éxito su tesis doctoral, dirigida por Hans Hahn. En esta disertación, formuló y demostró el teorema de completitud del mismo nombre sobre la lógica de primer orden. Recibió su doctorado en 1930 y su tesis, junto con investigaciones complementarias, fue publicada posteriormente por la Academia de Ciencias de Viena.

En 1929, Gödel conoció a Adele Nimbursky (de soltera Porkert), una divorciada que vivía con sus padres justo enfrente de su casa. Una década después, en septiembre de 1938, se casaron en una ceremonia civil. Adele, una bailarina de ballet de formación, trabajaba como masajista cuando se conocieron. Anteriormente también había trabajado como bailarina en un club nocturno del centro llamado Nachtfalter ("polilla nocturna"). Los padres de Gödel expresaron su desaprobación por su relación debido a su origen social y su edad, ya que ella era seis años mayor que él. A pesar de las objeciones familiares iniciales, su matrimonio generalmente se considera contenido. Adele brindó un apoyo crucial a Gödel, particularmente teniendo en cuenta sus desafíos psicológicos que impactaron su existencia cotidiana. No tuvieron hijos.

Carrera

Teoremas de incompletitud

La contribución de Kurt Gödel a la lógica moderna es singular y monumental; de hecho, trasciende un mero monumento y sirve como un hito destinado a permanecer discernible a través de vastas extensiones de espacio y tiempo. ... La esencia misma y el potencial de la lógica como disciplina sin lugar a dudas han sido transformados por los logros de Gödel.

En 1930, Gödel participó en la Segunda Conferencia sobre Epistemología de las Ciencias Exactas, que tuvo lugar en Königsberg del 5 al 7 de septiembre. Durante esta conferencia, presentó formalmente su teorema de completitud para la lógica de primer orden. Al concluir su presentación, señaló que este hallazgo no se extendía a la lógica de orden superior, lo que presagiaba sus innovadores teoremas de incompletitud.

Los teoremas de incompletitud de Gödel se publicaron en su obra fundamental, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, que se traduce como "Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados". En este artículo, demostró que para cualquier sistema axiomático computable lo suficientemente robusto como para articular la aritmética de los números naturales (como los axiomas de Peano o la teoría de conjuntos de Zermelo-Fraenkel que incorpora el axioma de elección), se cumple lo siguiente:

1. Si un sistema formal (ya sea lógico o axiomático) exhibe consistencia omega, es inherentemente incapaz de ser sintácticamente completo.
2. La coherencia interna de un conjunto de axiomas no puede establecerse formalmente desde dentro de ese mismo sistema.

Estos teoremas concluyeron definitivamente un esfuerzo de cincuenta años, iniciado por el trabajo de Frege y culminando en Principia Mathematica y el programa de Hilbert, que buscaba descubrir una axiomatización no relativamente consistente adecuada para la teoría de números, destinada a servir como base fundamental para otros dominios matemáticos.

Gödel ideó una fórmula que afirmaba su propia imposibilidad de demostrarla dentro de un sistema formal específico. Esto implicaba que si la fórmula fuera demostrable, sería inherentemente falsa, estableciendo así la existencia de al menos una afirmación que es verdadera pero no demostrable. Específicamente, para cualquier conjunto computable enumerable de axiomas aritméticos (definido como un conjunto teóricamente imprimible por una computadora idealizada con recursos infinitos) existe una fórmula que es aritméticamente verdadera pero no puede ser probada dentro de ese sistema. Para lograr esta precisión, Gödel desarrolló una metodología para codificar enunciados, pruebas y la noción de demostrabilidad como números naturales, una técnica denominada numeración de Gödel.

En su conciso artículo de 1932, Sobre el cálculo proposicional intuicionista, Gödel cuestionó el valor finito de los métodos intuicionistas. lógica. Su prueba incorporó implícitamente principios que posteriormente fueron reconocidos como lógica intermedia de Gödel-Dummett, también conocida como lógica difusa de Gödel.

Mediados de la década de 1930: investigaciones posteriores y compromisos de Estados Unidos

Gödel completó su habilitación en Viena en 1932 y posteriormente se convirtió en Privatdozent (conferencista no remunerado) en la institución en 1933. El mismo año marcó el ascenso de Adolf Hitler al poder en Alemania, lo que llevó a una creciente influencia nazi en Austria y dentro de la comunidad matemática vienesa en los años siguientes. Un hecho significativo ocurrió en junio de 1936 cuando Moritz Schlick, cuyos seminarios habían despertado inicialmente el interés de Gödel por la lógica, fue asesinado por un antiguo alumno, Johann Nelböck. Este incidente precipitó en Gödel "una grave crisis nerviosa", que se manifestó en síntomas paranoides, en particular una fobia al envenenamiento, que requirió varios meses de tratamiento en un sanatorio especializado en trastornos nerviosos.

Las iniciales de Gödel también pronunció una conferencia en la reunión anual de la Sociedad Matemática Americana. Al mismo tiempo, Gödel avanzó en sus conceptos de computabilidad y funciones recursivas, culminando con una conferencia sobre funciones recursivas generales y la noción de verdad. Esta investigación se basó en la teoría de números y empleó la numeración de Gödel.

En 1934, Gödel pronunció una serie de conferencias en el Instituto de Estudios Avanzados (IAS) de Princeton, Nueva Jersey, bajo el título Sobre proposiciones indecidibles de sistemas matemáticos formales. Stephen Kleene, que recientemente había obtenido su doctorado en Princeton, documentó meticulosamente estas conferencias y sus notas se publicaron posteriormente.

Gödel volvió a visitar la IAS en el otoño de 1935. La tensión acumulada de los viajes y el trabajo intensivo lo llevaron al agotamiento, lo que lo llevó a tomarse un año sabático al año siguiente para recuperarse de un episodio depresivo. Reanudó sus tareas docentes en 1937. Durante este período, se centró en demostrar la coherencia del axioma de elección y la hipótesis del continuo, demostrando en última instancia que estas hipótesis no son refutables dentro del sistema axiomático estándar de la teoría de conjuntos.

Tras su matrimonio con Adele Nimbursky en 1938, Gödel emprendió otra Durante este tiempo, publicó Consistencia del axioma de elección y de la hipótesis del continuo generalizada con los axiomas de la teoría de conjuntos, una obra fundamental en las matemáticas modernas. En esta publicación, introdujo el universo construible, un modelo de teoría de conjuntos donde la existencia se limita a conjuntos derivables de conjuntos más simples. Gödel demostró que tanto el axioma de elección (AC) como la hipótesis del continuo generalizado (GCH) son válidas dentro del universo construible, estableciendo así su coherencia con los axiomas de Zermelo-Fraenkel para la teoría de conjuntos (ZF). Este hallazgo tiene implicaciones importantes para los matemáticos, ya que permite asumir el axioma de elección en demostraciones como el teorema de Hahn-Banach. Posteriormente, Paul Cohen desarrolló un modelo ZF en el que AC y GCH son falsos, lo que indica colectivamente que AC y GCH son independientes de los axiomas ZF para la teoría de conjuntos.

En la primavera de 1939, Gödel se afilió a la Universidad de Notre Dame.

Princeton, Einstein y la ciudadanía estadounidense

Tras el Anschluss el 12 de marzo de 1938, Austria fue incorporada a la Alemania nazi. Posteriormente, el régimen alemán abolió el título académico Privatdozent, lo que obligó a Gödel a buscar un nombramiento académico alternativo dentro de la nueva estructura administrativa. Sus afiliaciones anteriores con miembros judíos del Círculo de Viena, particularmente Hahn, impactaron negativamente en sus perspectivas. En consecuencia, la Universidad de Viena rechazó su solicitud.

Su situación se deterioró aún más cuando el ejército alemán lo consideró elegible para el servicio militar obligatorio. Con el estallido de la Segunda Guerra Mundial en septiembre de 1939, Gödel y su esposa partieron de Viena hacia Princeton a finales de ese año. Para sortear los desafíos de un viaje por el Atlántico, los Gödel se embarcaron en el Ferrocarril Transiberiano hacia el Pacífico y posteriormente navegaron desde Japón hasta San Francisco, donde llegaron el 4 de marzo de 1940, antes de completar su viaje a Princeton en tren. Durante su tránsito, se informó que a Gödel se le confió una carta confidencial para Einstein del físico vienés Hans Thirring, destinada a informar al presidente Franklin D. Roosevelt sobre el potencial del régimen de Hitler para desarrollar una bomba atómica. A pesar de conocer a Einstein, Gödel nunca entregó la carta, ya que dudaba de la capacidad de Hitler para lograr tal hazaña tecnológica. Sin embargo, Leo Szilard ya había comunicado esta preocupación a Einstein, quien posteriormente había alertado al presidente Roosevelt.

Al llegar a Princeton, Gödel consiguió un puesto en el Instituto de Estudios Avanzados (IAS), institución que había visitado anteriormente entre 1933 y 1934.

Al mismo tiempo, Albert Einstein residía en Princeton. Gödel y Einstein cultivaron una profunda amistad y con frecuencia se les observó dando largos paseos hacia y desde la IAS. El fondo de sus discusiones siguió siendo enigmático para sus colegas del Instituto. El economista Oskar Morgenstern documentó que, en sus últimos años, Einstein confesó que su propio trabajo había perdido importancia, afirmando que asistió al Instituto principalmente "para tener el privilegio de caminar a casa con Gödel".

En el verano de 1942, Gödel y su esposa residieron en Blue Hill, Maine, alojándose en el Blue Hill Inn, situado en la cabecera de la bahía. Este período resultó excepcionalmente productivo para la investigación de Gödel. Basándose en Heft 15 (volumen 15) de los entonces inéditos Arbeitshefte (cuadernos de trabajo) de Gödel, John W. Dawson Jr. postula que Gödel formuló una prueba de la independencia del axioma de elección de la teoría de tipos finitos (una forma menos estricta de teoría de conjuntos) durante su estancia en Blue Hill en 1942. Esta hipótesis es corroborada por el colaborador cercano de Gödel, Hao Wang, quien observó que los cuadernos Blue Hill de Gödel presentan su exploración más completa de este problema en particular.

El 5 de diciembre de 1947, Einstein y Morgenstern sirvieron como testigos de Gödel durante su examen de ciudadanía estadounidense. Gödel les había revelado previamente su descubrimiento de una inconsistencia constitucional que, en su opinión, podría potencialmente permitir que Estados Unidos pasara a una dictadura, un concepto que posteriormente se denominó la laguna jurídica de Gödel. Tanto Einstein como Morgenstern albergaban preocupaciones de que el comportamiento idiosincrásico de Gödel pudiera poner en peligro su solicitud de ciudadanía. El juez que presidió fue Phillip Forman, quien conocía a Einstein y previamente había prestado juramento durante la audiencia de naturalización del propio Einstein. El proceso transcurrió sin incidentes hasta que Forman preguntó si Gödel creía que podría surgir en Estados Unidos una dictadura similar al régimen nazi. Gödel rápidamente comenzó a explicar su descubrimiento constitucional al juez Forman. Al percibir la situación, Forman intervino, redirigiendo la audiencia a preguntas estándar y concluyendo el proceso de manera rutinaria.

En 1946, Gödel obtuvo la membresía permanente en el Instituto de Estudios Avanzados de Princeton. Posteriormente fue nombrado profesor titular en el Instituto en 1953, alcanzando el estatus de emérito en 1976.

Mientras estuvo en el Instituto, las actividades intelectuales de Gödel se expandieron para abarcar la filosofía y la física. En 1949, demostró en particular la existencia de soluciones a las ecuaciones de campo de Einstein en la relatividad general que incorporaban curvas temporales cerradas. Se dice que este importante desarrollo teórico fue presentado a Einstein como regalo por su 70 cumpleaños. Estos "universos giratorios", que teóricamente permiten viajar en el tiempo al pasado, llevaron a Einstein a reevaluar aspectos de su propia teoría. Estas soluciones ahora se reconocen como la métrica de Gödel, una solución exacta a la ecuación de campo de Einstein.

Gödel estudió meticulosamente y admiró mucho el trabajo de Gottfried Leibniz, aunque finalmente desarrolló la convicción de que una conspiración malévola había llevado a la supresión de algunos de los escritos de Leibniz. También se comprometió, aunque menos extensamente, con las filosofías de Immanuel Kant y Edmund Husserl. A principios de la década de 1970, Gödel difundió entre sus conocidos una formulación ampliada de la interpretación de Leibniz del argumento ontológico de Anselmo de Canterbury sobre la existencia de Dios. Esta formulación es ahora ampliamente reconocida como la prueba ontológica de Gödel.

Premios y distinciones

Gödel recibió el Premio Albert Einstein inaugural en 1951, compartiéndolo con Julian Schwinger, y más tarde fue honrado con la Medalla Nacional de Ciencias en 1974. Sus distinciones académicas incluyen la elección como miembro residente de la Sociedad Filosófica Estadounidense en 1961 y como Miembro Extranjero de la Royal Society (ForMemRS) en 1968. También pronunció un discurso plenario en el Congreso Internacional de Matemáticos (ICM) en Cambridge. Massachusetts, en 1950.

Vida personal y fallecimiento

En 1938, Gödel se casó con Adele Nimbursky en Viena y, un año después, la pareja se mudó a los Estados Unidos.

Durante sus últimos años, Gödel experimentó episodios de inestabilidad mental y enfermedades. Ciertos estudiosos han propuesto diagnósticos como el síndrome de Asperger y el trastorno obsesivo-compulsivo. Tras el asesinato de su amigo íntimo Moritz Schlick, Gödel desarrolló una intensa fobia al envenenamiento, por lo que sólo consumía comidas preparadas por su esposa, Adele. Cuando Adele fue hospitalizada debido a un derrame cerebral a finales de 1977, Gödel, en su ausencia, dejó de comer. Pesaba 29 kilogramos (65 libras) en el momento de su muerte el 14 de enero de 1978 en el Hospital de Princeton, y la causa se registró oficialmente como "desnutrición e inanición causadas por trastornos de la personalidad". Su entierro tuvo lugar en el cementerio de Princeton. Adele falleció en 1981 y legó los trabajos recopilados de Gödel al Instituto de Estudios Avanzados.

Perspectivas religiosas

Gödel tenía la convicción de que Dios poseía una naturaleza personal, caracterizando su perspectiva filosófica como "racionalista, idealista, optimista y teológica". Desarrolló una prueba formal preliminar de la existencia de Dios, que se conoció como la prueba ontológica de Gödel.

Gödel suscribió el concepto de una vida futura, afirmando: "Por supuesto, esto supone que hay muchas relaciones de las que la ciencia actual y la sabiduría recibida no tienen ni idea. Pero estoy convencido de esto [la otra vida], independientemente de cualquier teología". Afirmó además que "hoy es posible percibir, por puro razonamiento" que "es enteramente consistente con hechos conocidos". Concluyó: "Si el mundo está construido racionalmente y tiene significado, entonces debe existir algo así [como una vida futura]". Además, exploró ampliamente otros temas paranormales, como la telepatía, la reencarnación y los fantasmas.

En una respuesta al cuestionario que no se envió, Gödel caracterizó su afiliación religiosa como "luterano bautizado (pero no miembro de ninguna congregación religiosa). Mi creencia es teísta, no panteísta, y sigue a Leibniz en lugar de Spinoza". Respecto a la religión en general, comentó: "Las religiones son en su mayor parte malas, pero no la religión en sí". Su esposa, Adele, contó que "Gödel, aunque no iba a la iglesia, era religioso y leía la Biblia en la cama todos los domingos por la mañana", mientras expresaba sus puntos de vista sobre el Islam, afirmó: "Me gusta el Islam: es una idea consistente [o consecuente] de religión y de mente abierta".

Legado duradero

La publicación de Douglas Hofstadter de 1979, Gödel, Escher, Bach: an Eternal Golden Braid, integra las obras y conceptos de Gödel, M. C. Escher y Johann Sebastian Bach. El libro investiga parcialmente las implicaciones que surgen del hecho de que el teorema de incompletitud de Gödel es aplicable a cualquier sistema computacional completo de Turing, que potencialmente abarque el cerebro humano. En 2005, John W. Dawson Jr. escribió una obra biográfica titulada Dilemas lógicos: la vida y obra de Kurt Gödel. Durante el mismo año, Rebecca Goldstein lanzó Incompleteness: The Proof and Paradox of Kurt Gödel como una entrega de la serie Great Discoveries. El relato biográfico de Stephen Budiansky sobre Gödel, Journey to the Edge of Reason: The Life of Kurt Gödel, fue reconocido como uno de los mejores libros de la crítica del New York Times de 2021. Gödel fue uno de los cuatro matemáticos que aparecen en el documental de la BBC de 2008 de David Malone, Dangerous Knowledge.

Establecido en 1987, Kurt La Sociedad Gödel funciona como una organización internacional dedicada a promover la investigación en lógica, filosofía e historia de las matemáticas. La Universidad de Viena alberga el Centro de Investigación de Lógica Matemática Kurt Gödel. La Asociación de Lógica Simbólica presenta una Conferencia Gödel anual desde 1990. El Premio Gödel se otorga anualmente por un trabajo excepcional en informática teórica. Los cuadernos filosóficos de Gödel se encuentran actualmente bajo revisión editorial en el Centro de Investigación Kurt Gödel, ubicado dentro de la Academia de Ciencias y Humanidades de Berlín-Brandenburgo. Se ha publicado una recopilación en cinco volúmenes de las obras completas de Gödel. Los dos volúmenes iniciales comprenden sus obras publicadas; el tercero contiene manuscritos inéditos de su Nachlass; y los dos volúmenes finales presentan su correspondencia.

En la película de 1994 I.Q., Lou Jacobi interpretó a Gödel. En la película de 2023 Oppenheimer, Gödel, interpretado por James Urbaniak, hace una breve aparición caminando junto a Einstein en los jardines de Princeton.

Bibliografía

Publicaciones en alemán

• 1930, "Die Vollständigkeit der Axiome des logischen Funktionenkalküls". Monatshefte für Mathematik und Physik 37: 349–60.
• 1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." Monatshefte für Mathematik und Physik 38: 173–98.
• 1932, "Sobre el cálculo proposicional intuicionista", Boletín de la Academia de Ciencias de Viena 69: 65–66.

1940. La coherencia del axioma de elección y de la hipótesis del continuo generalizado con los axiomas de la teoría de conjuntos. Prensa de la Universidad de Princeton.

• 1940. La coherencia del axioma de elección y de la hipótesis del continuo generalizado con los axiomas de la teoría de conjuntos. Princeton University Press.
• 1947. "¿Qué es el problema del continuo de Cantor?" The American Mathematical Monthly 54: 515–25. Aparece una versión revisada en Paul Benacerraf y Hilary Putnam, editores, 1984 (originalmente 1964). Filosofía de las Matemáticas: Lecturas seleccionadas. Prensa de la Universidad de Cambridge: 470–85.
• 1950, "Universos giratorios en la teoría de la relatividad general". Actas del Congreso Internacional de Matemáticos en Cambridge, vol. 1, págs. 175–81.

Kurt Gödel, 1992. Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados, traducido por B. Meltzer, con una introducción completa de Richard Braithwaite. Reimpresión de Dover de la edición de Basic Books de 1962.

• Kurt Gödel, 1992. Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados, tr. B. Meltzer, con una completa introducción de Richard Braithwaite. Reimpresión de Dover de la edición de Basic Books de 1962.
• Kurt Gödel, 2000. Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados, traducido por Martin Hirzel.
• Jean van Heijenoort, 1967. Un libro de consulta sobre lógica matemática, 1879-1931. Prensa de la Universidad de Harvard.
  • 1930. "La integridad de los axiomas del cálculo funcional de la lógica", 582–91.
  • 1930. "Algunos resultados metamatemáticos sobre integridad y coherencia", 595–96. Esto sirve como resumen de la publicación de 1931.
  • 1931. "Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados", 596–616.
  • 1931a. "Sobre la integridad y la coherencia", 616–17.
• Obras completas: Oxford University Press, Nueva York. Editor jefe: Solomon Feferman.
• Gödel, Kurt. Obras completas. Nueva York: Oxford University Press.— (1986). (PDF)Vol. I. ISBN 978-0-19-503964-1.— (1990). Feferman, Salomón; Dawson, Jr., John W.; Kleene, Stephen C.; Moore, Gregorio H.; Solovay, Robert M.; Van Heijenoort, Jean (editores). Publicaciones 1938–1974 (PDF). vol. II. Prensa de la Universidad de Oxford. ISBN 978-0-19-503972-6.— (1995). Feferman, Salomón; Dawson, Jr., John W.; Goldfarb, Warren; Parsons, Carlos; Solovay, Robert M. (editores). Ensayos y conferencias inéditos (PDF). vol. III. ISBN 978-0-19-507255-6.— (2003). Feferman, Salomón; Dawson, Jr., John W.; Goldfarb, Warren; Parsons, Carlos; Sieg, Wilfried (editores). Correspondencia A–G (PDF). vol. IV. Prensa de Clarendon. ISBN 978-0-19-850073-5.— (2003). Feferman, Salomón; Dawson, Jr., John W.; Goldfarb, Warren; Parsons, Carlos; Sieg, Wilfried (editores). Correspondencia H–Z (PDF). vol. Prensa V. Clarendon. ISBN 978-0-19-850075-9.
  • Lógica difusa de Gödel
  • Premio Gödel
  • La prueba ontológica de Gödel
  • Lógica de valores infinitos
  • Lista de pioneros en informática
  • Demostración original del teorema de completitud de Gödel
  • Lógica de Gödel-Löb
  • Bucle extraño
  • Teorema de indefinibilidad de Tarski
  • Día Mundial de la Lógica

  Notas

  Referencias

  Fuentes

  • Dawson, John W. (1997), Dilemas lógicos: la vida y obra de Kurt Gödel, Wellesley, MA: AK Peters.Goldstein, Rebecca (2005), Lo incompleto: la prueba y la paradoja de Kurt Gödel, Nueva York: W.W. Norton & Co. ISBN 978-0-393-32760-1Wang, Hao (1987), Reflexiones sobre Kurt Gödel, Cambridge: MIT Press. ISBN 0-262-73087-1Wang, Hao (1996), Un viaje lógico: de Gödel a la filosofía, Cambridge: MIT Press. ISBN 0-262-23189-1Brewer, William D. (2022). Kurt Gödel: el genio de las metamatemáticas. Cham: Springer. ISBN 978-3-031-11308-6.
    • Brewer, William D. (2022). Kurt Gödel: El genio de las metamatemáticas. Cham: Springer. ISBN 978-3-031-11308-6.Casti, John L. y Werner DePauli (2000), Gödel: A Life of Logic, Cambridge, MA: Basic Books (Perseus Books Group). ISBN 978-0-7382-0518-2Dawson, John W. Jr. (1999), "Gödel and the Limits of Logic", Scientific American, 280 (6): 76–81. Bibcode:1999SciAm.280f..76D, doi:10.1038/scientificamerican0699-76, PMID 10048234Franzén, Torkel (2005), Teorema de Gödel: una guía incompleta para su uso y abuso, Wellesley, MA: AK Peters.Hämeen-Anttila, Maria (2020). Gödel sobre el intuicionismo y los fundamentos constructivos de las matemáticas (tesis doctoral). Helsinki: Universidad de Helsinki. ISBN 978-951-51-5922-9.Hoffmann, Dirk W. (2024). Teoremas de incompletitud de Gödel. Berlín, Heidelberg: Springer. ISBN 978-3-662-69549-4.Prince, Hal (2022). El Gödel anotado. Prensa casera. ISBN 979-8-9864142-0-1.
    • Yourgrau, Palle (1999). Gödel se encuentra con Einstein: viaje en el tiempo en el universo de Gödel. Chicago: Audiencia Abierta.
    • Yourgrau, Palle (2004). Un mundo sin tiempo: el legado olvidado de Gödel y Einstein. Libros básicos. ISBN 978-0-465-09293-2. (Revisado por John Stachel en los Avisos de la Sociedad Matemática Estadounidense, 54 (7), págs. 861–68).

    Weisstein, Eric Wolfgang (ed.). "Gödel, Kurt (1906-1978)". MundoCiencia.

    • Weisstein, Eric Wolfgang (ed.). "Gödel, Kurt (1906-1978)". MundoCiencia.Kennedy, Juliette. "Kurt Gödel." En Zalta, Edward N. (ed.), Enciclopedia de Filosofía de Stanford. ISSN 1095-5054. OCLC 429049174.
    • Galería de fotos de Gödel. (archivado)
    • Memoria biográfica de la Academia Nacional de Ciencias