Euclid and His Twentieth Century Rivals
Regular price
€27.50
14 days return policy
Shipping & Delivery
A01=Nathaniel Miller
Author_Nathaniel Miller
Category=PBMH
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Product details
- ISBN 9781575865089
- Weight: 198g
- Dimensions: 16 x 23mm
- Publication Date: 01 Apr 2007
- Publisher: Centre for the Study of Language & Information
- Publication City/Country: US
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
Twentieth-century developments in logic and mathematics have led many people to view Euclid's proofs as inherently informal, especially due to his use of diagrams. In "Euclid and His Twentieth-Century Rivals", Nathaniel Miller discusses the history of such 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.
Nathaniel Miller is assistant professor of mathematical sciences at the University of Northern Colorado.
