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 II Philadelphus in the Library of Alexandria Ptolemy II Philadelphus in the Library of Alexandria Ptolemy Philadelphus in the Library of Alexandria is an 1813 oil on canvas painting by Vincenzo Camuccini. It is now in the National Museum of Capodimonte in Naples. The work was commissioned by Napoleon I along with "Charlemagne Ordering Italian Scholars to Found the University of Paris", both for the central hall of Rome's Palazzo del Quirinale. It shows Ptolemy II Philadelphus in red robes among several philosophers in the Library of Alexandria. The artist had recently returned to Italy from Paris and decided to accept the commission. "Ptolemy" was then moved