Euclid and His Twentieth Century Rivals - Diagrams in the Logic of Euclidean Geometry (Hardcover)

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.

General

Imprint:	Centre for the Study of Language & Information
Country of origin:	United States
Series:	Studies in the Theory and Applications of Diagrams
Release date:	April 2007
First published:	April 2007
Authors:	Nathaniel Miller
Dimensions:	238 x 160 x 2mm (L x W x T)
Format:	Hardcover
Pages:	119
ISBN-13:	978-1-57586-507-2
Categories:	Books > Science & Mathematics > Mathematics > Geometry > Euclidean geometry
LSN:	1-57586-507-6
Barcode:	9781575865072

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!