Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry by Miller, Nathaniel

Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (Paperback) (ISBN-13: 9781575865089)

Vendor: Nathaniel Miller
Product type: Books
Format: Paperback
$27.50
$27.50
$27.50
Subtotal: $27.50
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry by Miller, Nathaniel

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

$27.50
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry by Miller, Nathaniel

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

$27.50
Format: Paperback
Description
Description
x
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.

Author: Nathaniel Miller
ISBN-10: 1575865084
ISBN-13: 9781575865089
Publisher: Center for the Study of Language and Informat
Language: English
Published: 04/01/2007
Pages: 119
Format: Paperback
Weight: 0.46lbs
Size: 9.03h x 6.57w x 0.39d
By Nathaniel Miller
By Nathaniel Miller
x

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

Recently Viewed Products