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

Miller, Nathaniel

ISBN 10: 1575865084 / ISBN 13: 9781575865089

Editore: CSLI Publications/Center for the Study of Language & Information, 2007

Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo 9772429-75

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.

Dati bibliografici

Titolo: Euclid and His Twentieth Century Rivals : ...
Casa editrice: CSLI Publications/Center for the Study of Language & Information
Data di pubblicazione: 2007
Legatura: Brossura
Condizione: Very Good
Edizione: New Ed.