Kurt Gödel es una figura monumental en la historia de la lógica y las matemáticas, conocido principalmente por sus Teoremas de Incompletitud, que cambiaron para siempre la comprensión de los fundamentos de las matemáticas. Sin embargo, su influencia y pensamiento van mucho más allá de los confines de la lógica matemática; Gödel también se interesó profundamente por la filosofía, especialmente en relación con las matemáticas, abordando cuestiones fundamentales que han preocupado a filósofos durante siglos.
Los Teoremas de Incompletitud
Estos teoremas muestran que, en matemáticas y lógica, siempre hay límites en lo que se puede conocer o demostrar. Gödel nos enseñó que siempre habrá un «misterio» o algo más allá que no podemos resolver con los métodos actuales.
- Primer Teorema: Siempre habrá verdades matemáticas que no se pueden probar usando las reglas del sistema.
- Segundo Teorema: Si el sistema es consistente, no puede probar por sí mismo que es consistente.
1. Primer Teorema de la Incompletitud de Gödel
Imagina que tienes un libro que contiene todas las reglas y fórmulas de las matemáticas. Este libro es tan completo que, con suficiente paciencia, podrías usarlo para probar o demostrar cualquier verdad matemática. Gödel demostró que, sin importar lo grande o completo que sea este libro, siempre habrá algunas verdades matemáticas que no se pueden probar usando solo las reglas de ese libro. En otras palabras: no importa cuán completo o lógico sea un sistema matemático, siempre habrá afirmaciones verdaderas que no se pueden demostrar dentro de ese sistema. Es como si hubiera límites sobre lo que podemos probar, incluso con todas las herramientas matemáticas que conocemos.
2. Segundo Teorema de la Incompletitud de Gödel
El segundo teorema es como una consecuencia del primero. Dice que, si el libro de reglas que mencionamos antes es consistente (es decir, no contiene contradicciones), entonces el propio libro no puede demostrar que es consistente. De nuevo, en otras palabras: Si tienes un sistema de reglas matemáticas que es coherente (no tiene errores internos), ese sistema no puede probar que no tiene errores. Necesitarías salir de ese sistema, usar algo externo a él, para demostrar su coherencia.
Gödel y el realismo platónico
Una de las principales preocupaciones filosóficas de Gödel fue el realismo platónico en matemáticas, una posición que sostiene que los objetos matemáticos existen independientemente de la mente humana. Gödel era un defensor del realismo matemático, creyendo que las entidades matemáticas, como los números y los conjuntos, existen en un «tercer reino» platónico, accesible a través de la intuición matemática. Esta postura contrasta con el formalismo, que ve las matemáticas como una mera manipulación de símbolos según reglas determinadas, sin contenido semántico intrínseco.
Gödel argumentó que los conceptos matemáticos tienen una realidad objetiva y que los axiomas matemáticos no son simplemente convenciones arbitrarias, sino que capturan verdades sobre esta realidad matemática. En una carta a su madre, Gödel escribió: «Para mí, las matemáticas no son una invención humana sino un descubrimiento, similar a los continentes que fueron descubiertos por los navegantes. Los continentes ya estaban allí, aunque nadie los había visto antes» (Gödel, Collected Works, Vol. IV, p. 485).
Gödel veía las matemáticas como una ciencia descriptiva similar a la física, pero sobre una realidad no física. En su opinión, los axiomas matemáticos eran descubrimientos sobre esta realidad y no construcciones libres de la mente. Esta postura se refleja en sus trabajos filosóficos, donde critica las visiones formalistas y constructivistas de las matemáticas y defiende una visión más robusta del conocimiento matemático como una forma de intuición racional.
ARTÍCULO RELACIONADO: Toda la filosofía de Platón (Juan Pérez Ventura, 2010)
Intereses filosóficos
Gödel también estaba profundamente interesado en los trabajos de filósofos anteriores que influyeron en su pensamiento filosófico sobre las matemáticas y la lógica.
Leibniz y la lógica del mundo
Gödel admiraba profundamente a Gottfried Wilhelm Leibniz, filósofo y matemático del siglo XVII conocido por su invención del cálculo y su teoría de la armonía preestablecida. Gödel compartía con Leibniz la creencia en un universo racionalmente inteligible, donde toda verdad podía, en principio, ser descubierta a través del razonamiento lógico. Al igual que Leibniz, Gödel estaba interesado en la idea de un «calculus ratiocinator», un cálculo o método formal para descubrir verdades. Gödel veía su propio trabajo en lógica matemática como una continuación de los proyectos de Leibniz para formalizar el pensamiento racional.
En sus notas, Gödel escribió: «Leibniz ya había vislumbrado que la lógica formal debería ser la base de toda la filosofía, y es precisamente esto lo que yo considero correcto» (Gödel, Philosophical Notebooks, p. 67). Gödel creía que la matemática y la lógica podrían proporcionar un marco formal para todas las disciplinas del conocimiento, reflejando su interés en una «ciencia universal» que englobara todas las verdades posibles.
Kant y la crítica del formalismo
El interés de Gödel por Immanuel Kant se centraba principalmente en la filosofía de las matemáticas de Kant, especialmente en su concepción de los juicios sintéticos a priori. Kant argumentó que las matemáticas consisten en juicios sintéticos a priori, es decir, proposiciones que amplían nuestro conocimiento y cuya verdad puede conocerse independientemente de la experiencia. Para Kant, los axiomas de la geometría, por ejemplo, eran verdades sintéticas a priori sobre el espacio.
Gödel tenía una interpretación diferente de los juicios sintéticos a priori en matemáticas. A pesar de su realismo platónico, estaba de acuerdo con Kant en que algunos conocimientos matemáticos son a priori, pero difería en su interpretación de cómo este conocimiento se adquiere. Para Gödel, las matemáticas no eran simplemente un producto de la mente humana ni derivaban de las intuiciones puramente empíricas. Más bien, creía en una forma de intuición racional, que nos permitía acceder a la realidad matemática platónica.
Gödel también estaba en desacuerdo con la idea kantiana de que el espacio y el tiempo son formas a priori de la intuición sensorial. Gödel cuestionó esto especialmente a la luz de los desarrollos en la física relativista, sugiriendo que una reinterpretación de la filosofía kantiana era necesaria para acomodar estos nuevos descubrimientos científicos.
ARTÍCULO RELACIONADO: La definición de lo real: empirismo, racionalismo, idealismo (Juan Pérez Ventura, 2022)
Husserl y la fenomenología de las matemáticas
El interés de Gödel en Edmund Husserl, fundador de la fenomenología, también tuvo un impacto profundo en su pensamiento filosófico. Husserl buscaba una fundamentación segura para todas las ciencias, incluyendo las matemáticas, a través de un examen riguroso de la conciencia y la intuición. Gödel encontró atractivo el enfoque de Husserl hacia los conceptos matemáticos como estructuras de significación dadas a la intuición. Husserl argumentó que los objetos matemáticos, aunque abstractos, tienen una forma de existencia que puede ser percibida directamente por la mente en un acto de intuición categorial.
Gödel adoptó una visión similar, proponiendo que los objetos matemáticos son percibidos por la mente de manera directa, aunque no empírica, a través de una intuición racional. Esta intuición no es simplemente una percepción sensorial, sino una forma de aprehensión intelectual que nos permite captar la realidad matemática platónica. Gödel escribió: «La percepción sensible no es el único tipo de percepción, y la percepción de las ideas matemáticas es también una especie de percepción que se puede llamar ‘percepción categorial'» (Gödel, Philosophical Papers, p. 310).
ARTÍCULO RELACIONADO: Principales filósofos de la Historia (Juan Pérez Ventura, 2016)
Intereses teológicos
Durante los años 1970, Gödel desarrolló una versión formalizada del argumento ontológico para la existencia de Dios, una idea que originalmente se atribuye a San Anselmo de Canterbury en el siglo XI. El argumento ontológico es un argumento a priori que intenta demostrar la existencia de Dios a partir de definiciones y razonamiento lógico, sin recurrir a la experiencia empírica. San Anselmo lo formuló en el Proslogion, afirmando que Dios es «aquello mayor que lo cual nada puede ser pensado» y que, si podemos concebir tal ser, entonces debe existir no solo en la mente, sino también en la realidad, porque existir en la realidad es mayor que existir solo en la mente.
ARTÍCULO RELACIONADO: San Anselmo de Canterbury y el argumento ontológico (Juan Pérez Ventura, 2018)
Gödel, influenciado por su interés en la lógica modal (una rama de la lógica que se ocupa de conceptos como la posibilidad y la necesidad), creó un modelo matemático de este argumento utilizando un sistema de axiomas y definiciones dentro de la lógica modal. La formalización de Gödel del argumento ontológico se conoce como «Prueba ontológica de Gödel».
- Lógica modal: Gödel usó la lógica modal para formalizar el argumento, definiendo la existencia necesaria de un «Ser Supremo». En este contexto, un ser necesario es uno cuya no existencia es lógicamente imposible.
- Axiomas y definiciones: Gödel formuló una serie de axiomas que describen propiedades «positivas» que un «Ser Supremo» debería poseer. Basándose en estos axiomas, intentó demostrar que es lógicamente necesario que un ser con todas las propiedades positivas exista.
- Formalización Matemática: La formalización de Gödel es un ejercicio lógico y matemático que sigue las reglas de la lógica modal para llegar a la conclusión de la existencia necesaria de un Ser Supremo.
Es importante entender que la formalización de Gödel no se puede considerar una «prueba» de la existencia de Dios en un sentido empírico o científico. Más bien, es una demostración dentro de un sistema lógico formal basado en ciertos axiomas y supuestos. Si uno acepta los axiomas y las reglas de inferencia que Gödel utiliza, entonces la conclusión sigue lógicamente. Sin embargo, los axiomas en sí mismos pueden ser cuestionados o no aceptados universalmente.
La «prueba» de Gödel es más un ejercicio en la lógica formal que una prueba definitiva de la existencia de un ser divino. Algunos críticos argumentan que la lógica formal puede llevar a conclusiones que no son aplicables al mundo real si los axiomas no reflejan la realidad. Otros filósofos y matemáticos han encontrado tanto interés como limitaciones en el enfoque de Gödel, y su trabajo ha inspirado debates en la filosofía de la religión, la metafísica y la lógica.
ARTÍCULO RELACIONADO: Si Dios no existe, ¿está todo permitido? Reflexión sobre el nihilismo y el existencialismo de la mano de Dostoyevski y los hermanos Karamázov (Juan Pérez Ventura, 2022)
