Euclidean geometry of a modern formulation in terms of constructive type theory. This development has implications for pedagogy as well. Euclidean geometry Euclidean geometry is a mathematical system attributed to Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry: the "Elements". Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions (theorems) from these. Although many of Euclid's results had been stated by earlier mathematicians, Euclid was the first to show how these propositions could fit into a comprehensive deductive and logical system. The "Elements" begins with plane geometry, still taught in
Library of Alexandria BC, however, Aristarchus became caught up in a dynastic struggle in which he supported Ptolemy VII Neos Philopator as the ruler of Egypt. Ptolemy VII was murdered and succeeded by Ptolemy VIII Physcon, who immediately set about punishing all those who had supported his predecessor, forcing Aristarchus to flee Egypt and take refuge on the island of Cyprus, where he died shortly thereafter. Ptolemy VIII expelled all foreign scholars from Alexandria, forcing them to disperse across the Eastern Mediterranean. Ptolemy VIII Physcon's expulsion of the scholars from Alexandria brought about a shift in the history of Hellenistic scholarship. The scholars