Logo

Euclid and His Twentieth Century Rivals

Large book cover: Euclid and His Twentieth Century Rivals

Euclid and His Twentieth Century Rivals
by


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.

Home page url

Download or read it online for free here:
Download link
(950KB, PDF)

Similar books

Book cover: Famous Problems of Elementary GeometryFamous Problems of Elementary Geometry
by - 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.
(6385 views)
Book cover: Virtual Polyhedra: The Encyclopedia of PolyhedraVirtual Polyhedra: The Encyclopedia of Polyhedra
by
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.
(13696 views)
Book cover: The Pythagorean Theorem: Crown Jewel of MathematicsThe Pythagorean Theorem: Crown Jewel of Mathematics
by - AuthorHouse
The book chronologically traces the Pythagorean theorem from the beginning, through 4000 years of Pythagorean proofs. The text presents some classic puzzles, amusements, and applications. An epilogue summarizes the importance of the theorem.
(16879 views)
Book cover: Practical Plane and Solid Geometry for Advanced StudentsPractical Plane and Solid Geometry for Advanced Students
by - Macmillan
This book is written for Science students. The necessity of accurate draughtsmanship is insisted on throughout. We describe how the drawing instruments may be set and maintained. And the numerical answers are appended to many of the examples.
(6898 views)