Euclid and His Twentieth Century Rivals : Diagrams in the Logic of Euclidean Geometry
Miller, Nathaniel; Barker-Plummer, Dave (EDT)
ISBN 10: 1575865084 ISBN 13: 9781575865089
Editore: Center for the Study of Language and Inf, 2007
Nuovi
Brossura
Da
GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 28 gennaio 2020
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Codice articolo 4986850-n
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Euclid and His Twentieth Century Rivals : ...
Casa editrice: Center for the Study of Language and Inf
Data di pubblicazione: 2007
Legatura: Brossura
Condizione: New