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
In the Reign of Terror: The Adventures of a Westminster Boy In the Reign of Terror: The Adventures of a Westminster Boy In the Reign of Terror: The Adventures of a Westminster Boy is a novel by G. A. Henty published in 1888. The novel follows the adventures of Harry Sandwith, an English boy sent to live with the Marquis de St. Caux during the height of the French Revolution. Harry Sandwith, a sixteen-year-old English boy, is sent to live in France with the Marquis de St. Caux, a friend of a French nobleman Harry's father once served. The marquis is impressed with the English system of schooling and believes that