Advertisement

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

  • Nathaniel Miller
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4045)

Abstract

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.

Keywords

Formal System Euclidean Geometry Formality Hypothesis Informal Method Diagrammatic Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Dodgson, C.: Euclid and His Modern Rivals, 2nd edn. MacMillan and Co., London (1885)Google Scholar
  2. 2.
    Euclid: The Elements (Translated with introduction and commentary by Heath, T.L.), 2nd edn. Dover, New York (1956)Google Scholar
  3. 3.
    Hilbert, D.: Foundations of Geometry (Translated by Unger, L.), 4th edn. Open Court Publishing Co., La Salle, Ill (1971)Google Scholar
  4. 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
  5. 5.
    Miller, N.: Computational complexity of diagram satisfaction in Euclidean geometry. Journal of Complexity 22, 250–274 (2006)MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Nathaniel Miller
    • 1
  1. 1.Department of Mathematical SciencesUniversity of Northern ColoradoGreeley

Personalised recommendations