Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Euclid and His Twentieth Century Rivals : Diagrams in the Logic of Euclidean Geometry, Paperback / softback Book

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

Part of the Studies in the Theory and Applications of Diagrams series

Paperback / softback

Available to Order - This title is available to order, with delivery expected within 2 weeks

Description

Twentieth-century developments in logic and mathematics have led many people to view Euclid's proofs as inherently informal, especially due to his use of diagrams.

In "Euclid and His Twentieth-Century Rivals", Nathaniel Miller discusses the history of such 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.

Information

Save 1%

£22.00

£21.75

Available to Order - This title is available to order, with delivery expected within 2 weeks
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information