Elementos de Euclides

Douglas Hofstadter·1979·no ficcion

Mientras que Euclides sienta las bases de la lógica deductiva y la formalización matemática a través de axiomas y demostraciones, Hofstadter investiga los límites inherentes de estos sistemas formales, explorando la autorreferencia y la incompletitud. Ambos se centran en la construcción del conocimiento lógico, pero uno se enfoca en establecerlo y el otro en deconstruir sus fronteras.

Robert M. Pirsig·1974·filosofia

Euclides establece un camino lineal y deductivo para la comprensión de la realidad geométrica. Pirsig, por su parte, busca un 'camino' (Dao) o método para reconciliar la razón y la emoción, la forma y la sustancia. Ambos libros ofrecen una meditación sobre cómo el ser humano construye y navega el conocimiento de manera sistemática, pero Pirsig lo aplica a la filosofía de la vida y el 'cómo', mientras Euclides lo aplica al 'qué' de la forma.

Ludwig Wittgenstein·1921·filosofia

Euclides construyó un sistema deductivo para describir la estructura física del mundo. Wittgenstein, al igual que Euclides, busca establecer los límites fundamentales de lo que puede ser dicho y pensado, pero lo hace a través de la lógica del lenguaje. Ambos libros son proyectos ambiciosos para delinear los contornos de la 'forma lógica' de la realidad, uno a través de la geometría y el otro a través de la proposición.

Baruch Spinoza·1677·filosofia

Spinoza adoptó explícitamente el 'orden geométrico' de Euclides para construir su sistema filosófico, mostrando la profunda influencia de la estructura euclidiana en el pensamiento occidental. Ambas obras intentan derivar verdades universales a partir de principios fundamentales, pero Euclides lo aplica a la matemática y la geometría, mientras Spinoza lo extiende a la moral y la metafísica.

Augustin-Louis Cauchy·1821·no ficcion

Mientras que Euclides buscó la rigorización de la geometría clásica, Cauchy, de una manera análoga, buscó proporcionar la rigorización de las recién desarrolladas matemáticas del cálculo. Ambos libros son fundamentales para comprender cómo se construyen los sistemas matemáticos desde primeros principios de manera lógica y deductiva, asegurando la consistencia interna a través de una definición precisa de conceptos básicos.

L.E.J. Brouwer·1907·filosofia

Euclides estableció un sistema matemático basado en la lógica clásica y la posibilidad de inferencia directa. Brouwer, mucho más tarde, desafió los fundamentos mismos de cómo se conciben y demuestran las verdades matemáticas, especialmente el uso del infinito actual y el principio del tercero excluido, que Euclides, implícitamente, usó. Se conecta al cuestionar las bases sobre las que se construye el razonamiento matemático, al igual que Euclides sentó esas bases.

Alfred North Whitehead, Bertrand Russell·1910·filosofia

Este libro comparte una ambición estructural similar a los Elementos de Euclides: ambos son intentos exhaustivos de construir un cuerpo de conocimiento (matemática y geometría, respectivamente) desde sus fundamentos lógicos. Utilizan un enfoque axiomático-deductivo riguroso, definiendo términos y derivando proposiciones a partir de principios básicos, aunque con un nivel de formalización aún mayor en el caso de los Principia.

Gottlob Frege·1893·filosofia

Frege, como Euclides, se preocupa por la estructura y la validez de las demostraciones. Aunque Euclides provee ejemplos concretos de demostraciones, Frege examina la estructura subyacente de 'lo que hace una demostración'. Ambos se interesan por cómo se establece la verdad de unas proposiciones a partir de otras, con una clara jerarquía y dependencia lógica, pero Frege desde un punto de vista metateórico.