Lecturas sobre los fundamentos de las matemáticas y la física: 1961-1969

Aunque no es directamente sobre lógica formal o fundamentos, Hofstadter investiga profundamente los meta-niveles y las autorreferencias que son centrales en los teoremas de incompletitud de Gödel, un pilar que Paul Cohen también aborda implícita o explícitamente en sus trabajos sobre la independencia de la hipótesis del continuo. La conexión es sobre la naturaleza de los sistemas formales y sus límites, no solo sus propiedades técnicas.

Mientras Cohen se centra en la lógica y la fundamentación de las matemáticas, Penrose, un matemático-físico, aborda los límites fundamentales de la física, especialmente en su aplicación a la cosmología y la mecánica cuántica. Ambos autores exploran las 'fundaciones' de sus respectivos campos, cuestionando los principios básicos y utilizando la lógica y la matemática de alto nivel para discernir la naturaleza de la realidad, aunque desde ángulos diferentes.

El trabajo de Cohen, al demostrar la independencia de la hipótesis del continuo, expone los límites fundamentales de lo que puede ser probado dentro de ciertos sistemas axiomáticos. De manera similar, Nietzsche, desde la filosofía, está desmantelando la idea de una verdad absoluta e independiente del observador. Ambos cuestionan la 'fundamentación' de sus respectivos dominios, Cohen mostrando que la 'verdad' matemática puede ser relativa a los axiomas, y Nietzsche que la verdad lingüística es una construcción humana. La conexión es la crítica a la búsqueda de fundamentos absolutos.

El objetivo de Wittgenstein en el Tractatus es establecer los límites de la lógica y el lenguaje para clarificar qué se puede decir con sentido y qué no. Esto resuena profundamente con la problemática de Cohen, quien en sus 'Lecturas' también está examinando los límites y el alcance de los sistemas formales en matemáticas y física. Ambos autores enfrentan, desde ángulos distintos (uno con la lógica filosófica del lenguaje, otro con la lógica matemática y sus aplicaciones), la cuestión fundamental de '¿qué podemos saber y qué es lo que es inherentemente incognoscible o indecidible dentro de un marco dado?'.

Aunque Frege es una figura fundamental en la lógica, sus trabajos específicos sobre los fundamentos de la aritmética, que preceden a los grandes debates del siglo XX y son una influencia silenciosa detrás de muchos de ellos, son menos leídos directamente que mencionados. Cohen se sitúa más tarde en la misma tradición de 'fundamentos de las matemáticas', pero Frege representa un intento fundacional anterior y crucial para entender la evolución de estas ideas y los problemas que Cohen abordaría.

Este ensayo de Rousseau, si bien no es sobre matemáticas o física, aborda 'fundamentos' de una manera análoga: ¿cómo surgen los sistemas, las estructuras y las convenciones que dan forma a nuestra comprensión del mundo? Rousseau lo hace para el lenguaje y la sociedad, Cohen (y sus contemporáneos) para la lógica y la matemática. La conexión reposa en la pregunta sobre los orígenes y la construcción de sistemas fundamentales que definen la realidad o el conocimiento. A menudo es menos estudiado que sus obras políticas.

Las 'Lecturas' de Cohen son una colección de textos sobre los fundamentos de las matemáticas y la física. El trabajo de Hilbert, en particular sus problemas de 1900, estableció la agenda para gran parte de la investigación en los fundamentos que Cohen más tarde abordaría. La similitud estructural reside en ser una compilación o un programa de investigación que define la problemática de un campo entero, en este caso, sentando las bases para las preguntas que otros, como Cohen, intentarían responder o demostrar su irresolución.

Al igual que las 'Lecturas' de Cohen abordan los cimientos de disciplinas específicas, el libro de Kuhn es un análisis de cómo se 'fundamenta' y se 're-fundamenta' el conocimiento científico en general. Ambos textos no se limitan a presentar teorías, sino que examinan el proceso y la lógica interna de cómo se establecen o deconstruyen las bases del conocimiento. La estructura es un meta-análisis sobre los fundamentos, uno sobre matemáticas/física y el otro sobre la ciencia en sí.