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
Euclid's Elements of Geometryby J.L. Heiberg, R. Fitzpatrick
Euclid's Elements is the most famous mathematical work of classical antiquity, and also has the distinction of being the oldest continuously used mathematical textbook. The main subjects of the work are geometry, proportion, and number theory.
(12319 views)
Practical Plane and Solid Geometry for Advanced Studentsby J. Harrison, G.A. Baxandall - 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.
(8281 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.
(16733 views)
Geometry: From Ancient to Modernby Wong Yan Loi - National University of Singapore
Contents: Pythagoras' theorem; Pythagorean triples; commensurable and incommensurable quantities; Eudoxus' theory of proportion; method of exhaustion; continued fractions; the surface area of a sphere; the method; regular polyhedra; symmetries; etc.
(10696 views)