- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis
In A. Olszewski, J. Wole'nski & R. Janusz, Church's Thesis After Seventy Years. Ontos Verlag. pp. 68-118 (2006)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Turing-, human- and physical computability: An unasked question. [REVIEW]Eli Dresner - 2008 - Minds and Machines 18 (3):349-355.
SAD computers and two versions of the Church–Turing thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.
Physical hypercomputation and the church–turing thesis.Oron Shagrir & Itamar Pitowsky - 2003 - Minds and Machines 13 (1):87-101.
The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem.Saul A. Kripke - 2013 - In B. J. Copeland, C. Posy & O. Shagrir, Computability: Gödel, Turing, Church, and beyond. MIT Press.
Thinking machines: Some fundamental confusions. [REVIEW]John T. Kearns - 1997 - Minds and Machines 7 (2):269-87.
Quantum speed-up of computations.Itamar Pitowsky - 2002 - Proceedings of the Philosophy of Science Association 2002 (3):S168-S177.
The Church-Turing Thesis.B. Jack Copeland - 2012 - In Ed Zalta, Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford Encyclopedia of Philosophy.
Analytics
Added to PP
2010-08-17
Downloads
15 (#1,947,818)
6 months
9 (#1,243,279)
2010-08-17
Downloads
15 (#1,947,818)
6 months
9 (#1,243,279)
Historical graph of downloads
Author's Profile
Citations of this work
Continuities and Discontinuities Between Humans, Intelligent Machines, and Other Entities.Johnny Hartz Søraker - 2014 - Philosophy and Technology 27 (1):31-46.
Sophisticated knowledge representation and reasoning requires philosophy.Selmer Bringsjord, Micah Clark & Joshua Taylor - forthcoming - In Ruth Hagengruber, Philosophy's Relevance in Information Science.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation