Synthese 110 (1):127-141 (1997)
Three things are presented: How Hilbert changed the original construction postulates of his geometry into existential axioms; In what sense he formalized geometry; How elementary geometry is formalized to present day's standards.
|Keywords||Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Similar books and articles
The Future of Post-Human Geometry: A Preface to a New Theory of Infinity, Symmetry, and Dimensionality.Peter Baofu - 2009 - Cambridge Scholars Press.
Local Axioms in Disguise: Hilbert on Minkowski Diagrams.Ivahn Smadja - 2012 - Synthese 186 (1):315-370.
Standards of Equality and Hume's View of Geometry.Emil Badici - 2011 - Pacific Philosophical Quarterly 92 (4):448-467.
Space, Number and Structure: A Tale of Two Debates.Stewart Shapiro - 1996 - Philosophia Mathematica 4 (2):148-173.
Axiomatizations of Hyperbolic Geometry: A Comparison Based on Language and Quantifier Type Complexity.Victor Pambuccian - 2002 - Synthese 133 (3):331 - 341.
Formalization of Hilbert's Geometry of Incidence and Parallelism.Jan Platvono - 1997 - Synthese 110 (1):127-141.
Added to index2009-01-28
Total downloads37 ( #139,839 of 2,171,804 )
Recent downloads (6 months)1 ( #326,702 of 2,171,804 )
How can I increase my downloads?