Los fundamentos de su formalismo

Douglas Hofstadter·1979·no ficcion

Aunque no es un tratado formal de lógica o matemáticas, Hofstadter aborda la autorreferencia, la recursión y los problemas de la incompletitud gödeliana con una accesibilidad y creatividad que pocos textos académicos logran. Se distancia de la árida presentación de los problemas fundacionales al tiempo que profundiza en sus implicaciones.

Moritz Schlick·1930·no ficcion

Mientras Hilbert buscaba un fundamento formalizable para las matemáticas, el Círculo de Viena, con Schlick a la cabeza, buscaba un fundamento empíricamente verificable para todo el conocimiento científico. Ambos movimientos surgieron de la misma inquietud por la certeza y la eliminación de ambigüedades, aunque sus métodos y dominios fueran distintos.

Ludwig Wittgenstein·1921·filosofia

Hilbert buscaba la fundamentación de las matemáticas a través de un formalismo riguroso. Wittgenstein, en el Tractatus, persigue una fundamentación radicalmente lógica del lenguaje mismo, creyendo que los problemas filosóficos surgen de la incomprensión de la lógica del nuestro lenguaje, abordando la misma inquietud por la claridad y el fundamento último, pero en el ámbito del lenguaje y la filosofía.

Gottlob Frege·1884·no ficcion

Frege y Hilbert compartieron el objetivo de fundamentar las matemáticas, aunque con enfoques diferentes. Hilbert abogó por el formalismo, mientras que Frege intentó reducir la aritmética a la lógica. Ambos se preocupaban profundamente por la coherencia y la ausencia de paradojas en los cimientos de las matemáticas, buscando un fundamento indudable para el conocimiento matemático.

L. E. J. Brouwer·1907·no ficcion

Mientras Hilbert impulsaba el formalismo, Brouwer fue una figura controvertida y crítica, defendiendo el intuicionismo, que se oponía radicalmente a la visión formalista de Hilbert. Recomendar a Brouwer es explorar una perspectiva fundamentalmente opuesta a Hilbert pero que forma parte del mismo debate sobre la naturaleza y los fundamentos de las matemáticas, un debate crucial pero menos divulgado que el formalismo puro.

Hans Reichenbach·1938·no ficcion

Reichenbach, aunque más centrado en la física y la teoría de la probabilidad, pertenece a la misma corriente de pensamiento lógico-analítico que buscaba fundamentar el conocimiento. Si bien Hilbert se enfoca en las matemáticas, Reichenbach aplica un rigor similar al de la ciencia empírica, abordando problemas de fundamento y validez, pero desde una perspectiva que no suele ser la primera opción en listas de lecturas sobre lógicas fundacionales.

Alfred North Whitehead, Bertrand Russell·1910·no ficcion

Al igual que 'Los fundamentos de su formalismo' presenta un enfoque sistemático y axiomático, 'Principia Mathematica' es el epítome de una obra que busca construir un sistema completo y sin fisuras desde sus cimientos lógicos. Ambos libros comparten la estructura de un desarrollo deductivo, donde cada afirmación se justifica a partir de axiomas y reglas preestablecidas, presentando un proyecto de formalización exhaustiva.

Edmund Husserl·1900·filosofia

Aunque Husserl no es un formalista matemático, sus 'Investigaciones Lógicas' comparten una estructura de análisis riguroso y sistemático para sentar las bases del conocimiento. De manera similar a Hilbert buscando axiomas y reglas para la demostración, Husserl busca intuiciones y estructuras esenciales (eidéticas) que sustenten la lógica y la experiencia, presentando una disección metódica y fundacional de su objeto de estudio.