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.
"synopsis" may belong to another edition of this title.
Nathaniel Miller is assistant professor of mathematical sciences at the University of Northern Colorado.
"About this title" may belong to another edition of this title.
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: Fine. *Price HAS BEEN REDUCED by 10% until Monday, Aug. 24 (weekend SALE item) 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. Seller Inventory # ZB1300333
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00100179830
Seller: Better World Books: West, Reno, NV, U.S.A.
Condition: Very Good. New Ed. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 9772429-75
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Seller Inventory # d644bc708c0b2e5fec6801b9678ab8fb
Quantity: Over 20 available
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FW-9781575865089
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000. Seller Inventory # P1-9781575865089
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FW-9781575865089
Quantity: 15 available
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000. Seller Inventory # P1-9781575865089
Quantity: 1 available
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: 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. . . . . Seller Inventory # V9781575865089
Quantity: Over 20 available
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. 119. Seller Inventory # 6674448
Quantity: 3 available