1089:-
Uppskattad leveranstid 11-22 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 469:-
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.
- Format: Inbunden
- ISBN: 9781575865072
- Språk: Engelska
- Antal sidor: 119
- Utgivningsdatum: 2007-04-01
- Förlag: Centre for the Study of Language & Information