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
Pope Dioscorus I of Alexandria Coptic Orthodox and Greek Orthodox Patriarchates of Alexandria agreed to mutually recognize baptisms performed in each other's churches. Pope Dioscorus I of Alexandria Pope Dioscorus I of Alexandria, 25th Pope of Alexandria & Patriarch of the See of St. Mark. He was deposed by the Council of Chalcedon in 451 but was recognized as Patriarch by the Coptic Church until his death. He died on the Island of Gangra, Paphlagonia, in September 454. He is venerated as a saint by the Coptic and other Oriental Orthodox churches. Dioscorus served as the dean of the Catechetical School of Alexandria, and was