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
Hero of Alexandria Hero of Alexandria Hero of Alexandria (; , "Heron ho Alexandreus"; also known as Heron of Alexandria ; c. 10 AD – c. 70 AD) was a mathematician and engineer who was active in his native city of Alexandria, Roman Egypt. He is considered the greatest experimenter of antiquity and his work is representative of the Hellenistic scientific tradition. Hero published a well recognized description of a steam-powered device called an "aeolipile" (sometimes called a "Hero engine"). Among his most famous inventions was a windwheel, constituting the earliest instance of wind harnessing on land. He is said to have been