Zum intuitionistischen Aussagenkalkül

Aunque no trata directamente con la lógica intuicionista, el 'Tractatus' de Wittgenstein comparte con Gödel una profunda preocupación por los fundamentos de la lógica y el lenguaje. La estructura axiomática y la búsqueda de una formalización completa y sin ambigüedades de la 'lógica del mundo' resuenan con los esfuerzos de Gödel por clarificar los sistemas lógicos.

Este trabajo es fundamentalmente anterior a los resultados intuicionistas y de incompletitud de Gödel, pero representa el mismo espíritu de rigor lógico y la exploración de los límites de los sistemas formales que caracterizan su obra posterior. Muestra la base de su pensamiento formalista antes de su crítica constructiva.

Este libro representa la fuente filosófica y matemática del intuicionismo que Gödel aborda en su artículo. Comprender los principios de Brouwer es esencial para apreciar la profundidad de la interpretación de Gödel y cómo su trabajo se posiciona en el debate entre el formalismo y el intuicionismo.

Lorenzen, matemático alemán, es una figura relevante en la lógica constructiva y el intuicionismo de la posguerra. Su obra es menos conocida en el ámbito anglosajón, pero ofrece una perspectiva fresca sobre los fundamentos de las matemáticas que se alinea con la corriente anti-formalista que el trabajo de Gödel ayudó a catalizar, aunque desde un enfoque distinto al de Brouwer.

Kleene, uno de los estudiantes de Church y figura central en el desarrollo de la teoría de la recursión, coeditó los 'Collected Works' de Gödel. Aunque en inglés, su obra es menos 'popular' para el público general, pero es una referencia académica indispensable que profundiza en temas directamente relacionados con los trabajos de Gödel, incluido el intuicionismo, desde una perspectiva técnica y exhaustiva.

Este trabajo, aunque de un año diferente, comparte con 'Zum intuitionistischen Aussagenkalkül' la misma estructura de un ensayo técnico y conciso que redefine los límites del conocimiento matemático y lógico. Ambos utilizan un enfoque riguroso y formal para explorar las propiedades inherentes de los sistemas lógicos y sus limitaciones.