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 scrolls in its collection, so, during the reign of Ptolemy III Euergetes, it opened a satellite collection in the Serapeum of Alexandria, a temple to the Greco-Egyptian god Serapis located near the royal palace. Aristophanes of Byzantium (lived 257– 180 BC) became the fourth head librarian sometime around 200 BC. According to a legend recorded by the Roman writer Vitruvius, Aristophanes was one of seven judges appointed for a poetry competition hosted by Ptolemy III Euergetes. All six of the other judges favored one competitor, but Aristophanes favored the one whom the audience had liked the least. Aristophanes declared that