David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
In the very last chapter of my Introduction to Gödel Theorems, I rashly claimed that there is a sense in which we can informally prove Church’s Thesis. This sort of claim isn’t novel to me: but it certainly is still very much the minority line. So maybe it is worth rehearsing some of the arguments again. Even if I don’t substantially add to the arguments in the book, it might help to approach things in a different order, with some different emphases, to make the issue as clear as possible.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Selmer Bringsjord & Konstantine Arkoudas (2006). On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis. In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. 68-118.
Carol Cleland (2006). The Church-Turing Thesis: A Last Vestige of a Failed Mathematical Program. In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. 119-146.
Paolo Cotogno (2003). Hypercomputation and the Physical Church-Turing Thesis. British Journal for the Philosophy of Science 54 (2):181-223.
Gualtiero Piccinini (2007). Computationalism, the Church–Turing Thesis, and the Church–Turing Fallacy. Synthese 154 (1):97-120.
Peter Smith (2011). Squeezing Arguments. Analysis 71 (1):22 - 30.
B. Jack Copeland (2008). The Church-Turing Thesis. In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Stanford University.
Saul A. Kripke (2013). The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem. In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Turing, Gödel, Church, and Beyond. MIT Press.
Robert Black (2000). Proving Church's Thesis. Philosophia Mathematica 8 (3):244--58.
Added to index2010-06-06
Total downloads28 ( #74,727 of 1,692,868 )
Recent downloads (6 months)7 ( #33,597 of 1,692,868 )
How can I increase my downloads?