Lo que los dejó perplejos es que no se puede hacer. Hoy sabemos que hay modelos de geometría perfectamente coherentes (y sorprendentemente útiles) en los que el quinto postulado es falso, al igual que hay otros en los que es cierto.
¿Qué les impidió darse cuenta de esto por alrededor de 2100 años? El obstáculo principal, creo, es psicológico. La geometría es muy visual. Al trabajar con construcciones geométricas y probar cosas sobre ellas, es difícil para cualquiera sacudirse su intuición visual y trabajar limpia y genuinamente simplemente con las consecuencias formales de las relaciones entre los objetos en cuestión.
Podemos observar esto, por ejemplo, en la trágica historia de Giovanni Saccheri, quien, ya en 1733, estuvo muy cerca de descubrir oficialmente la geometría no euclidiana.
Saccheri estaba tratando de probar el quinto postulado asumiendo que es falso. Valientemente se aventuró en el mundo lógico de las consecuencias que surge cuando se supone que es falso. Llegó bastante lejos, demostrando una variedad de resultados correctos que hoy se considerarían teoremas de la geometría hiperbólica. Por ejemplo, logró mostrar que los triángulos no pueden tener áreas tan grandes como quieras.
- ¿Debo comenzar con la teoría de conjuntos y la lógica o el álgebra / geometría / trig / precalc si quiero volver a aprender matemáticas desde cero y formar una base sólida?
- ¿Has pasado horas en problemas matemáticos hasta que lo has hecho bien?
- ¿Cómo deciden los matemáticos lo que es trivial?
- ¿Cómo fue trabajar con John von Neumann?
- ¿Los matemáticos creen que hay una cantidad finita de números primos?
Luego, abruptamente, su intuición se apoderó de él y afirmó que el escenario resultante es “repugnante a la naturaleza de las líneas rectas”. ¡Qué vergüenza! No podía librarse del estado mental en el que se encontraba: estaba tratando de demostrar que el postulado es verdadero, es decir, que su refutación es falsa. Si se hubiera dado cuenta de que en realidad estaba haciendo algo diferente, a saber, construir un nuevo modelo de geometría, sería aclamado como un héroe de la imaginación y los logros humanos.
Otro desafío, aunque creo que es más leve, es que los axiomas de Euclides están lejos de ser rigurosos y completos. Pasó otro siglo después del descubrimiento de la geometría hiperbólica antes de que Hilbert escribiera un conjunto de axiomas completamente riguroso, y lo curioso es que trabajar con axiomas tan rigurosos es realmente más fácil que trabajar con Euclides con los parciales y vagamente correctos. Uno puede trabajar de manera muy mecánica y formal, y nunca hay duda de si una derivación es correcta o no.
EDITAR: Escribí un último párrafo, reproducido a continuación, asumiendo que dice algo no controvertido. Estaba equivocado. Tergiversa las raíces del problema, que creo que tienen mucho que ver con el dogmatismo religioso, pero ciertamente son más complicados que “todo es culpa de la iglesia”. Eso ciertamente no es cierto.
Creo que hay un amplio acuerdo de que las matemáticas (y las ciencias naturales relacionadas) se desarrollaron tremendamente rápido en la antigua Grecia y luego nuevamente desde el siglo XVII en adelante. Eso no quiere decir que no pasó absolutamente nada durante 1,000 años, pero la tasa de desarrollo es marcadamente diferente en estos tres períodos (en Europa). Por qué sucedió esto es una pregunta más compleja, y el consenso científico al respecto es menos claro de lo que pensaba.
Aquí está el párrafo original que había escrito aquí:
Finalmente, por supuesto, está la cuestión de por qué casi no se hicieron progresos en Europa entre aproximadamente 400 CE y aproximadamente 1600 CE, en torno a cualquiera de los enormes logros matemáticos y científicos de los griegos. Obviamente, esta es una pregunta compleja, pero una parte importante de la respuesta tiene que ver con el surgimiento del cristianismo. Pocas cosas sofocan la curiosidad y el progreso de manera más efectiva que el dogmatismo religioso.