




Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry
CSLI, 2007 eISBN: 9781575868172  Paper: 9781575865089  Cloth: 9781575865072 Library of Congress Classification QA99.M515 2007 Dewey Decimal Classification 516.2
ABOUT THIS BOOK  AUTHOR BIOGRAPHY  REVIEWS  TOC
ABOUT THIS BOOK
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. 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. See other books on: Diagrams  Geometry  Logic  Mathematics  Miscellanea See other titles from CSLI 
Nearby on shelf for Mathematics:
 