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 Ptolemy Claudius Ptolemy (; , "Klaúdios Ptolemaîos" ; ; ) was a Greco-Roman mathematician, astronomer, geographer and astrologer. He lived in the city of Alexandria in the Roman province of Egypt, wrote in Koine Greek, and held Roman citizenship. The 14th-century astronomer Theodore Meliteniotes gave his birthplace as the prominent Greek city Ptolemais Hermiou () in the Thebaid (). This attestation is quite late, however, and, according to Gerald Toomer, the translator of his "Almagest" into English, there is no reason to suppose he ever lived anywhere other than Alexandria. He died there around AD 168. Ptolemy wrote several scientific