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
Ptolemy II Philadelphus and dissolute, intellectual and artificial, has been compared with the Palace of Versailles of Louis XIV of France. Ptolemy deified his parents and his sister-wife after their deaths. Ptolemy II began his reign as co-regent with his father, Ptolemy Soter, from c. 285 to c. 283 BCE, and maintained a splendid court in Alexandria. Egypt was involved in several wars during his reign. His maternal half-brother Magas had declared himself king of Cyrene in 276 and began a war against Ptolemy's government in 274 BCE. Magas managed to keep Cyrenaica independent of the Ptolemies until his death in 250 BCE.