Los Fundamentos de la Mathesis (Grundgesetze der Arithmetik)

Mientras 'Los Fundamentos de la Mathesis' se enfoca en la formalización de la aritmética, este libro ofrece una perspectiva 'no obvia' al rastrear la invención de otra rama fundamental de las matemáticas, el álgebra, mostrando cómo ideas aparentemente dispares convergen en sistemas axiomáticos complejos. La conexión no es directa en el tema (aritmética vs. álgebra) sino en el proceso de creación y formalización de sistemas matemáticos.

Mientras Dedekind buscaba fundar la aritmética en la lógica, este libro aborda un tema 'no obvio' que surgió directamente de esos esfuerzos de fundamentación: la teoría de conjuntos. Aunque la conexión es temática, la profundidad y el ángulo de Zellini en los desafíos filosóficos de la teoría de conjuntos, en lugar de una mera exposición, la hacen menos predecible. Es 'no obvia' porque analiza cómo el infinito, un concepto que reside en la base de las matemáticas modernas, no es tan elemental como se podría pensar, sino que requirió complejos 'fundamentos' propios.

Comparte con Dedekind una preocupación filosófica profunda por los 'fundamentos', no solo de la aritmética sino de las matemáticas y la lógica en general. Ambos autores, aunque con métodos y conclusiones distintas, interrogan la naturaleza de la certeza, la construcción del significado y los límites de lo que puede ser 'demostrado' o 'definido' axiomáticamente, buscando una comprensión subyacente de la estructura del pensamiento matemático.

Aunque no se centra en la aritmética, comparte una profunda afinidad filosófica con Dedekind en el intento de construir un sistema de conocimiento de manera rigurosa y axiomática, partiendo de elementos fundamentales. Si Dedekind busca los 'fundamentos' de la aritmética a partir de la lógica, Carnap busca los 'fundamentos' del conocimiento empírico y científico a partir de la experiencia y la lógica, reflejando una misma aspiración a la certeza y la claridad formal.

Este libro de un autor alemán poco difundido en el mundo anglosajón conecta con 'Los Fundamentos de la Mathesis' al profundizar en la naturaleza de los conceptos matemáticos. Si Dedekind los define desde la lógica, Becker los explora desde una perspectiva fenomenológica, analizando la constitución de 'esencias' y 'formas' que subyacen a los sistemas formales, ofreciendo una lectura menos común sobre la 'fundamentación'.

Cavaillès, un autor francés conocido en círculos especializados pero 'oscuro' para el gran público hispanohablante, ofrece una crítica y una reconstrucción de la historia de los conceptos matemáticos. Su obra se conecta con Dedekind al interrogar cómo se 'constituyen' los objetos (como los números y sus relaciones) y sistemas en matemáticas, lo que es central en 'Los Fundamentos de la Mathesis', pero desde una perspectiva epistemológica e histórica francesa distinta de la tradición analítica germana.

Comparte con 'Los Fundamentos de la Mathesis' una estructura 'lógico-deductiva' y un método axiomático riguroso para la fundamentación de las matemáticas. Ambos proyectos aspiran a construir la aritmética (y más allá) a partir de un conjunto mínimo de principios, utilizando simbología formal y demostración paso a paso, buscando la consistencia y completitud del sistema de una manera que es eminentemente estructural al modo de operar de Dedekind.

Aunque 'Investigaciones Lógicas' es filosófico, comparte una estructura 'fundacional' y 'analítica' con 'Los Fundamentos de la Mathesis'. Dedekind explora las operaciones elementales y las relaciones lógicas para construir la aritmética de abajo hacia arriba. De manera similar, Husserl busca las 'estructuras lógicas' y la génesis de los conceptos a través de un análisis riguroso y paso a paso de la experiencia y la conciencia, intentando establecer las bases firmes para todo el conocimiento, incluidas las matemáticas, desde los elementos más básicos al igual que Dedekind hace con los números.