Constructivity in Geometry

History and Philosophy of Logic 20 (3-4):291-294 (1999)
  Copy   BIBTEX

Abstract

We review and contrast three ways to make up a formal Euclidean geometry which one might call constructive, in a computational sense. The starting point is the first-order geometry created by Tarski

Categories

Keywords

Reprint years

DOI

10.1080/01445349950044206

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

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

The theory‐ladenness of observations, the role of scientific instruments, and the Kantiana priori.Ragnar Fjelland - 1991 - International Studies in the Philosophy of Science 5 (3):269 – 280.
Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
Formalization of Hilbert's geometry of incidence and parallelism.Jan Platvono - 1997 - Synthese 110 (1):127-141.
Formalization of Hilbert's geometry of incidence and parallelism.Jan von Plato - 1997 - Synthese 110 (1):127-141.
Thomas Reid's Inquiry: the geometry of visibles and the case for realism.Norman Daniels - 1974 - New York,: B. Franklin.
Edmund Husserl on the Applicability of Formal Geometry.René Jagnow - 2006 - In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. pp. 67-85.
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
Thomas Reid and non-euclidean geometry.Amit Hagar - 2002 - Reid Studies 5 (2):54-64.
Remarks on the geometry of visibles.Gordon Belot - 2003 - Philosophical Quarterly 53 (213):581–586.

Analytics

Added to PP
2010-08-10

Downloads
26 (#615,896)

6 months
3 (#984,719)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axiomatizing geometric constructions.Victor Pambuccian - 2008 - Journal of Applied Logic 6 (1):24-46.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
The foundations of intuitionistic mathematics.Stephen Cole Kleene - 1965 - Amsterdam,: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
The axioms of constructive geometry.Jan von Plato - 1995 - Annals of Pure and Applied Logic 76 (2):169-200.
Tarski and geometry.L. W. Szczerba - 1986 - Journal of Symbolic Logic 51 (4):907-912.

View all 8 references / Add more references