Euclid and His Twentieth Century Rivals
Diagrams in the Logic of Euclidean Geometry
Seiten
2007
Centre for the Study of Language & Information (Verlag)
978-1-57586-507-2 (ISBN)
Centre for the Study of Language & Information (Verlag)
978-1-57586-507-2 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
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. This work 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.
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.
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.
Nathaniel Miller is assistant professor of mathematical sciences at the University of Northern Colorado.
| Erscheint lt. Verlag | 29.7.2008 |
|---|---|
| Reihe/Serie | Studies in the Theory and Applications of Diagrams |
| Verlagsort | Stanford |
| Sprache | englisch |
| Maße | 16 x 24 mm |
| Gewicht | 312 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Geometrie / Topologie |
| ISBN-10 | 1-57586-507-6 / 1575865076 |
| ISBN-13 | 978-1-57586-507-2 / 9781575865072 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Gekrümmte Kurven und Flächen
Buch | Softcover (2024)
De Gruyter (Verlag)
CHF 76,90
a history of modern trigonometry
Buch | Softcover (2025)
Princeton University Press (Verlag)
CHF 34,90
