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.
KeywordsFormal System Euclidean Geometry Formality Hypothesis Informal Method Diagrammatic Reasoning
- 1.Dodgson, C.: Euclid and His Modern Rivals, 2nd edn. MacMillan and Co., London (1885)Google Scholar
- 2.Euclid: The Elements (Translated with introduction and commentary by Heath, T.L.), 2nd edn. Dover, New York (1956)Google Scholar
- 3.Hilbert, D.: Foundations of Geometry (Translated by Unger, L.), 4th edn. Open Court Publishing Co., La Salle, Ill (1971)Google Scholar
- 4.Miller, N.: Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (working title). CSLI Publications, Stanford (to appear)Google Scholar