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
Transmission of the Greek Classics Transmission of the Greek Classics The transmission of the Greek Classics to "Latin" Western Europe during the Middle Ages was a key factor in the development of intellectual life in Western Europe. Interest in Greek texts and their availability was scarce in the Latin West during the earlier Middle Ages, but as traffic to the East increased so did Western scholarship. Classical Greek philosophy consisted of various original works ranging from those from Ancient Greece (e.g. Aristotle) to those Greco-Roman scholars in the classical Roman Empire (e.g. Ptolemy). Though these works were originally written in Greek, for centuries the language