Philosophia Mathematica 8 (3):244--58 (2000)

Abstract
Arguments to the effect that Church's thesis is intrinsically unprovable because proof cannot relate an informal, intuitive concept to a mathematically defined one are unconvincing, since other 'theses' of this kind have indeed been proved, and Church's thesis has been proved in one direction. However, though evidence for the truth of the thesis in the other direction is overwhelming, it does not yet amount to proof.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/8.3.244
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,687
Through your library

References found in this work BETA

On Computable Numbers, with an Application to the N Tscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Collected Works.Kurt Gödel - 1986 - Oxford University Press.
Logical Foundations of Probability.Ernest H. Hutten - 1950 - Journal of Symbolic Logic 16 (3):205-207.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.

View all 26 references / Add more references

Citations of this work BETA

The Physical Church–Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.

View all 9 citations / Add more citations

Similar books and articles

The Church-Turing Thesis.B. Jack Copeland - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Stanford University.
SAD Computers and Two Versions of the Church–Turing Thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.
The Church-Turing Thesis: A Last Vestige of a Failed Mathematical Program.Carol Cleland - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 119-146.
Church's Thesis: Prelude to a Proof.Janet Folina - 1998 - Philosophia Mathematica 6 (3):302-323.

Analytics

Added to PP index
2009-01-28

Total views
173 ( #57,899 of 2,432,249 )

Recent downloads (6 months)
1 ( #466,747 of 2,432,249 )

How can I increase my downloads?

Downloads

My notes