Fundamentos de las Matemáticas

Donal O'Shea·2007·no ficcion

Mientras que Fundamentos de las Matemáticas aborda la estructura lógica y axiomática de las matemáticas en un sentido filosófico, este libro se centra en un problema específico y su resolución, mostrando la naturaleza dinámica y a menudo personal de la investigación matemática. Es 'nonobvious' porque se aleja de la reflexión abstracta para centrarse en un caso concreto de alto nivel.

Douglas R. Hofstadter·1979·no ficcion

Aunque Fundamentos de las Matemáticas establece un programa formalista para los cimientos de la disciplina, esta obra aborda las consecuencias y limitaciones de esa formalización de una manera interdisciplinar y artística, ofreciendo una perspectiva multifacética sobre dónde residen los 'fundamentos' de la cognición y el significado, algo que Hilbert no necesariamente previó en su programa. Es nonobvious por su aproximación tan creativa y transversal.

Thomas S. Kuhn·1962·filosofia

Fundamentos de las Matemáticas lidia con la búsqueda de una base sólida e inamovible para las matemáticas. Kuhn, de manera profunda, cuestiona esa misma noción de 'fundamento' universal y estático en la ciencia, sugiriendo que incluso las bases más sólidas son construcciones sociales y culturales sujetas a cambio radical, lo que resuena con los desafíos a los que Hilbert se enfrentó indirectamente con los teoremas de Gödel.

Ludwig Wittgenstein·1921·filosofia

Mientras Hilbert buscaba construir los fundamentos inexpugnables de las matemáticas desde una perspectiva formalista, Wittgenstein, en el Tractatus, profundiza en la raíz de lo que la lógica y las matemáticas pueden realmente 'decir'. Su enfoque, aunque muy diferente, comparte la misma preocupación fundamental por los límites y la naturaleza del conocimiento y la verdad dentro de marcos formales.

Max Horkheimer y Theodor W. Adorno·1947·filosofia

Aunque no directamente sobre matemáticas, esta obra es 'obscure' en el contexto de las recomendaciones anglosajonas de matemáticas y ofrece una perspectiva filosófica profunda y crítica. Si bien Hilbert ve en la formalización de las matemáticas una vía para la certeza y el progreso, La Dialéctica de la Ilustración cuestiona las consecuencias más amplias de esa misma tendencia de la modernidad hacia la sistematización y la racionalidad pura, advirtiendo sobre sus peligros inherentes.

Peter Sloterdijk·1999·filosofia

Sloterdijk es un filósofo alemán contemporáneo cuya obra es menos conocida en el mundo anglosajón. Su indagación en los 'espacios' y 'contornos' que definen la existencia resuena con la preocupación de Hilbert por los 'fundamentos' que delimitan una disciplina. Ambos buscan mapear y construir los límites de sus respectivos campos, aunque con herramientas y preocupaciones muy diferentes: Hilbert con la lógica-matemática, Sloterdijk con una ontología espacial y cultural.

Bertrand Russell y Alfred North Whitehead·1910·no ficcion

El Principia Mathematica presenta el intento más ambicioso y formalizado de establecer los fundamentos de las matemáticas a través de un sistema axiomático-deductivo riguroso. Su estructura es un ejemplo paradigmático de la formalización exhaustiva y simbólica que Hilbert buscaba en su propio programa, compartiendo la misma ambición de construir una base irrefutable, aunque difieren en sus enfoques filosóficos subyacentes (logicismo vs. formalismo).

Euclides·-300·no ficcion

Así como Hilbert en Fundamentos de las Matemáticas buscaba establecer un sistema axiomático completo y consistente para toda la matemática, Los Elementos de Euclides representan el arquetipo de este tipo de estructura. La obra de Euclides es el ejemplo más antiguo y exitoso de cómo se construye una disciplina a partir de axiomas y postulados, algo que Hilbert admiraba y quería aplicar de forma mucho más amplia.