La Geometría griega antes de Euclides.

La Geometría Griega fue la primera en ser formal. Parte de los conocimientos concretos y prácticos de las civilizaciones egipcia y mesopotámica, y da un paso de abstracción al considerar los objetos como entes ideales –un rectángulo ideal, en lugar de una pared cuadrada concreta, un círculo en lugar del ojo de un pozo, etc.– que pueden ser manipulados mentalmente, con la sola ayuda de regla y 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.

Tales permaneció en Egipto una larga temporada de su vida, aprendiendo de los conocimientos de sacerdotes y escribas. Fue el primero en ser capaz de calcular la altura de las Pirámides de Egipto. Para ello midió su propia altura, y en el preciso momento en el que su sombra medía exactamente la misma cantidad, mandó a marcar la sombra del vértice de la Gran Pirámide. De esa forma pudo calcular exactamente cuál era su altura.¹ También se le atribuye la predicción de un eclipse solar.

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 aún 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.