Description

Book Synopsis
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.

Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry

    Product form

    £22.00

    Includes FREE delivery

    Order before 4pm today for delivery by Mon 29 Jun 2026.

    A Paperback by Nathaniel Miller

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry by Nathaniel Miller

      Publisher: Centre for the Study of Language & Information
      Publication Date: 01/04/2007
      ISBN13: 9781575865089, 978-1575865089
      ISBN10: 1575865084
      Also in:
      Euclidean geometry

      Description

      Book Synopsis
      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.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account