Euclid and His Twentieth-Century Rivals: Diagrams in the Logic of Euclidean Geometry (Studies in the Theory and Applications of Diagrams)

by NathanielMiller (Author)

• New

  Paperback
  2008

  $26.06

  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.