Die Grundlagen der Geometrie: Vorbereitung für Algebra und Analysis

Douglas Hofstadter·1979·no ficcion

Mientras Hilbert buscaba fundamentar la geometría axiomáticamente, Hofstadter explora las ramificaciones de los sistemas formales y la autorreferencia en la mente, el arte y las matemáticas. Ambos abordan la estructura subyacente de la lógica y el conocimiento, pero Hofstadter lo hace desde una perspectiva más lúdica y transdisciplinar, extendiendo la idea de sistemas formales a dominios inesperados más allá de la geometría.

John Searle·1995·filosofia

Hilbert, mediante axiomas, sentó las bases para la 'realidad' de la geometría euclidiana, un sistema formal que construye verdades a partir de supuestos básicos. Searle, de forma no obvia, hace algo similar pero para los fenómenos sociales: cómo la 'realidad' de instituciones, roles y valores se construye a partir de acuerdos y declaraciones performativas, y cómo estos, a pesar de no existir 'físicamente', funcionan como verdades objetivas dentro de nuestro marco social. La conexión es sobre la construcción de la realidad a partir de fundamentos, sean estos axiomas matemáticos o acuerdos sociales.

Ludwig Wittgenstein·1921·filosofia

Ambos trabajos son intentos monumentales de establecer los límites y los fundamentos de un dominio. Hilbert buscó un fundamento axiomático riguroso para la geometría, estableciendo qué es permisible y qué no. Wittgenstein intentó un proyecto similar para el lenguaje y el pensamiento, buscando determinar la estructura lógica de la proposición y los límites del sentido. Comparten una profunda preocupación por la claridad, la estructura lógica y la reducción a los elementos más básicos para comprender un sistema.

Bertrand Russell, Alfred North Whitehead·1910·no ficcion

Hilbert en 'Die Grundlagen der Geometrie' es un pilar de la fundación axiomática de la geometría. 'Principia Mathematica' es el equivalente para toda la matemática, un intento heroico de reducirla a principios lógicos fundamentales. Ambos libros encarnan la corriente fundacionalista de las matemáticas de principios del siglo XX, buscando asegurar la coherencia y la completitud a través de la axiomatización. Comparten la misma arquitectura de pensamiento en su búsqueda de certidumbre y rigor absoluto a través de sistemas formales.

Edmund Husserl·1900·filosofia

Mientras Hilbert buscaba los fundamentos de la geometría de manera axiomática y formal, Husserl, un contemporáneo, se embarcó en un proyecto similar pero para el conocimiento en general, buscando los 'fundamentos' de la lógica y la experiencia a través de la fenomenología. Ambos están preocupados por la estructura subyacente y los elementos esenciales de lo que se percibe como verdad o realidad. La obra de Husserl, aunque influyente, es menos accesible en el circuito anglosajón popular que los libros de lógica matemática directa.

Karl Popper·1934·no ficcion

Al igual que Hilbert busca establecer un sistema riguroso y una metodología para la geometría, Popper propone un método riguroso para la ciencia en general. Ambos abordan la cuestión de la validez y el método para construir conocimiento fiable. Popper, siendo un filósofo vienés, ofrece una perspectiva que, aunque influyente, no siempre se asocia directamente con la tradición de los fundamentos matemáticos de Hilbert y puede considerarse 'obscura' para una audiencia centrada puramente en lo matemático.

Georg Henrik von Wright·1963·filosofia

Al igual que Hilbert establece los fundamentos formales y axiomáticos para la geometría, von Wright hace lo propio para la lógica deóntica (la lógica de la norma). Ambos libros comparten una estructura de construir un sistema formal a partir de un conjunto de axiomas o principios básicos para entender un dominio particular del conocimiento (sea la geometría o las normas morales/legales). La metodología de la construcción axiomática y la deducción es la similitud estructural clave.

A. J. Ayer·1936·filosofia

La obra de Ayer, aunque de diferente ámbito (filosofía analítica y empirismo lógico), comparte con la de Hilbert una profunda preocupación por la búsqueda de fundamentos y criterios de validez. Ambos intentan construir un sistema de conocimiento riguroso, mediante la definición clara de los elementos válidos (axiomas en Hilbert, proposiciones verificables en Ayer) y la exclusión de lo que no cumple esos criterios. La estructura es la de la construcción de un marco conceptual desde una serie de principios rectores para discernir lo significativo de lo no significativo.