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
Aristobulus of Alexandria quoted by Anatolius. He is incorrectly named "Aristobulus of Paneas" in Rufinus' Latin translation of Eusebius' "Historia Ecclesiastica" (7, 32, 16). It is a wrong translation of the Greek ὁ πάνυ, "the Great". In addition, the author here quoted by Eusebius, Anatolius of Laodicea (270 CE), was mistaken in believing that Aristobulus was one of the 70 priests who translated the Torah into Greek (the "Septuagint") during the reign of Ptolemy II Philadelphus (3rd century BC). Anatolius of Laodicea incorrectly said that he lived in the time of Ptolemy Philadelphus. A further mistake in Rufinus' Latin translation of the Anatolius