|Abstract||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||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
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.
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.
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 (2010). 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 (forthcoming). Another Approach: The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem. In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond. MIT Press.
Robert Black (2000). Proving Church's Thesis. Philosophia Mathematica 8 (3):244--58.
Added to index2010-06-06
Total downloads18 ( #67,528 of 549,070 )
Recent downloads (6 months)1 ( #63,185 of 549,070 )
How can I increase my downloads?