Die Vollständigkeit der Axiome des intuitionistischen Zahlenkreises

Aunque no es un tratado de lógica formal, este libro se conecta de manera no obvia al explorar las profundas implicaciones de los Teoremas de Incompletitud de Gödel en la existencia de patrones, el significado y la autoconciencia en sistemas formales, lo que resuena con la búsqueda de completitud en sistemas axiomáticos.

Mientras Gödel se enfocaba en la completitud de sistemas axiomáticos 'estáticos', el cálculo lambda de Church, contemporáneo a los trabajos de Gödel, ofrece un enfoque alternativo y dinámico a los fundamentos de las matemáticas a través de la computabilidad, un pilar de la lógica que rara vez se asocia directamente con los teoremas de completitud, pero que es crucial para entender los límites de los sistemas formales.

Este libro representa el proyecto intelectual que Gödel, con su trabajo sobre la completitud y la incompletitud, puso a prueba. Comparte la misma ambición de establecer los fundamentos rigurosos de las matemáticas desde la lógica, lo que hace su conexión profundamente filosófica, mostrando el contexto y el desafío a la obra de referencia.

Aunque no trata directamente con matemáticas, este trabajo se conecta profundamente por la pregunta subyacente sobre la naturaleza del lenguaje y los sistemas formales. El trabajo de Gödel revela los límites internos de estos sistemas, mientras que Wittgenstein cuestiona la concepción misma de sus 'fundamentos' y cómo el lenguaje da forma a nuestra comprensión de la lógica y la verdad.

Este es el trabajo seminal en el que Gödel estableció su teorema de completitud para la lógica de primer orden. Aunque es fundamental, muchas veces se oscurece por sus teoremas de incompletitud posteriores. Su aparición en la Monatshefte für Mathematik y la naturaleza técnica lo hacen menos conocido entre un público amplio, pero es directamente relevante para entender los fundamentos de completitud.

Dado que el libro de referencia trata sobre la completitud en el 'zahlenkreises' (probablemente refiriéndose a los números enteros, en un contexto intuicionista), el trabajo de Heyting es fundamental. Heyting es menos reconocido fuera de los círculos especializados en lógica intuicionista, y su formalización ofrece una perspectiva crucial y a menudo olvidada sobre los intentos de fundamentar los números de manera alternativa a los enfoques clásicos que Gödel también exploraba.

Este trabajo utiliza una técnica de meta-matemática y auto-referencia similar en su rigor formal al que Gödel empleó para la completitud. En ambos casos, Gödel construye argumentos que hablan de la capacidad del sistema para probar cosas sobre sí mismo, utilizando lenguajes formales para explorar sus propios límites y propiedades inherentes. La sofisticación constructiva de la prueba es el foco.

La obra de Frege es un ejemplo paradigmático de la propuesta logicista de reducir las matemáticas a la lógica mediante la construcción formal de conceptos. El libro de Gödel, aunque mucho posterior, comparte el enfoque estructural de establecer correspondencias y pruebas dentro de un marco axiomático para delimitar la naturaleza de los 'números' o el 'zahlenkreises', utilizando una rigurosa argumentación paso a paso que intenta construir la verdad a partir de los axiomas.