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
Virtual Polyhedra: The Encyclopedia of Polyhedraby George W. Hart
Polyhedra have an enormous aesthetic appeal and the subject is fun and easy. This is a collection of thousands of virtual reality polyhedra for you to explore. There are hundreds here which have never been illustrated in any previous publication.
(17347 views)
Geometry and Billiardsby Serge Tabachnikov
Mathematical billiards describe the motion of a mass point in a domain with elastic reflections from the boundary. Billiards is not a single mathematical theory, it is rather a mathematician’s playground where various methods are tested.
(20413 views)
Famous Problems of Elementary Geometryby Felix Klein - Ginn and Co.
Professor Pelix Klein presented in this book a discussion of the three famous geometric problems of antiquity -- the duplication of the cube, the trisection of an angle, and the quadrature of the circle, as viewed in the light of modern research.
(9867 views)
Foundations of geometry for university students and high-school studentsby Ruslan Sharipov - arXiv
This is a textbook for the course of foundations of geometry. It is addressed to mathematics students in Universities and to High School students for deeper learning. It can also be used in mathematics coteries and self-education groups.
(18667 views)