Verwandte Artikel zu Euclid and His Twentieth Century Rivals: Diagrams in...

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
Verlag: Centre for the Study of Language & Information, 2007

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

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



Nathaniel Miller is assistant professor of Mathematical Sciences at the University of Northern Colorado.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Centre for the Study of Language & Information
Erscheinungsdatum
2007
Sprache
Englisch
ISBN 10 
1575865084
ISBN 13 
9781575865089
Einband
Taschenbuch
Anzahl der Seiten
119
Herausgeber
Barker-Plummer Dave
Kontakt zum Hersteller
The University of Chicago Press
https://press.uchicago.edu/index.html

5801 S. Ellis Avenue
Chicago
IL
60637
USA
Verantwortliche Person
Buchbär
info@buchbaer.de

Weberstr. 67
Osnabrück
49084
Deutschland