Euclid and His Twentieth Century Rivals - Diagrams in the Logic of Euclidean Geometry (Paperback, New Ed)

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:	230 x 156 x 1mm (L x W x T)
Format:	Paperback
Pages:	119
Edition:	New Ed
ISBN-13:	978-1-57586-508-9
Categories:	Books > Science & Mathematics > Mathematics > Geometry > Euclidean geometry
LSN:	1-57586-508-4
Barcode:	9781575865089

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!