It does seem to me that, despite their brilliance, Euclid and his
immediate
successors got geometry stuck in a rut with their "synthetic" methods,
from which it wasn't rescued until algebra and projective geometry came
along. An important question for pedagogy: how much of this formal proof
and axiomatization is still important in education today? Can the
symbolic
manipulation that constitutes modern algebra replace it in the study of
geometry? (HIstorical question: could algebra have been the source of
rigor in mathematics if geometry hadn't got there first? The Hindus
were well on the way to having the concept of a variable denoted by
a shorthand name (color names) around 1500 years ago, if not more.
Weierstrass was suspicious of any argument that wasn't essentially
algebraic. He trusted symbolic manipulation much more than he trusted
intuition.)