Los fundamentos de la matemática

Mientras Gödel aborda los límites inherentes a los sistemas formales y la capacidad de la razón para aprehender 'todas las verdades', Berger y Luckmann examinan una limitación similar en la construcción de la realidad social y el conocimiento. Ambos libros, desde campos muy distintos, plantean que hay estructuras subyacentes (lógicas o sociales) que, aunque creadas por el ser humano, operan con una autonomía que puede escapar a su plena comprensión o control. La conexión "nonobvious" reside en explorar, desde lo estrictamente lógico-matemático a lo social-filosófico, la idea de que aquello que percibimos como 'realidad' o 'verdad' está intrínsecamente ligado a los sistemas (formales o sociales) que lo sustentan y sus inevitables limitaciones.

La obra de Gödel desafió la visión de que un sistema formal podía ser completo y consistente en sí mismo, revelando límites fundamentales en nuestra capacidad de establecer verdades axiomáticas. De manera análoga, Ryle desafía una visión fundamentalmente arraigada sobre la mente, aquella que la separa del cuerpo, mostrando que esta concepción tradicional genera paradojas y confusiones. Ambos autores operan una "limpieza" conceptual, Gödel en los cimientos de las matemáticas y Ryle en los de la filosofía de la mente, desmontando asunciones que parecían obvias pero que al ser examinadas formalmente o lógicamente, revelan sus inconsistencias o limitaciones inherentes. La conexión es no-obvia, ya que vincula la lógica matemática con la filosofía analítica del lenguaje para desvelar los límites de la comprensión humana de sistemas complejos, sean éstos matemáticos o mentales.

Gödel, con sus teoremas de incompletitud, demostró los límites intrínsecos de los sistemas formales, revelando que ciertas verdades matemáticas no pueden ser formalmente demostradas dentro del propio sistema. Wittgenstein, por su parte, en el ámbito de la filosofía del lenguaje y la lógica, investiga los límites del lenguaje mismo y lo que puede ser expresado significativamente. Ambos pensadores, aunque con diferentes herramientas y objetivos, se enfrentan a la noción de límites fundamentales: Gödel a los de la deductibilidad dentro de un sistema y Wittgenstein a los de la expresabilidad lógica y el sentido, compartiendo una profunda preocupación por la estructura subyacente del conocimiento y sus constricciones. En última instancia, ambos nos fuerzan a aceptar que hay "cosas de las que no se puede hablar" o "cosas que no pueden demostrarse formalmente" en ciertas condiciones sistémicas.

Los teoremas de Gödel representaron una "revolución" en los fundamentos de las matemáticas, al mostrar que los paradigmas existentes sobre la completitud y consistencia de los sistemas formales eran insuficientes. Aunque Kuhn lo aplica a la ciencia empírica, la esencia de la ruptura paradigmática es similar: la aparición de anomalías o limitaciones cruciales (como las verdades indecibles de Gödel) que obligan a una reevaluación profunda y a la eventual adopción de un nuevo marco conceptual que altere fundamentalmente lo que se considera 'conocimiento' o 'demostrabilidad'. Ambos libros lidian con los "límites" de los sistemas de conocimiento y las profundas implicaciones cuando esos límites son alcanzados.

Gödel fue profundamente influenciado por el programa logicista de Frege y Russell, aunque finalmente sus teoremas de incompletitud demolieron algunas de sus aspiraciones más ambiciosas sobre la fundamentación completa de las matemáticas en la lógica. Leer a Frege ofrece una comprensión directa del "mundo" intelectual y los problemas que Gödel buscaba abordar y refutar parcialmente. Aunque Frege es un autor clásico, fuera de la filosofía analítica es relativamente desconocido en comparación con otros filósofos, lo cual se ajusta a la pauta “obscure” de este ejercicio. Su influencia fue silenciosa e inversamente proporcional a su reconocimiento popular. [arbor.revistas.csic.es](https://arbor.revistas.csic.es/index.php/arbor/article/download/113/114/116)

Tarski, contemporáneo y colega de Gödel, abordó problemas relacionados con la consistencia y la completitud desde la perspectiva de la verdad en los sistemas formales, ofreciendo una solución a la paradoja del mentiroso que es crucial para entender el contexto de las investigaciones de Gödel. El trabajo de Tarski es fundamental en la lógica matemática, pero fuera de ese campo es menos conocido que el de Gödel, a pesar de su enorme importancia. La numeración de Gödel para la autorreferencia y la jerarquía de lenguajes de Tarski son soluciones paralelas a los desafíos lógicos de la autorreferencia y la verdad, haciéndolos compañeros intelectuales ineludibles. [es.wikipedia.org](https://es.wikipedia.org/wiki/Kurt_G%C3%B6del)

Aunque de contenido radicalmente diferente, este libro comparte con los 'Fundamentos de la Matemática' de Gödel una estructura orientada a desentrañar ideas complejas (sean teoremas lógicos o teorías cosmológicas) para un público más amplio. Ambos trabajos, aunque complejos, buscan presentar argumentos técnicos de manera que sus implicaciones fundamentales sean comprensibles, utilizando recursos didácticos y un estilo que guía al lector a través de argumentos intrincados. Si la obra de Gödel es una demostración rigurosa de límites fundamentales, la de Hawking es una exploración de los límites físicos y teóricos del universo; ambos son ejercicios de divulgación científica de alto nivel. [es.wikipedia.org](https://es.wikipedia.org/wiki/Fundamentos_de_la_matem%C3%A1tica)

Aunque es una novela y el libro de referencia es un ensayo, la conexión es puramente estructuralmente. Gödel utiliza una forma de autorreferencia en sus teoremas de incompletitud, donde una proposición en el sistema habla de su propia demostrabilidad. 'La broma infinita' emplea una estructura compleja y autorreferencial, con digresiones y notas al pie que actúan como "metatextos" dentro de la narrativa principal, a menudo comentando sobre la propia historia o los mecanismos de la narración, generando un efecto de 'bucle' similar a la lógica gödeliana. La naturaleza intrincada y a veces laberíntica de su construcción literaria resuena con la arquitectura de un argumento lógico que se dobla sobre sí mismo. La obra literaria, en su ambición de totalidad y su eventual incompletitud, simula el desafío de los sistemas formales.