GEOMETRIA GRIEGA

 

ANTES DE EUCLIDES

En efecto, Tales permaneció en Egipto una larga temporada de su vida, aprendiendo de los sacerdotes y escribas egipcios todo lo referente a sus conocimientos en general, y estos quedaron asombrados cuando fue capaz de medir la altura de la Pirámide de Keops y de predecir un eclipse solar.

La Geometría Griega fue la primera en ser formal. Parte de los conocimientos concretos y prácticos de las civilizaciones egipcia y mesopotámicas, y da un paso de abstracción al considerar los objetos como entes ideales -un cuadrado cualquiera, en lugar de una pared cuadrada concreta, un círculo en lugar del ojo de un pozo…- que pueden ser manipulados mentalmente, con la sola ayuda de la regla y el compás. Aparece por primera vez la demostración como justificación de la veracidad de un conocimiento, aunque en un primer momento fueran más justificaciones intuitivas que verdaderas demostraciones formales.

La figura de Pitágoras y de la secta por él creada (los pitagóricos) tiene un papel central, pues eleva a la categoría de elemento primigenio el concepto de número (filosofía que de forma más explícita o más implícita, siempre ha estado dentro de la Matemática y de la Física), arrastrando a la Geometría al centro de su doctrina -en este momento inicial de la historia de la Matemática aun no hay una distinción clara entre Geometría y Aritmética-, y asienta definitivamente el concepto de demostración (éste ya sí coincide con el concepto de demostración formal) como única vía de establecimiento de la verdad en Geometría.

Esta actitud permitió (aun fuera de la secta) la medición de la tierra por Eratóstenes, así como la medición de la distancia a la luna, y la invención de la palanca por Arquímedes, varios siglos después.

En el seno de la secta de los pitagóricos surge la primera crisis de la Matemática: la aparición de los inconmensurables, pero esta crisis es de caracter más aritmético que geométrico.

Surge entonces un pequeño problema a nivel lógico, que consiste en lo siguiente: una demostración parte de una o varias hipótesis para obtener un resultado denominado tesis. La veracidad de la tesis dependerá de la validez del razonamiento con el que se ha extraido (esto será estudiado por Aristóteles al crear la Lógica) y de la veracidad de las hipótesis. Pero entonces debemos de partir de hipótesis ciertas para poder afirmar con rotundidad la tesis. Para poder determinar la veracidad de las hipótesis, habrá que considerar cada una como tesis de otro razonamiento, cuyas hipotesis deberemos también comprobar. Se entra aparentemente en un proceso sin fin en el que, indefinidamente, las hipótesis se convierten en tesis a probar.