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 largest and most significant libraries of the ancient world, but details about it are a mixture of history and legend. The earliest known surviving source of information on the founding of the Library of Alexandria is the pseudepigraphic "Letter of Aristeas", which was composed between 180 and 145 BC. The "Letter of Aristeas" claims that the Library was founded during the reign of Ptolemy I Soter ( 323– 283 BC) and that it was initially organized by Demetrius of Phalerum, a student of Aristotle who had been exiled from Athens and taken refuge in Alexandria within the Ptolemaic court. Nonetheless,