Sets, Relations, and Functions

Aunque no es un texto de lógica matemática pura, 'Gödel, Escher, Bach' profundiza en las ideas de recursión, auto-referencia y consistencia formal que son centrales en la lógica de las funciones, conjuntos y relaciones. Las conexiones no son directas pero abordan los principios fundamentales de la computación y la lógica desde una perspectiva interdisciplinar y filosófica, expandiendo la curiosidad sobre los límites de los sistemas formales.

Mientras que Davis's 'Sets, Relations, and Functions' sienta las bases lógicas, Folland's 'Real Analysis' aplica esos fundamentos a un dominio matemático más avanzado, mostrando cómo la teoría de conjuntos y funciones es indispensable para construir una teoría matemática sólida. Es una conexión no obvia porque la mayoría buscaría otro texto introductorio de lógica, pero este libro muestra las 'consecuencias' de esos fundamentos en un campo más amplio.

Este libro comparte la misma ambición filosófica profunda que 'Sets, Relations, and Functions': fundamentar las matemáticas en la lógica. Mientras que Davis introduce los conceptos básicos, 'Principia Mathematica' es el epitome de un intento exhaustivo y pionero por construir todo el edificio matemático sobre una base lógica rigurosa de conjuntos y relaciones, abordando directamente la naturaleza de la verdad matemática y su demostración.

Frege aborda la pregunta fundamental de qué son los números y cómo se relacionan con la lógica, lo cual es precursora de la teoría de conjuntos moderna. Su trabajo establece las bases filosóficas para la comprensión formal de los objetos matemáticos, como los conjuntos y las funciones. Ambos libros exploran la arquitectura del pensamiento matemático y sus orígenes lógicos.

Łukasiewicz, un lógico polaco prominente, contribuyó significativamente al entendimiento de los sistemas formales y la lógica polivalente. Sus trabajos sobre la teoría de conjuntos, aunque menos conocidos en el mundo anglosajón, ofrecen una perspectiva rigurosa y a menudo innovadora sobre los mismos conceptos tratados por Davis, pero desde una tradición lógica diferente y menos popularizada, priorizando la precisión y la formalización.

Robinson, un matemático de origen alemán, redefinió los fundamentos del cálculo utilizando conceptos lógicos avanzados que no eran ampliamente conocidos. Mientras Davis establece los fundamentos de conjuntos, relaciones y funciones, Robinson muestra cómo estos fundamentos pueden extenderse a la creación de nuevas herramientas matemáticas para resolver problemas antiguos, como la paradoja de los infinitesimales, utilizando la teoría de modelos.

Ambos libros tienen una estructura eminentemente formal y axiomática. El libro de Davis construye las matemáticas desde sus cimientos lógicos de manera rigurosa, mientras que Carnap hace lo mismo con la estructura del lenguaje mismo. Comparten la característica de establecer un sistema formal desde cero, definiendo sus elementos básicos, sus reglas de construcción y sus propiedades de manera exhaustiva y paso a paso.

La obra de Peano es un excelente ejemplo de la construcción axiomática rigurosa, similar en espíritu al enfoque de Davis en 'Sets, Relations, and Functions'. Ambos libros comparten la estructura de comenzar con un conjunto mínimo de axiomas y definiciones para derivar propiedades más complejas utilizando la lógica formal. La claridad y la concisión en la presentación de estos sistemas son una característica estructural común.