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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Nathaniel Miller is assistant professor of mathematical sciences at the University of Northern Colorado.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerEUR 4,00 für den Versand von Italien nach USA
Versandziele, Kosten & DauerAnbieter: Zoom Books Company, Lynden, WA, USA
Zustand: good. Book is in good condition and may include underlining highlighting and minimal wear. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Bestandsnummer des Verkäufers ZBV.1575865084.G
Anzahl: 1 verfügbar
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Zustand: Fine. 119 pp, paperback, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Bestandsnummer des Verkäufers ZB1300333
Anzahl: 1 verfügbar
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Zustand: new. Bestandsnummer des Verkäufers d644bc708c0b2e5fec6801b9678ab8fb
Anzahl: Mehr als 20 verfügbar
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers FW-9781575865089
Anzahl: 15 verfügbar
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Zustand: New. 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. Series: CLSI - Studies in the Theory and Applications of Diagrams. Num Pages: 120 pages, Illustrations. BIC Classification: PBMH. Category: (P) Professional & Vocational. Dimension: 230 x 156 x 10. Weight in Grams: 208. . 2007. Illustrated. paperback. . . . . Bestandsnummer des Verkäufers V9781575865089
Anzahl: Mehr als 20 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. pp. 119. Bestandsnummer des Verkäufers 6674448
Anzahl: 3 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 119 pages. 9.00x6.00x0.50 inches. In Stock. Bestandsnummer des Verkäufers __1575865084
Anzahl: 2 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Bestandsnummer des Verkäufers ria9781575865089_new
Anzahl: Mehr als 20 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 119. Bestandsnummer des Verkäufers 261206223
Anzahl: 3 verfügbar
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 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. Series: CLSI - Studies in the Theory and Applications of Diagrams. Num Pages: 120 pages, Illustrations. BIC Classification: PBMH. Category: (P) Professional & Vocational. Dimension: 230 x 156 x 10. Weight in Grams: 208. . 2007. Illustrated. paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9781575865089
Anzahl: Mehr als 20 verfügbar