Kurt Gödel es ampliamente reconocido como el mayor lógico desde Aristóteles. Nacido en Brünn (actual Brno, República Checa) el 28 de abril de 1906, y fallecido en Princeton el 14 de enero de 1978, su obra transformó radicalmente la lógica matemática, los fundamentos de la matemática y la filosofía de la mente. Sus dos Teoremas de Incompletitud (1931) demolieron parcialmente el programa formalista de David Hilbert y establecieron límites intrínsecos a cualquier sistema axiomático suficientemente poderoso.
Conceptos clave
Primer Teorema de Incompletitud (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, 1931): Gödel demostró que todo sistema formal consistente capaz de expresar la aritmética elemental de los números naturales contiene necesariamente proposiciones que no pueden ser ni demostradas ni refutadas dentro del propio sistema. La estrategia de la prueba es extraordinariamente ingeniosa: Gödel codificó la sintaxis formal mediante números (la llamada “gödelización” o numeración de Gödel), construyendo así una sentencia que, en su propia numeración aritmética, afirma “Yo no soy demostrable en este sistema”. Si el sistema pudiera demostrar esa sentencia, sería inconsistente; como no puede hacerlo, la sentencia es verdadera pero indecidible. El teorema mostró que la completitud — la capacidad de un sistema formal de decidir toda proposición bien formada — es incompatible con la consistencia, para sistemas suficientemente expresivos.
Segundo Teorema de Incompletitud (mismo artículo, 1931): Una extensión directa del primero: ningún sistema formal consistente suficientemente poderoso puede demostrar su propia consistencia utilizando únicamente los recursos disponibles dentro del propio sistema. Esto golpeó directamente el programa de Hilbert (Hilbertprogramm), que buscaba garantizar los fundamentos de la matemática mediante pruebas finitarias de consistencia. El segundo teorema demostró que tal prueba es, en principio, imposible — a menos que el sistema sea inconsistente (caso en que probaría cualquier cosa).
Teorema de Completitud (tesis doctoral, Universidad de Viena, 1929; publicada en 1930): Distinto de los teoremas de incompletitud, este resultado positivo demuestra que la lógica de primer orden (cálculo de predicados) es completa: toda fórmula lógicamente válida (verdadera en todo modelo) es derivable mediante reglas de prueba formales. Esto estableció la adecuación de las reglas de inferencia de la lógica de predicados clásica.
Consistencia Relativa del Axioma de Elección y de la Hipótesis del Continuo (1938–1940): Gödel demostró que, si la teoría de conjuntos de Zermelo-Fraenkel (ZF) es consistente, entonces la adición del Axioma de Elección (AC) y de la Hipótesis Generalizada del Continuo (HGC) no introduce inconsistencia. Para ello construyó los “conjuntos constructibles” (constructible universe, L), mostrando que forman un modelo de ZF+AC+HGC. Paul Cohen demostraría en 1963 la independencia en la dirección opuesta, completando el resultado: AC e HC son independientes de ZF.
Prueba Ontológica Modal (formulada en los años 1970, publicada póstumamente por Sobel en 1987): Gödel formalizó en lógica modal de segundo orden una versión del argumento ontológico de Anselmo de Canterbury, usando los conceptos de propiedad “positiva” y necesidad modal. La formalización fue una curiosidad filosófica personal de Gödel, nunca publicada por él en vida, y sigue siendo objeto de intenso debate sobre su validez lógica y sus premisas ontológicas.
Platonismo Matemático: Gödel sostuvo una filosofía matemática realista: los objetos matemáticos (números, conjuntos, funciones) existen con independencia de la mente humana y de las construcciones formales. La intuición matemática sería una especie de percepción de entidades abstractas. Esta posición mantiene una tensión productiva con los resultados de incompletitud — si la matemática fuera mera manipulación de símbolos, ¿por qué deberíamos aceptar la sentencia gödeliana como verdadera (y no solo indecidible)? La respuesta platonista es: porque la percibimos como verdadera por intuición, aun sin prueba formal.
Influenciado por
- David Hilbert — programa formalista (punto de partida y destinatario crítico)
- Bertrand Russell y Alfred North Whitehead — Principia Mathematica (el sistema cuyas limitaciones Gödel exploró)
- Ernst Zermelo y Abraham Fraenkel — axiomática de la teoría de conjuntos
- Leibniz — interés en la lógica formal y el argumento ontológico
- El Círculo de Viena (asistió a sus reuniones; nunca fue positivista lógico, pero dialogó con Carnap y Schlick)
Influyó en
- Alfred Tarski — teoría de la verdad e indecidibilidad
- Alan Turing — los teoremas de Gödel inspiraron directamente el concepto de problema indecidible y la formulación de la máquina de Turing (1936)
- John von Neumann — reconoció inmediatamente la importancia de los resultados en 1930
- Filosofía de la mente: Lucas (1961) y Penrose (La nueva mente del emperador, 1989) usaron los teoremas para argumentar contra el mecanicismo; la posición fue rebatida por Putnam y otros
- Lógica modal y teoría de la demostración contemporáneas
- Debates sobre los fundamentos de la matemática (constructivismo, platonismo, formalismo)
Obras
Über die Vollständigkeit des Logikkalküls (tesis doctoral, 1929; publicada en 1930); Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (1931); The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory (1940); What is Cantor’s Continuum Problem? (1947; versión revisada de 1964); Russell’s Mathematical Logic (1944); Collected Works (5 vols., ed. Feferman et al., Oxford University Press, 1986–2003).
Véase también
Lógica Matemática Filosofía de la Matemática Bertrand Russell Ludwig Wittgenstein
Libros recomendados:
Gödel's Proof — Ernest Nagel y James R. Newman
Ver na Amazon →
Collected Works, Vol. I — Kurt Gödel
Ver na Amazon →