EUCLID AND HIS TWENTIETH-CENTURY RIVALS by Nathaniel Miller ( 9781575865072 )

Item Details

Title:

EUCLID AND HIS TWENTIETH-CENTURY RIVALS
DIAGRAMS IN THE LOGIC OF EUCLIDEAN GEOMETRY

By:

Format:

Hardback

List price:	£52.00
We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10:

1575865076

ISBN 13:

9781575865072

Publisher:

CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION

Pub. date:

1 April, 2007

Series:

CLSI - Studies in the Theory and Applications of Diagrams

Pages:

140

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. This work 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.

Synopsis:

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.

Illustrations:

Illustrations

Publication:

Imprint:

Centre for the Study of Language & Information

Returns:

Returnable

Some other items by this author:

DWARFS OF OXNAD

EUCLID AND HIS TWENTIETH-CENTURY RIVALS (PB)

MEMOIRS OF STOCKHOLM SVEN (PB)