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: Conic Sections Treated GeometricallyConic Sections Treated Geometrically
by - George Bell and Sons
In the present Treatise the Conic Sections are defined with reference to a focus and directrix, and I have endeavoured to place before the student the most important properties of those curves, deduced, as closely as possible, from the definition.
(11065 views)
Book cover: Euclid's Elements of GeometryEuclid's Elements of Geometry
by
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.
(7443 views)
Book cover: First Principles of Symmetrical BeautyFirst Principles of Symmetrical Beauty
by - 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.
(10635 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.
(11334 views)