A transition, therefore, is not undeservedly made from sense to consideration, and from this to the nobler energies of intellect. Hence, as the certa… - Proclus

But after these, Pythagoras changed that philosophy, which is conversant about geometry itself, into the form of a liberal doctrine, considering its principles in a more exalted manner; and investigating its theorems immaterially and intellectually; who likewise invented a treatise of such things as cannot be explained in geometry, and discovered the constitution of the mundane figures.

For this, to draw a right line from every point, to every point, follows the definition, which says, that a line is the flux of a point, and a right line an indeclinable and inflexible flow.

After Pythagoras, Anaxagoras the Clazomenian succeeded, who undertook many things pertaining to geometry. And Oenopides the Chian, was somewhat junior to Anaxagoras, and whom Plato mentions in his Rivals, as one who obtained mathematical glory. To these succeeded Hippocrates, the Chian, who invented the quadrature of the lunula, and Theodorus the Cyrenean, both of them eminent in geometrical knowledge. For the first of these, Hippocrates composed geometrical elements: but Plato, who was posterior to these, caused as well geometry itself, as the other mathematical disciplines, to receive a remarkable addition, on account of the great study he bestowed in their investigation. This he himself manifests, and his books, replete with mathematical discourses, evince: to which we may add, that he every where excites whatever in them is wonderful, and extends to philosophy. But in his time also lived Leodamas the Thasian, Architas the Tarentine, and Theætetus the Athenian; by whom theorems were increased, and advanced to a more skilful constitution. But Neoclides was junior to Leodamas, and his disciple was Leon; who added many things to those thought of by former geometricians. So that Leon also constructed elements more accurate, both on account of their multitude, and on account of the use which they exhibit: and besides this, he discovered a method of determining when a problem, whose investigation is sought for, is possible, and when it is impossible.