Thinking machines: Some fundamental confusions [Book Review]
Minds and Machines 7 (2):269-87 (1997)
AbstractThis paper explores Church's Thesis and related claims madeby Turing. Church's Thesis concerns computable numerical functions, whileTuring's claims concern both procedures for manipulating uninterpreted marksand machines that generate the results that these procedures would yield. Itis argued that Turing's claims are true, and that they support (the truth of)Church's Thesis. It is further argued that the truth of Turing's and Church'sTheses has no interesting consequences for human cognition or cognitiveabilities. The Theses don't even mean that computers can do as much as peoplecan when it comes to carrying out effective procedures. For carrying out aprocedure is a purposive, intentional activity. No actual machine does, orcan do, as much
Similar books and articles
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.B. Jack Copeland - 2008 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Stanford University.
The Broad Conception of Computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.
Effective Procedures and Computable Functions.Carole E. Cleland - 1995 - Minds and Machines 5 (1):9-23.
Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.
Quantum Speed-Up of Computations.Itamar Pitowsky - 2002 - Proceedings of the Philosophy of Science Association 2002 (3):S168-S177.
The Church-Turing Thesis and Effective Mundane Procedures.Leon Horsten - 1995 - Minds and Machines 5 (1):1-8.
Added to PP
Historical graph of downloads
Citations of this work
Computationalism, The Church–Turing Thesis, and the Church–Turing Fallacy.Gualtiero Piccinini - 2007 - Synthese 154 (1):97-120.
Thinking and Computing: Computers as Special Kinds of Signs. [REVIEW]James H. Fetzer - 1997 - Minds and Machines 7 (3):345-364.
References found in this work
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
Church's Thesis and the Ideal of Informal Rigour.Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 28 (4):499-519.
Understanding Church's Thesis.Stewart Shapiro - 1981 - Journal of Philosophical Logic 10 (3):353--65.
Combinatory Logic Vol. 1.Haskell Brooks Curry & Robert M. Feys - 1958 - Amsterdam, Netherlands: North-Holland Publishing Company.