Sobre las bases de la matemática

Aunque no es un tratado de lógica formal, este libro aborda las implicaciones filosóficas del teorema de incompletitud de Gödel, un concepto central en el debate sobre los fundamentos de las matemáticas iniciado por Hilbert. Examina la recursividad y la autorreferencia de maneras creativas que van más allá de una exposición puramente matemática.

Mientras Hilbert buscaba fundar las matemáticas en un sistema axiomático universal, Humboldt buscaba un principio unificador en la naturaleza. Ambos persiguieron una arquitectura fundamental subyacente a sus respectivos campos de estudio, compartiendo una ambición por la comprensión total, aunque en dominios radicalmente diferentes. Es un 'nonobvious' porque conecta la búsqueda de fundamentos en las matemáticas con la búsqueda similar de fundamentos en la ciencia natural.

Wittgenstein fue contemporáneo y crítico del programa de Hilbert, compartiendo una profunda preocupación por los fundamentos de la lógica y la validez del conocimiento. Aunque sus conclusiones difieren radicalmente, ambos se sumergen en las mismas preguntas fundamentales sobre la naturaleza de la verdad, la consistencia y la capacidad del lenguaje (simbólico o natural) para representar la realidad.

Este es el proyecto colosal que Hilbert buscaba justificar y defender con su programa formalista. Ambos libros comparten la misma ambición de fundar las matemáticas en una base lógica sólida y sin contradicciones, abordando la misma problemática central de la consistencia y la completitud de los sistemas formales, aunque con metodologías y énfasis ligeramente diferentes.

Thom, un matemático francés conocido por la Teoría de Catástrofes, ofrece una visión profunda y menos conocida sobre cómo las matemáticas interactúan con el mundo físico y la cognición, alejándose de los debates fundacionales clásicos pero extendiendo la reflexión sobre la 'realidad' matemática que Hilbert también exploró desde su perspectiva formalista. Es un enfoque 'obscure' por ser un matemático no anglosajón y menos canonizado en la filosofía de la matemática de habla inglesa.

Este volumen es una reflexión directa sobre el legado del propio trabajo de Hilbert, pero desde una perspectiva de matemáticos soviéticos, lo que lo hace menos conocido en las publicaciones occidentales tradicionales. Aborda la repercusión de los 'Problemas de Hilbert' en el desarrollo de la matemática, que eran parte integral de su programa fundacional para las matemáticas.

Al igual que el libro de Hilbert, este texto es una obra de no ficción que discurre sobre la naturaleza y los fundamentos de la matemática. Comparte una estructura didáctica y sistemática, presentando conceptos complejos de forma secuencial y argumentativa, aunque con la claridad expositiva propia de un manual universitario, similar al estilo de Hilbert en su búsqueda de rigor y axiomatización.

Frege, aunque anterior y con un programa logicista diferente al formalismo de Hilbert, es una figura clave en la búsqueda de los fundamentos de las matemáticas. Comparte la estructura de una obra filosófico-matemática que deconstruye y reconstruye conceptos básicos (como el número) desde sus bases más primarias, buscando una fundamentación rigurosa y axiomática, una preocupación estructural que es central en el trabajo de Hilbert.