Overview

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.

Full Product Details

Author:   Nathaniel Miller
Publisher:   Centre for the Study of Language & Information
Imprint:   Centre for the Study of Language & Information
Edition:   New edition
Dimensions:   Width: 1.60cm , Height: 0.10cm , Length: 2.30cm
Weight:   0.198kg
ISBN:  

9781575865089

ISBN 10:   1575865084
Pages:   119
Publication Date:   01 April 2007
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Reviews

Author Information

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

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions