Remarks on Hilbert’s Program for the Foundation of Mathematics

Aunque se trata de un libro de texto, su enfoque no es el habitual dentro de la filosofía de las matemáticas. En lugar de centrarse en las cuestiones filosóficas abstractas del programa de Hilbert, se sumerge en las herramientas y construcciones técnicas que surgen directamente de estos debates, presentando la lógica matemática como un conjunto de problemas y soluciones prácticas, a menudo obviado en las discusiones puramente filosóficas.

Mientras que el programa de Hilbert buscaba un fundamento axiomático y constructivo para las matemáticas, la teoría de categorías ofrece una perspectiva estructural, analizando las relaciones entre los objetos matemáticos más que los objetos en sí. Este enfoque presenta una alternativa 'no obvia' a la fundamentación, cuestionando la primacía de un único sistema axiomático y sugiriendo una fundamentación más flexible y general.

Este libro se conecta profundamente con el espíritu del programa de Hilbert al abordar directamente la 'crisis' que Hilbert buscaba resolver. Girard no solo relata la historia, sino que ofrece una crítica filosófica de las soluciones propuestas y sugiere nuevas direcciones para la teoría de la prueba, compartiendo la misma búsqueda de rigor y claridad en los fundamentos de las matemáticas, incluso si sus conclusiones difieren.

Aunque no trata directamente con el programa de Hilbert, el 'Tractatus' comparte una preocupación filosófica profunda con la claridad y los límites del lenguaje y el pensamiento. Hilbert buscaba un lenguaje formal inequívoco para las matemáticas que eliminara la ambigüedad y la intuición dudosa, un eco de la búsqueda de Wittgenstein por establecer las condiciones de la representación lógica y la verdad, aunque aplicado a un dominio diferente.

Heyting fue un discípulo de Brouwer y uno de los principales desarrolladores del intuicionismo post-Brouwer. Su trabajo es central al debate sobre los fundamentos de las matemáticas que motivó el programa de Hilbert. Recomendar a Heyting, en lugar del propio Brouwer o de textos más conocidos sobre las reacciones al intuicionismo, ofrece una perspectiva más profunda de la corriente de pensamiento que Hilbert intentaba contender.

Este ensayo seminal comparte con el programa de Hilbert una preocupación estructural por sentar las bases de la aritmética de manera rigurosa y libre de intuiciones psicológicas. Ambas obras buscan una fundamentación 'desde abajo', estableciendo los principios más básicos a partir de los cuales se puede construir todo el sistema. Aunque sus soluciones difieren (logicismo de Frege vs. formalismo de Hilbert), la estructura de su proyecto fundacional es paralela.