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
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.
(16716 views)
A. N. Whitehead's Geometric Algebraby Stephen Blake
This is a text on 3-d Euclidean computational geometry intended to be used in engineering applications. On the other hand, the methods of Whitehead's algebra enable us to readily deal with Euclidean and non-Euclidean spaces of any dimension.
(18227 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.
(15306 views)
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.
(19018 views)