• Title Euclid and His Twentieth Century Rivals
• Author(s) Nathaniel Miller
• Publisher: Center for the Study of Language, University of Northern Colorado (April 15, 2007);
• Hardcover/Paperback 119 pages
• eBook PDF
• Language: English
• ISBN-10: 1575865084
• ISBN-13: 978-1575865089
• Share This:  

Book Description

Twentieth-century developments in logic and mathematics have led many people to view Euclid's proofs as inherently informal, especially due to the use of diagrams in proofs. In Euclid and His Twentieth-Century Rivals, 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.

This book also introduces a diagrammatic computer proof system, based on this formal system. This volume will be of interest to mathematicians, computer scientists, and anyone interested in the use of diagrams in geometry.

• N/A

• Amazon
• Amazon (Euclidean Plane and its Relatives)

• Mathematical Logic - Computability, Set Theory, Model Theory, Proof Theory, etc.
• Geometry and Topology
• History of Mathematics

• Euclid and His Twentieth Century Rivals (Nathaniel Miller)

• The Elements of Non-Euclidean Geometry (Julian L. Coolidge)
• Euclidean Plane and its Relatives: A Minimalist Introduction (Anton Petrunin)
• Non-Euclidean Geometry: A Critical and Historical Study of Its Development