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
Attic Greek used for the language of later writers following conventionally the accession in 285 BC of Greek-speaking Ptolemy II to the throne of the Kingdom of Egypt. Ruling from Alexandria, Ptolemy launched the Alexandrian period, during which the city of Alexandria and its expatriate Greek-medium scholars flourished. The original range of the spoken Attic dialect included Attica and a number of the central Cyclades islands; the closely related Ionic was also spoken along the western and northwestern coasts of Asia Minor in modern Turkey, in Chalcidice, Thrace, Euboea, and in some colonies of Magna Graecia. Eventually, the texts of literary Attic