La concepción formalista de las matemáticas

Mientras Hilbert se enfoca en la axiomatización formal de las matemáticas, este libro profundiza en las implicaciones metafísicas y filosóficas de la formalización y la recursión, tocando temas como los teoremas de incompletitud de Gödel, que desafían el ideal del formalismo completo de Hilbert, pero desde una perspectiva mucho más amplia y humanística.

Este trabajo comparte con la concepción formalista de Hilbert el objetivo fundamental de establecer los fundamentos de las matemáticas sobre una base lógica rigurosa y axiomática, buscando la inconsistencia y la completitud. Aunque el enfoque es logicista en lugar de estrictamente formalista como Hilbert, la ambición de un sistema unificado y auto-contenido es idéntica.

Este libro explora la construcción de sistemas numéricos a partir de principios axiomáticos y reglas simples, un eco profundo de la preocupación de Hilbert por la fundamentación y formalización de las matemáticas. Conway demuestra cómo conceptos matemáticos complejos pueden surgir de definiciones básicas, reflejando el espíritu del método axiomático de Hilbert aplicado a la creación de nuevas estructuras matemáticas.

Manin, un distinguido matemático ruso, aborda los fundamentos de las matemáticas, un tema central para Hilbert. Sin embargo, su perspectiva incorpora desarrollos posteriores como la teoría de categorías y considera las limitaciones inherentes a los sistemas formales, ofreciendo una visión más contemporánea y crítica del formalismo que la propia de Hilbert, pero en el mismo campo de estudio.

Aunque no es un texto de filosofía de la matemática en sentido estricto, Piaget explora la génesis de las estructuras lógicas y matemáticas en la mente humana. Esto se conecta de manera no obvia con Hilbert al abordar dónde reside la 'verdad' de los fundamentos matemáticos: ¿innata, construida, o puramente formal? Piaget ofrece una perspectiva empírica sobre cómo la mente construye la 'geometría' y el 'número' a un nivel fundamental, contrastando con el enfoque puramente abstracto de Hilbert.

El 'Tractatus' de Wittgenstein, aunque abarca un campo más amplio que las matemáticas, comparte una ambición estructural similar a la de Hilbert: la de construir un sistema completo y sin fisuras para delimitar lo que puede ser dicho (o probado). La obra está construida de forma axiomática con proposiciones numeradas y jerárquicas que se construyen unas sobre otras, evidenciando una preocupación por la formalidad y la consistencia en la exposición de ideas, comparable al rigor de Hilbert en su axiomatización de la geometría [digibuo.uniovi.es](https://digibuo.uniovi.es/dspace/handle/10651/72656?show=full).