{"product_id":"euclid-and-his-twentieth-century-rivals","title":"Euclid and His Twentieth Century Rivals","description":"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.","brand":"Centre for the Study of Language \u0026 Information","offers":[{"title":"Default Title","offer_id":54220666044760,"sku":"9781575865089","price":27.5,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9781575865089_77492b7e-ef3f-4743-9e70-1713a39e2ced.jpg?v=1769760029","url":"https:\/\/agendabookshop.com\/products\/euclid-and-his-twentieth-century-rivals","provider":"Agenda Bookshop","version":"1.0","type":"link"}