Articles liés à Euclid and His Twentieth Century Rivals: Diagrams in...

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

Miller, Nathaniel

 
9781575865089: Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry
Couverture souple
ISBN 10 : 1575865084 ISBN 13 : 9781575865089
Editeur : Centre for the Study of Language & Information, 2007

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Centre for the Study of Language & Information
Date d'édition
2007
Langue
anglais
ISBN 10 
1575865084
ISBN 13 
9781575865089
Reliure
Broché
Nombre de pages
119
Coordonnées du fabricant
The University of Chicago Press
https://press.uchicago.edu/index.html

5801 S. Ellis Avenue
Chicago
IL
60637
Etats-Unis
Personne responsable
non disponible