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: 93,612

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 von Plato - 1997 - Synthese 110 (1):127-141.
The axioms of constructive geometry.Jan von Plato - 1995 - Annals of Pure and Applied Logic 76 (2):169-200.
Bridging the gap between analytic and synthetic geometry: Hilbert’s axiomatic approach.Eduardo N. Giovannini - 2016 - Synthese 193 (1):31-70.
Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity.Victor Pambuccian - 2002 - Synthese 133 (3):331 - 341.
A note on parallelism in affine geometry.Peter Schreiber - 1993 - Mathematical Logic Quarterly 39 (1):131-132.
Axiomatizations of Hyperbolic Geometry: A Comparison Based on Language and Quantifier Type Complexity.Victor Pambuccian - 2002 - Synthese 133 (3):331-341.
Quantifier-free axioms for constructive affine plane geometry.Patrick Suppes - 2000 - Synthese 125 (1-2):263-281.
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.

Analytics

Added to PP
2010-08-31

Downloads
32 (#488,121)

6 months
2 (#1,445,320)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Type-theoretical Grammar.Aarne Ranta - 1994 - Oxford, England: Oxford University Press on Demand.
David Hilbert and His Mathematical Work.Hermann Weyl - 1944 - Journal of Symbolic Logic 9 (4):98-98.
The axioms of constructive geometry.Jan von Plato - 1995 - Annals of Pure and Applied Logic 76 (2):169-200.

Add more references