Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (S...
MIA KARTS BOOKS
- Vendor: Mia Karts
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (Studies in the Theory and Applications of Diagrams)
Book Details
- Author
- Nathaniel Miller
- Publisher
- Center for the Study of Language and Inf
- Format
- Paperback
- Language
- English
- Category
- Geometry & Topology
- Condition
- New
- ISBN-13
- 9781575865089
- ISBN-10
- 1575865084
Free U.S. shipping on all orders. International shipping is calculated at checkout.
ISBN: 1575865084
Author: Miller, Nathaniel
Condition: New
Twentieth-century developments in logic and mathematics have led many people to view Euclids 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. Miller 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.
Have a question?
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (Studies in the Theory and Applications of Diagrams)
