Uncomputability and arithmetic

Abstract

Explain how to represent claims about Turing machines (for example, claims of the form ”machine m halts on input i”) in the above language. The goal is a mechanical method for translating claims about TMs into arithmetical claims in a way that preserves truth value.

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Knowledge of arithmetic.C. S. Jenkins - 2005 - British Journal for the Philosophy of Science 56 (4):727-747.
A brief critique of pure hypercomputation.Paolo Cotogno - 2009 - Minds and Machines 19 (3):391-405.
Thinking machines: Some fundamental confusions. [REVIEW]John T. Kearns - 1997 - Minds and Machines 7 (2):269-87.
Is the human mind a Turing machine?D. King - 1996 - Synthese 108 (3):379-89.
Deciding arithmetic using SAD computers.Mark Hogarth - 2004 - British Journal for the Philosophy of Science 55 (4):681-691.
Critical notice of C. Parsons, Mathematical thought and its objects. [REVIEW]Peter Smith - 2009 - Analysis 69 (3):549-557.
Classical arithmetic as part of intuitionistic arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55 (1):127-41.
Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript
Weak theories of nonstandard arithmetic and analysis.Jeremy Avigad - manuscript
Why Axiomatize Arithmetic?Charles Sayward - 2005 - Sorites 16:54-61.
First-order peano arithmetic.Peter Smith - unknown
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.

Analytics

Added to PP
2010-12-22

Downloads
47 (#332,683)

6 months
7 (#416,569)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references