Euclid and His Twentieth Century Rivals
by Nathaniel Miller
2007
Number of pages: 124
Description:
Nathaniel Miller discusses the history of diagrams in Euclidean Geometry, develops a formal system for working with them, and concludes that they can indeed be used rigorously. Miller also introduces a diagrammatic computer proof system, based on this formal system.
Download or read it online for free here:
Download link
(950KB, PDF)
Similar books
The Foundations of Geometryby David Hilbert - Project Gutenberg
Axioms were uncovered in Euclid's geometry. These discoveries were organized into a more rigorous axiomatic system by David Hilbert in his Grundlagen der Geometrie (1899) which contained his definitive set of axioms for Euclidean geometry.
(17337 views)
Isometrica: A Geometrical Introduction to Planar Crystallographic Groupsby George Baloglou
Planar crystallographic groups are one of the very first mathematical creations of humankind. This book's goal is the gradual unveiling of the structural and the mathematical that hides behind the visual and the artistic.
(15167 views)
A Modern Course on Curves and Surfacesby Richard S. Palais - virtualmathmuseum.org
Contents: What is Geometry; Geometry of Inner-Product Spaces; Linear Maps and the Euclidean Group; Adjoints of Linear Maps and the Spectral Theorem; Differential Calculus on Inner-Product Spaces; Normed Spaces and Integration; ODE; and more.
(13780 views)
First Principles of Symmetrical Beautyby David Ramsay Hay - W. Blackwood and sons
From the table of contents: Nature of the science of aesthetics explained; Plane figures the bases of all forms; The isosceles triangle; Universal application of the composite ellipse in the arts of ornamental design; and more.
(14486 views)