Bemærk: Kan ikke leveres før jul.
Forventes på lager: 01-04-2007
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.
| Forlag | Centre for the Study of Language & Information |
| Forfatter | Nathaniel Miller |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 01-04-2007 |
| Første udgivelsesår | 2007 |
| Serie | Studies in the Theory and Applications of Diagrams |
| Originalsprog | United States |
| Sideantal | 119 |
| Indbinding | Paperback / softback |
| Forlag | Centre for the Study of Language & Information |
| Sideoplysninger | 119 pages |
| Mål | 151 x 229 x 11 |
| ISBN-13 / EAN-13 | 9781575865089 |