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
Lighthouse of Alexandria this mole, and the Ras el-Tin promontory represents all that is left of the island of Pharos, the site of the lighthouse at its eastern point having been weathered away by the sea. The lighthouse was constructed in the 3rd century BC. After Alexander the Great died, the first Ptolemy (Ptolemy I Soter) announced himself king in 305 BC, and commissioned its construction shortly thereafter. The building was finished during the reign of his son, the second Ptolemy (Ptolemy II Philadelphus). It took twelve years to complete, at a total cost of 800 talents, and served as a prototype for