Decision Problems in Euclidean Geometry
| Abstract | We show the algorithmic unsolvability of a number of decision procedures in ordinary two dimensional Euclidean geometry, involving lines and integer points. We also consider formulations involving integral domains of characteristic 0, and ordered rings. The main tool is the solution to Hilbert's Tenth Problem. The limited number of facts used from recursion theory are isolated at the beginning. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. Try with proxy. Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesDavid Stump (1991). Poincaré's Thesis of the Translatability of Euclidean and Non-Euclidean Geometries. Noûs 25 (5):639-657.
Ragnar Fjelland (1991). The Theory-Ladenness of Observations, the Role of Scientific Instruments, and the Kantian a Priori. International Studies in the Philosophy of Science 5 (3):269 – 280.
Emil Badici (2010). On the Compatibility Between Euclidean Geometry and Hume's Denial of Infinite Divisibility. Hume Studies 34 (2):231-244.
Norman Daniels (1974). Thomas Reid's Inquiry: The Geometry of Visibles and the Case for Realism. New York,B. Franklin.
Elizabeth Spelke, Sang Ah Lee & Véronique Izard (2010). Beyond Core Knowledge: Natural Geometry. Cognitive Science 34 (5):863-884.
Amit Hagar (2002). Thomas Reid and Non-Euclidean Geometry. Reid Studies 5 (2):54-64.
Amit Hagar (2008). Kant and Non-Euclidean Geometry. Kant-Studien 99 (1):80-98.
Joongol Kim (2006). Concepts and Intuitions in Kant's Philosophy of Geometry. Kant-Studien 97 (2):138-162.
Norman Daniels (1972). Thomas Reid's Discovery of a Non-Euclidean Geometry. Philosophy of Science 39 (2):219-234.
Richard Vesley (1999). Constructivity in Geometry. History and Philosophy of Logic 20 (3-4):291-294.
E. Slowik (2003). Conventionalism in Reid's 'Geometry of Visibles'. Studies in History and Philosophy of Science Part A 34 (3):467-489.
Annalisa Coliva (2012). Human Diagrammatic Reasoning and Seeing-As. Synthese 186 (1):121-148.
Analytics
Monthly downloads |
Added to index2010-12-22Total downloads4 ( #178,844 of 549,754 )Recent downloads (6 months)1 ( #63,425 of 549,754 )How can I increase my downloads? |
My notes
Discussion
