Formalization of Hilbert's geometry of incidence and parallelism

Synthese 110 (1):127-141 (1997)

Abstract
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)
DOI 10.1023/A:1004959405270
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 48,824
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Remarks on the Geometry of Visibles.Gordon Belot - 2003 - Philosophical Quarterly 53 (213):581–586.
Space, Number and Structure: A Tale of Two Debates.Stewart Shapiro - 1996 - Philosophia Mathematica 4 (2):148-173.
Standards of Equality and Hume's View of Geometry.Emil Badici - 2011 - Pacific Philosophical Quarterly 92 (4):448-467.
Constructivity in Geometry.Richard Vesley - 1999 - History and Philosophy of Logic 20 (3-4):291-294.

Analytics

Added to PP index
2010-08-31

Total views
28 ( #341,345 of 2,309,317 )

Recent downloads (6 months)
1 ( #761,345 of 2,309,317 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature