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

Miller, Nathaniel

ISBN 10: 1575865084 / ISBN 13: 9781575865089

Editore: Center for the Study of Language and Inf, 2007

Riguardo questo articolo

Book is in good condition and may include underlining highlighting and minimal wear. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.

Codice articolo ZBV.1575865084.G

Dati bibliografici

• Titolo: Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (Studies in the Theory and Applications of Diagrams)
• Editore: Center for the Study of Language and Inf
• Data di pubblicazione: 2007
• Lingua: Inglese
• ISBN 10: 1575865084
• ISBN 13: 9781575865089
• Rilegatura: Brossura
• Condizione: good

Descrizione articolo

Riassunto

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.

L'autore

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