Euclid and His Twentieth Century Rivals

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.