Can a Turing Machine Know That the Gödel Sentence is True?
Journal of Philosophy 96 (10):525 - 532 (1999)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesStorrs McCall (1999). Can a Turing Machine Know That the Godel Sentence is True? Journal of Philosophy 96 (10):525-32.
Neil Tennant (2001). On Turing Machines Knowing Their Own Gödel-Sentences. Philosophia Mathematica 9 (1).
G. Sereny (2011). How Do We Know That the Godel Sentence of a Consistent Theory Is True? Philosophia Mathematica 19 (1):47-73.
Dale Jacquette (1987). Metamathematical Criteria for Minds and Machines. Erkenntnis 27 (July):1-16.
Justin Leiber (2006). Turing's Golden: How Well Turing's Work Stands Today. Philosophical Psychology 19 (1):13-46.
Panu Raatikainen (2002). McCall's Gödelian Argument is Invalid. Facta Philosophica 4 (1):167-69.
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.
Peter Milne (2007). On Godel Sentences and What They Say. Philosophia Mathematica 15 (2):193-226.
Rosemarie Rheinwald (1991). Menschen, Maschinen Und Gödels Theorem. Erkenntnis 34 (1):1 - 21.
Justin Leiber (1995). On Turing's Turing Test and Why the Matter Matters. Synthese 104 (1):59-69.
Robert F. Hadley (2008). Consistency, Turing Computability and Gödel's First Incompleteness Theorem. Minds and Machines 18 (1).
Aurea Anguera de Sojo, Juan Ares, Juan A. Lara, David Lizcano, María A. Martínez & Juan Pazos (forthcoming). Turing and the Serendipitous Discovery of the Modern Computer. Foundations of Science:1-13.
Haim Gaifman (1992). Pointers to Truth. Journal of Philosophy 89 (5):223-261.
Analytics
Monthly downloads |
Added to index2011-01-09Total downloads16 ( #75,695 of 556,840 )Recent downloads (6 months)3 ( #27,428 of 556,840 )How can I increase my downloads? |
My notes
Discussion
