Sobre la Geometría No Euclidiana

Mientras Hilbert buscaba axiomatizar las matemáticas para fundar la geometría euclidiana y no euclidiana, Carnap, influenciado por los mismos debates sobre los fundamentos del conocimiento, busca un fundamento lógico para toda la ciencia. Ambos representan un intento sistemático y formal de construir conocimiento desde abajo, pero Carnap lo lleva a una escala mucho más ambiciosa y 'no obvia' fuera del campo matemático puro.

Aunque Hilbert se centró en la geometría, la preocupación subyacente por los 'fundamentos' y la axiomatización de las verdades matemáticas es compartida. Frege, anterior a Hilbert, realiza un esfuerzo similar por purificar y fundamentar la aritmética con rigor lógico, una preocupación análoga al intento de Hilbert de establecer una base sólida para la geometría, pero en un dominio diferente y con una perspectiva logicista pura.

Hilbert, al axiomatizar la geometría no euclidiana, cuestiona la intuición y la experiencia como fundamentos. Wittgenstein lleva esta preocupación al límite en el 'Tractatus', al explorar los límites del lenguaje y el pensamiento en sí, buscando los fundamentos de la significación. Ambos, desde campos distintos, se preguntan qué se puede decir y conocer con certeza, y cómo se estructura el conocimiento formal.

Hilbert, al formalizar la geometría no euclidiana, desafía las premisas kantianas sobre la necesidad de la geometría euclidiana como un conocimiento a priori universal. Este libro de Kant, aunque previo, es fundamental para entender el debate sobre la naturaleza del espacio y la posibilidad de verdades matemáticas. La conexión es profunda porque Hilbert responde indirectamente a la arquitectura filosófica de Kant, mostrando que las intuiciones a priori de Kant sobre el espacio no son las únicas posibles.

Aunque Searle es conocido en filosofía, este trabajo es menos 'popular' que otras recomendaciones para libros sobre constructos. Así como Hilbert demuestra que la geometría no euclidiana es lógicamente coherente y, por tanto, una construcción mental válida que amplía nuestra comprensión del espacio, Searle explora cómo estructuras complejas (sociales) se construyen a partir de elementos más básicos y convenciones humanas. Ambos libros desentrañan la construcción de sistemas de conocimiento o realidad desde sus fundamentos.

Hermann Weyl fue un matemático y físico alemán que interactuó con Hilbert. Su trabajo, aunque influyente entre los especialistas, es menos conocido por el público general fuera de la matemática pura o la física teórica. Este ensayo profundiza en el mismo formalismo que Hilbert defendió y aplicó, discutiendo sus implicaciones filosóficas. Ambos exploran cómo la formalización no es solo una herramienta, sino que define la naturaleza misma de las verdades matemáticas.

El libro de Hilbert sobre geometría no euclidiana es un diálogo directo con la estructura y las premisas de los 'Elementos de Euclides'. La estructura de ambos es axiomática-deductiva, partiendo de un conjunto mínimo de supuestos para construir un sistema lógico. Hilbert, al ofrecer una axiomatización alternativa, responde y reestructura el método euclidiano, mostrando cómo la alteración de un solo postulado ('el quinto postulado') conduce a un sistema geométrico completamente diferente, pero igual de coherente.

Al igual que 'Sobre la Geometría No Euclidiana', 'Principia Mathematica' es una obra fundacional que aborda la matemática desde una perspectiva estrictamente formal y axiomática. La estructura es de una deducción rigurosa de principios complejos a partir de axiomas elementales. Ambos libros son ejemplos de la cumbre del formalismo matemático de principios del siglo XX, buscando establecer la matemática sobre bases seguras y lógicas, aunque 'Principia' se centra en la lógica y la aritmética en lugar de la geometría.