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. 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.
By:
Nathaniel Miller Imprint: Centre for the Study of Language & Information Country of Publication: United States Edition: New edition Dimensions:
Height: 23mm,
Width: 16mm,
Spine: 1mm
Weight: 198g ISBN:9781575865089 ISBN 10: 1575865084 Series:Studies in the Theory and Applications of Diagrams Pages: 119 Publication Date:15 April 2007 Audience:
Professional and scholarly
,
Undergraduate
Format:Paperback Publisher's Status: Active
Nathaniel Miller is assistant professor of mathematical sciences at the University of Northern Colorado.