Processing ......
FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World


网址居 (LinkBasket)  全球各国中英文新闻网站导航!.
 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
 ISBN10: 1575865084
 ISBN13: 9781575865089
 Share This:
Book Description
Twentiethcentury 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 TwentiethCentury 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.
About the Authors N/A