PERHAPS A GIFT VOUCHER FOR MUM?: MOTHER'S DAY

Close Notification

Your cart does not contain any items

Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry by Nathaniel Miller at Abbey's Bookshop,
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry
— —
Nathaniel Miller

Euclid and His Twentieth Century Rivals

Diagrams in the Logic of Euclidean Geometry

Nathaniel Miller

$45.95

Paperback

Not in-store but you can order this
How long will it take?
English
Centre for the Study of Language & Information
15 April 2007
Euclidean geometry
Series: Studies in the Theory and Applications of Diagrams
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.
By:  
Imprint:   Centre for the Study of Language & Information
Country of Publication:   United States
Edition:   New edition
Dimensions:   Height: 23mm,  Width: 16mm,  Spine: 1mm
Weight:   198g
ISBN:   9781575865089
ISBN 10:   1575865084
Series:   Studies in the Theory and Applications of Diagrams
Pages:   119
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active

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

See Also

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

The Geometry of Time

Dierck-Ekkehard Liebscher (Astrophysical...

Paperback

$231.95 

Not in-store but you can order this

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

Riemannian Geometry

A Modern Introduction

Isaac Chavel (City College, City...

Paperback

$99.95 

Not in-store but you can order this

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

Geometry Ancient and Modern

John R. Silvester (, King's College...

Paperback

$155.95 

Not in-store but you can order this

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

Sets of Finite Perimeter and Geometric...

An Introduction to Geometric Measure...

Francesco Maggi (Università degli...

Hardback

$141.95 

Not in-store but you can order this

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

Curves and Singularities

A Geometrical Introduction to Singularity...

J. W. Bruce (University of Liverpool)...

Hardback

$229.95 

Not in-store but you can order this

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

Trigonometric Delights

Eli Maor

Paperback

$34.99 

Not in-store but you can order this

ADD +