Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry

Diagrams in the Logic of Euclidean Geometry
 
 
Centre for the Study of Language & Information (Verlag)
  • erschienen am 29. Juli 2008
 
  • Buch
  • |
  • Hardcover
  • |
  • 119 Seiten
978-1-57586-507-2 (ISBN)
 
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.
  • Englisch
  • Stanford
  • |
  • USA
  • Für Beruf und Forschung
Illustrations
  • Höhe: 231 mm
  • |
  • Breite: 152 mm
  • |
  • Dicke: 15 mm
  • 318 gr
978-1-57586-507-2 (9781575865072)
1575865076 (1575865076)
Nathaniel Miller is assistant professor of mathematical sciences at the University of Northern Colorado.

Versand in 10-20 Tagen

59,96 €
inkl. 7% MwSt.
in den Warenkorb

Abholung vor Ort? Sehr gerne!
Unsere Web-Seiten verwenden Cookies. Mit der Nutzung dieser Web-Seiten erklären Sie sich damit einverstanden. Mehr Informationen finden Sie in unserem Datenschutzhinweis. Ok