Un recorrido por la aritmética

Mientras Poincaré desglosa los fundamentos de la aritmética con rigor, Hofstadter conecta conceptos abstractos de las matemáticas (notablemente los teoremas de incompletitud de Gödel) con la música y el arte, mostrando cómo la lógica y la formalización trascienden los números puros. La conexión es 'no obvia' porque vincula la aritmética con campos aparentemente dispares mediante principios subyacentes de estructura y formalismo.

Este libro, aunque trata sobre tejido, comparte con 'Un recorrido por la aritmética' la descomposición de un sistema complejo en sus elementos fundamentales y reglas operativas básicas. Así como Poincaré muestra la construcción lógica de la aritmética, Montes lo hace con el tejido, revelando la 'aritmética' inherente a la formación de patrones y la manipulación de hilos. La conexión es 'no obvia' al contrastar lo abstracto con lo tangible, revelando la misma lógica constructora.

Poincaré, como matemático y filósofo de la ciencia, no solo explica la aritmética sino que también insinúa su fundamento epistemológico. Koyré profundiza en la raíz filosófica detrás del desarrollo de conceptos científicos y matemáticos, explorando las preguntas sobre la naturaleza del conocimiento y la verdad, que subyacen a la estructura misma de la aritmética. Ambos autores comparten una profunda preocupación por el 'cómo sabemos' en el ámbito de las ciencias exactas.

Aunque Kant no trata directamente de la aritmética, su obra comparte con Poincaré una insistencia en la búsqueda de principios universales y a priori que rigen un sistema. Así como Poincaré busca los fundamentos axiomáticos que dan forma a las matemáticas, Kant busca los principios racionales que fundamentan la moralidad. Ambos exploran cómo ciertas verdades o reglas son autoevidentes o se derivan de la razón, estructurando un campo del conocimiento de manera fundamental.

Poincaré fue un crítico de los intentos de reducir la matemática a la lógica pura. Tarski, por otro lado, es una figura central en el desarrollo de la lógica simbólica, un campo que busca formalizar los lenguajes y razonamientos matemáticos con un rigor extremo. Conectar Tarski con Poincaré revela el debate subyacente sobre la naturaleza de los fundamentos de las matemáticas, un tema que Poincaré exploró. Tarski es menos conocido fuera de círculos específicos, a diferencia de otros lógicos conocidos en el mundo anglosajón.

Mientras Poincaré exploraba la aritmética como un sistema formal, Thom, como matemático francés de gran renombre pero quizás menos conocido por el público generalista anglosajón, profundiza en las implicaciones ontológicas y epistemológicas de las matemáticas. Su trabajo examina cómo las estructuras matemáticas subyacen a fenómenos complejos y cómo modelan la realidad. Thom expande la conversación sobre el alcance y la naturaleza de las matemáticas más allá de sus fundamentos internos, algo que Poincaré también consideró en su filosofía de la ciencia.

Así como Poincaré en 'Un recorrido por la aritmética' establece una axiomática y progresa deductivamente para construir el edificio de la aritmética, Newton en los 'Principia' construye el edificio de la mecánica clásica. Ambos libros comparten una estructura donde se parten de unos pocos principios fundamentales (axiomas, leyes) y, a través de una argumentación lógica y deductiva impecable, se derivan conclusiones complejas y de amplio alcance, demostrando la potencia de un sistema formal bien estructurado.

La obra de Euclides es el arquetipo de la estructura deductiva que Poincaré busca emular o, al menos, analizar en su acercamiento a la aritmética. 'Elementos' es un modelo de cómo construir un sistema matemático complejo a partir de un conjunto mínimo de concepciones primitivas y axiomas. La obra de Poincaré comparte esta misma convicción en la necesidad de fundamentos lógicos y una progresión metódica que define un campo del saber.