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' Redux
by Daniel Callahan - starrhorse.com
Euclid's 'Elements' Redux is an open textbook on mathematical logic and geometry for use in grades 7-12 and in undergraduate college courses on proof writing. It is a new edition of the most successful textbook of all time...
(11261 views)
by Daniel Callahan - starrhorse.com
Euclid's 'Elements' Redux is an open textbook on mathematical logic and geometry for use in grades 7-12 and in undergraduate college courses on proof writing. It is a new edition of the most successful textbook of all time...
(11261 views)
Foundations of geometry for university students and high-school students
by 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.
(17361 views)
by 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.
(17361 views)
An Elementary Treatise on Conic Sections
by Charles Smith - The Macmillan Company
In the following work I have investigated the more elementary properties of the Ellipse, Parabola, and Hyperbola, defined with reference to a focus and directrix, before considering the General Equation of the Second Degree...
(11037 views)
by Charles Smith - The Macmillan Company
In the following work I have investigated the more elementary properties of the Ellipse, Parabola, and Hyperbola, defined with reference to a focus and directrix, before considering the General Equation of the Second Degree...
(11037 views)
Isometrica: A Geometrical Introduction to Planar Crystallographic Groups
by 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.
(15618 views)
by 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.
(15618 views)