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 Ptolemy II Philadelphus Ptolemy II Philadelphus (, "Ptolemaîos Philádelphos" "Ptolemy, lover of his sister"; 308/9–246 BCE) was the king of Ptolemaic Egypt from 283 to 246 BCE. He was the son of Ptolemy I Soter, the Macedonian Greek general of Alexander the Great who founded the Ptolemaic Kingdom after the death of Alexander, and queen Berenice I, originally from Macedon in northern Greece. During Ptolemy II's reign, the material and literary splendour of the Alexandrian court was at its height. He promoted the Museum and Library of Alexandria. He erected a commemorative stele, the Great Mendes Stela. He also led