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

摘要

This extended abstract describes a forthcoming book which should be of interest to those attending the Diagrams 2006 conference and to others generally interested in diagrammatic reasoning in the context of Euclidean Geometry. The book, Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry, is still in preparation, but will be published by CSLI press once it is completed.