Formalization of Hilbert's Geometry of Incidence and Parallelism

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

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.

Categories

Keywords

Reprint years

DOI

10.1023/a:1004959405270

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Formalization of Hilbert's geometry of incidence and parallelism.Jan von Plato - 1997 - Synthese 110 (1):127-141.
Formalization of Hilbert's geometry of incidence and parallelism.Jan Platvono - 1997 - Synthese 110 (1):127-141.
Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity.Victor Pambuccian - 2002 - Synthese 133 (3):331 - 341.
Axiomatizations of Hyperbolic Geometry: A Comparison Based on Language and Quantifier Type Complexity.Victor Pambuccian - 2002 - Synthese 133 (3):331-341.
The axioms of constructive geometry.Jan von Plato - 1995 - Annals of Pure and Applied Logic 76 (2):169-200.
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.
A note on parallelism in affine geometry.Peter Schreiber - 1993 - Mathematical Logic Quarterly 39 (1):131-132.
From geometry to phenomenology.Mirja Helena Hartimo - 2008 - Synthese 162 (2):225-233.
Two ways of reasoning and two ways of arguing in geometry. Some remarks concerning the application of figures in euclidean geometry.Carlos Alvarez - 2003 - Synthese 134 (1-2):289 - 323.
Hilbert vindicated?Jaakko Hintikka - 1997 - Synthese 110 (1):15-36.
Husserl and Hilbert on completeness.Ulrich Majer - 1997 - Synthese 110 (1):37-56.
Hilbert and set theory.Burton Dreben & Akihiro Kanamori - 1997 - Synthese 110 (1):77-125.
Problems and riddles: Hilbert and the du Bois-reymonds.D. C. Mc Carty - 2005 - Synthese 147 (1):63-79.
Hilbert's formalism and arithmetization of mathematics.Judson C. Webb - 1997 - Synthese 110 (1):1-14.
History of geometry and the development of the form of its language.Ladislav Kvasz - 1998 - Synthese 116 (2):141–186.

Analytics

Added to PP
2014-03-27

Downloads
43 (#344,369)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references