Verwandte Artikel zu Euclid and His Twentieth Century Rivals: Diagrams in...
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (Studies in the Theory and Applications of Diagrams) - Softcover
Inhaltsangabe
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.
Über die Autorin bzw. den Autor
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.
Neu kaufen
Diesen Artikel anzeigen
EUR 33,25
EUR 1,89 für den Versand von USA nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Euclid and His Twentieth Century Rivals: Diagrams in...
Beispielbild für diese ISBN
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (Studies in the Theory and Applications of Diagrams)
Verlag:
Center for the Study of Language and Inf, 2007
ISBN 10: 1575865084
ISBN 13: 9781575865089
Gebraucht
Softcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
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. Artikel-Nr. ZB1300333
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Euclid and His Twentieth-Century Rivals
Verlag:
Centre for the Study of Language & Information, 2007
ISBN 10: 1575865084
ISBN 13: 9781575865089
Neu
Softcover
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
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. Artikel-Nr. V9781575865089
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (Studies in the Theory and Applications of Diagrams)
Verlag:
Center for the Study of Language and Inf, 2007
ISBN 10: 1575865084
ISBN 13: 9781575865089
Neu
Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9781575865089_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Euclid and His Twentieth Century Rivals
Verlag:
Centre for the Study of Language and Information, 2007
ISBN 10: 1575865084
ISBN 13: 9781575865089
Neu
PAP
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. FW-9781575865089
Anzahl: 15 verfügbar
Foto des Verkäufers
Miller, N: Euclid and His Twentieth-Century Rivals
Verlag:
Centre for the Study of Language & Information, 2008
ISBN 10: 1575865084
ISBN 13: 9781575865089
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Über den AutorNathaniel Miller is assistant professor of mathematical sciences at the University of Northern Colorado. Artikel-Nr. 867691518
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Euclid and his twentieth century rivals : diagrams in the logic of Euclidean geometry.
Verlag:
Center for the Study of Language and Inf, 2007
ISBN 10: 1575865084
ISBN 13: 9781575865089
Gebraucht
Softcover
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: as new. Stanford :CSLI Publications, 2007. Paperback. 119 pp. English text. Condition : as new.Includes bibliographical references (p. 115-116) and index. Contents : Background. A short history of diagrams, logic, and geometry ; The philosophy behind this work ; Euclid's elements -- Syntax and semantics of diagrams. Basic syntax of Euclidean diagrams ; Advanced syntax of diagrams : corresponding graph structures and diagram equivalence classes ; Diagram semantics ; Diagrammatic proofs -- Construction rules. Inference rules ; Transformation rules ; Dealing with areas and lengths of circular arcs ; CDEG -- Meta-mathematical results. Lemma incorporation ; Satisfiable and unsatisfiable diagrams ; Transformations and weaker systems. Condition : as new copy. ISBN 9781575865089. Keywords : , Artikel-Nr. 274345
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Euclid and His TwentiethCentury Rivals Diagrams in the Logic of Euclidean Geometry
Verlag:
Stanford Univ Center for the Study, 2007
ISBN 10: 1575865084
ISBN 13: 9781575865089
Neu
Paperback
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 119 pages. 9.00x6.00x0.50 inches. In Stock. Artikel-Nr. __1575865084
Anzahl: 2 verfügbar
Foto des Verkäufers
Euclid and His Twentieth Century Rivals : Diagrams in the Logic of Euclidean Geometry
Verlag:
Centre For The Study Of Language & Information Apr 2007, 2007
ISBN 10: 1575865084
ISBN 13: 9781575865089
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - 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. Artikel-Nr. 9781575865089
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (CSLI-Studies in the Theory and Applications of Diagrams)
Verlag:
Center for the Study of Language & Information, 2007
ISBN 10: 1575865084
ISBN 13: 9781575865089
Neu
Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 119. Artikel-Nr. 6674448
Anzahl: 3 verfügbar