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
Ptolemy (name) Ptolemy (name) The name Ptolemy or Ptolemaeus may refer to: Ptolemy, or Ptolemaeus, or Tolomeo (Italian spelling) may also refer to: According to Georg Autenrieth, the English name Ptolemy comes from the Ancient Greek name Πτολεμαῖος ("Ptolemaios"), "warlike" or "son of war". Autienrieth renders the meaning of the name to be an adjective from πτόλεμος ("ptólemos"), explained as a Homeric Greek form of πόλεμος ("pólemos"), "war". A nephew of Antigonus I Monophthalmus was called "Polemaeus", the normal form of the adjective. "Ptolemaios" is first attested in Homer's Iliad and is the name of an Achaean warrior, son of Piraeus, father