Set Theory and the Foundations of Mathematics

Aunque no trata directamente de matemáticas, Kuhn reta la noción de fundamentos inmutables en un campo que se percibe como riguroso y objetivo, similar a cómo el trabajo de Cohen sobre la independencia del axioma de elección y la hipótesis del continuo desafió las bases 'evidentes' de la matemática y planteó la posibilidad de múltiples modelos coherentes de la realidad matemática.

Mientras que Cohen ataca los fundamentos de la teoría de conjuntos desde dentro de la lógica formal, Hofstadter expande las implicaciones de las ideas de Gödel (estrechamente relacionadas con los límites de los sistemas formales) a través de un prisma cultural y filosófico, mostrando cómo los bucles extraños y la autorreferencia son fundamentales en muchos sistemas complejos, incluidas las bases de la matemática.

Mientras que Cohen demuestra la independencia de ciertos axiomas, poniendo en tela de juicio la capacidad de la lógica para 'fundamentar' de manera unívoca toda la matemática, el 'Principia Mathematica' representa el cenit del programa logicista de fundamentación, proporcionando un contraste ideológico fundamental y una base histórica necesaria para entender los problemas que Cohen buscó resolver.

El libro de Kleene, aunque exhaustivo y técnico, se sumerge en las mismas preguntas sobre la consistencia, la completitud y la decidibilidad de los sistemas formales que el trabajo de Cohen aborda. Ambos autores exploran la estructura de la demostración y la validez dentro de las matemáticas, proporcionando un marco esencial para entender los límites de la formalización.

Este libro, aunque es una colección más amplia, incluye discusiones sobre las bases de la matemática desde una perspectiva latinoamericana, brindando una visión menos común en el circuito anglosajón. Ofrece una mirada a cómo las discusiones fundamentales, como las planteadas por Cohen, resuenan en comunidades de investigación menos visibles globalmente.

Este libro ofrece una perspectiva didáctica sobre la teoría de conjuntos desde un autor español, que si bien no es 'obscuro' per se, su visibilidad global es menor comparada con los textos estándar anglosajones. Se centra directamente en el tema de Cohen: la teoría de conjuntos, proporcionando el marco conceptual detallado de manera similar pero con un enfoque geográfico distinto.

Aunque anterior a Cohen, este trabajo es fundamental para entender la estructura de la argumentación sobre los fundamentos de la matemática. Frege emplea una meticulosa construcción axiomática y una definición rigurosa de conceptos básicos, un enfoque estructural similar al de Cohen, aunque con un objetivo opuesto: establecer un fundamento sólido en lugar de exponer sus límites o múltiples interpretaciones.

La obra de Bourbaki es un ejemplo paradigmático de la construcción axiomática formal en las matemáticas, un estilo estructural que Cohen utiliza para atacar las bases de esa misma formalización. Ambos parten de la idea de axiomas, propiedades y reglas lógicas, pero Cohen demuestra la independencia de ciertos axiomas, revelando la flexibilidad inherente a esta construcción que Bourbaki pretendía unificar rigurosamente.