Items related to Euclid and His Twentieth–Century Rivals –...

Euclid and His Twentieth–Century Rivals – Diagrams in the Logic of Euclidean Geometry (Studies in the Theory and Applications of Diagrams) - Softcover

Miller, Nathaniel

 
9781575865089: Euclid and His Twentieth–Century Rivals – Diagrams in the Logic of Euclidean Geometry (Studies in the Theory and Applications of Diagrams)
Softcover
ISBN 10: 1575865084 ISBN 13: 9781575865089
Publisher: Center for the Study of Language and Information, 2008

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

Nathaniel Miller is assistant professor of mathematical sciences at the University of Northern Colorado.

"About this title" may belong to another edition of this title.

Publisher
Center for the Study of Language and Information
Publication date
2008
Language
English
ISBN 10 
1575865084
ISBN 13 
9781575865089
Binding
Paperback
Number of pages
120