La fundación de la aritmética

Douglas Hofstadter·1979·filosofia

Aunque no es un tratado formal de fundamentos matemáticos, Hofstadter aborda la autorreferencia y los límites de los sistemas formales, ecos directos del programa de Hilbert y las refutaciones de Gödel, pero desde una perspectiva mucho más amplia y humanística, desvelando la conexión profunda de estos conceptos con la conciencia y la creatividad.

Morris Kline·1953

Mientras que Hilbert buscaba fundamentar la matemática en principios axiomáticos, este libro ofrece una mirada "pre-fundacional" a cómo se hacía y entendía la matemática en una cultura antigua. Es no obvio porque nos obliga a reconsiderar qué significa "fundamentar" la aritmética cuando los propios conceptos de demostración o sistema formal aún no existían, contrapunto histórico a la ambición de Hilbert.

Ludwig Wittgenstein·1921·no ficcion

Hilbert buscaba los fundamentos de la matemática, Wittgenstein, en el Tractatus, buscaba los fundamentos del lenguaje y el pensamiento. Ambos están obsesionados con la rigurosidad, la estructura formal y la demarcación de lo que puede entenderse o probarse, compartiendo una profunda preocupación por la consistencia y la coherencia interna de un sistema de conocimiento.

Gottlob Frege·1884·filosofia

Frege y Hilbert compartieron el mismo objetivo fundamental: establecer las bases de la aritmética con rigor absoluto. Las ideas de Frege, aunque anteriores y con un enfoque logicista en lugar de formalista, son un diálogo directo con la misma problemática, buscando la naturaleza de los números. Un libro es una respuesta al otro, aunque no siempre directa; ambos buscan la verdad fundacional de las matemáticas.

Jean Cavaillès·1938·filosofia

Cavaillès, un filósofo francés de las matemáticas, ofrece una crítica profunda a las corrientes fundacionales del siglo XX (incluido el programa de Hilbert) desde una perspectiva histórica y estructuralista, muy influyente en la filosofía continental pero menos conocida en el ámbito anglófono. Dialoga con las mismas inquietudes sobre la objetividad y la consistencia de las matemáticas, pero desde un marco conceptual distinto.

Wang Hao·1977·filosofia

Wang Hao, una figura crucial en la lógica matemática del siglo XX, ofrece perspectivas únicas sobre los fundamentos de las matemáticas, directamente influenciado por Gödel y en diálogo constante con el legada de Hilbert. Su trabajo es menos difundido que el de sus contemporáneos occidentales, pero es fundamental para comprender las derivaciones y evoluciones de las ideas fundacionales después de Hilbert.

Alfred North Whitehead y Bertrand Russell·1910·filosofia

La estructura del Principia Mathematica se asemeja al espíritu del programa de Hilbert en su ambiciosa formalización y axiomatización. Es un intento exhaustivo de construir la matemática desde sus cimientos lógicos, usando una notación simbólica extremadamente detallada para asegurar la consistencia y eliminar ambigüedades, un objetivo compartido con la visión formalista de Hilbert.

Jean van Heijenoort·1967

Este libro tiene una estructura particular que presenta los textos originales de los principales lógicos (incluyendo a Hilbert y sus contemporáneos), permitiendo al lector ver directamente cómo se construyeron los argumentos y los sistemas formales. No es un argumento lineal, sino una secuencia de piezas fundacionales que, en conjunto, delinean la estructura evolutiva de la búsqueda de los fundamentos, similar al "andamiaje" de Hilbert.