Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)The Foundations of Geometry.David Hilbert - 1899 - Open Court Company (This Edition Published 1921).
    §30. Significance of Desargues's theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 CHAPTER VI. PASCAL'S THEOREM. §31. ...
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Finitism in geometry.Patrick Suppes - 2001 - Erkenntnis 54 (1):133-144.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
    This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Operationalism.Hasok Chang - 2009 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Axiomatizing geometric constructions.Victor Pambuccian - 2008 - Journal of Applied Logic 6 (1):24-46.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Quantifier-free axioms for constructive affine plane geometry.Patrick Suppes - 2000 - Synthese 125 (1-2):263-281.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Finitism in geometry.Jean-Paul Van Bendegem - 2002 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   10 citations