BRK-005 · Geometry no longer has one inevitable form / BRK-005 · La geometría deja de tener una única forma inevitable

A geometrical statement can be impossible to prove from a set of assumptions because it does not follow from them. That possibility changes the meaning of a failed proof. Repeated failure need not reveal insufficient ingenuity; it can expose an assumption that belongs among the premises rather than among the consequences.

The development of non-Euclidean geometry transformed an old problem about parallels into a new problem about alternative mathematical structures. Euclidean geometry was not refuted. Its status changed: it could be understood as one geometry with particular assumptions, rather than the uniquely inevitable form of spatial reasoning.

Un enunciado geométrico puede ser imposible de demostrar a partir de un conjunto de supuestos porque no se sigue de ellos. Esa posibilidad cambia el significado de una demostración fallida. Los fracasos repetidos no tienen por qué revelar falta de ingenio; pueden poner de manifiesto un supuesto que pertenece a las premisas y no a las consecuencias.

El desarrollo de la geometría no euclidiana transformó un antiguo problema sobre paralelas en otro nuevo sobre estructuras matemáticas alternativas. La geometría euclidiana no fue refutada. Cambió su condición: podía entenderse como una geometría con supuestos particulares, en vez de como la única forma inevitable del razonamiento espacial.