Abstract
The Church–Turing Thesis (CTT) is often employed in arguments for computationalism. I scrutinize the most prominent of such arguments in light of recent work on CTT and argue that they are unsound. Although CTT does nothing to support computationalism, it is not irrelevant to it. By eliminating misunderstandings about the relationship between CTT and computationalism, we deepen our appreciation of computationalism as an empirical hypothesis.
Similar content being viewed by others
References
F. Attneave (1961) ‘In Defense of Homunculi’ W. Rosenblith (Eds) Sensory Communication MIT Press Cambridge, MA 777–782
A.-L. Barabási (2002) Linked: The New Science of Networks Perseus Cambridge, MA
E.B. Baum (2004) What is Thought? MIT Press Cambridge, MA
L. Blum F. Cucker et al. (1998) Complexity and Real Computation Springer New York
M.A. Boden (1988) Computer Models of Mind Computational Approaches in Theoretical Psychology Cambridge University Press Cambridge
D.J. Chalmers (1996) The Conscious Mind In Search of a Fundamental Theory Oxford University Press Oxford
A. Church (1936) ArticleTitle‘An Unsolvable Problem in Elementary Number Theory’ The American Journal of Mathematics 58 345–363 Occurrence Handle10.2307/2371045
P.M. Churchland P.S. Churchland (1990) ArticleTitle‘Could a Machine Think?’ Scientific American CCLXII 26–31
C.E. Cleland (1993) ArticleTitle‘Is the Church–Turing Thesis True?’ Minds and Machines 3 283–312 Occurrence Handle10.1007/BF00976283
B.J. Copeland (1998) ArticleTitle‘Turing’s O-machines, Searle, Penrose, and the Brain’ Analysis 58 IssueID2 128–138 Occurrence Handle10.1111/1467-8284.00113
B.J. Copeland (2000) ArticleTitle‘Narrow Versus Wide Mechanism Including a Re-Examination of Turing’s Views on the Mind-Machine Issue’ The Journal of Philosophy XCVI IssueID1 5–32 Occurrence Handle10.2307/2678472
Copeland, B. J.: 2002a, ‘The Church–Turing Thesis’, The Stanford Encyclopedia of Philosophy (Fall 2002 Edition). E. N. Zalta, URL = 〈http://plato.stanford.edu/ archives/fall2002/entries/church–turing/〉.
B.J. Copeland (2002b) ArticleTitle‘Hypercomputation’ Minds and Machines 12 461–502 Occurrence Handle10.1023/A:1021105915386
P. Cotogno (2003) ArticleTitle‘Hypercomputation and the Physical Church–Turing Thesis’ British Journal for the Philosophy of Science 54 181–223 Occurrence Handle10.1093/bjps/54.2.181
P. Dayan L.F. Abbott (2001) Theoretical Neuroscience Computational and Mathematical Modeling of Neural Systems MIT Press Cambridge, MA
D.C. Dennett (1978a) Brainstorms MIT Press Cambridge, MA
D.C. Dennett (1978b) ‘Introduction’ D.C. Dennett (Eds) Brainstorms MIT Press Cambridge, MA xi–xxii
D.C. Dennett (1978c) ‘Skinner Skinned’ D.C. Dennett (Eds) Brainstorms MIT Press Cambridge, MA 53–70
D.C. Dennett (1978d) ‘Artificial Intelligence as Philosophy and as Psychology’ D.C. Dennett (Eds) Brainstorms MIT Press Cambridge, MA 109–126
J.A. Fodor (1968) ArticleTitle‘The Appeal to Tacit Knowledge in Psychological Explanation’ Journal of Philosophy 65 627–640 Occurrence Handle10.2307/2024316
J.A. Fodor (1981) Representations MIT Press Cambridge, MA
J.A. Fodor (1998) Concepts Clarendon Press Oxford
J. Folina (1998) ArticleTitle‘Church’s Thesis: Prelude to a Proof’ Philosophia Mathematica 6 302–323
M. Giunti (1997) Computation, Dynamics, and Cognition Oxford University Press New York
K. Gödel (1965) ‘Postscriptum’ M. Davis (Eds) The Undecidable Raven New York 71–73
S. Guttenplan (Eds) (1994) A Companion to the Philosophy of Mind Blackwell Cambridge, MA
J. Haugeland (1981) ArticleTitle‘Analog and Analog’ Philosophical Topics 12 213–225
R.I.G. Hughes (1999) ‘The Ising Model, Computer Simulation, and Universal Physics’ M.S. Morgan M. Morrison (Eds) Models as Mediators Cambridge University Press Cambridge 97–145
P. Humphreys (1990) ArticleTitle‘Computer Simulations’ PSA 1990 2 497–506
L. Kálmar (1959) ‘An Argument Against the Plausibility of Church’s Thesis’ A. Heyting (Eds) Constructivity in Mathematics North-Holland Amsterdam 72–80
J.T. Kearns (1997) ArticleTitle“Thinking Machines: Some Fundamental Confusions” Minds and Machines 7 269–287 Occurrence Handle10.1023/A:1008202117814
S.C. Kleene (1952) Introduction to Metamathematics Princeton Van Nostrand
P.K. Machamer L. Darden C. Craver (2000) ArticleTitle‘Thinking About Mechanisms’ Philosophy of Science 67 1–25 Occurrence Handle10.1086/392759
W.S. McCulloch W.H. Pitts (1943) ArticleTitle‘A Logical Calculus of the Ideas Immanent in Nervous Activity’ Bulletin of Mathematical Biophysics 7 115–133 Occurrence Handle10.1007/BF02478259
V. McGee (1991) ArticleTitle‘We Turing Machines Aren’t Expected-Utility Maximizers (Even Ideally’) Philosophical Studies 64 115–123 Occurrence Handle10.1007/BF00356093
G.A. Miller E.H. Galanter K. Pribram (1960) Plans and the Structure of Behavior Holt New York
R.J. Nelson (1987) ArticleTitle‘Church’s Thesis and Cognitive Science’ Notre Dame Journal of Formal Logic 28 IssueID4 581–614 Occurrence Handle10.1305/ndjfl/1093637649
Piccinini, G. (2003a). Computations and Computers in the Sciences of Mind and Brain. Pittsburgh, PA, University of Pittsburgh. URL= < http://etd.library.pitt.edu/ETD/available/etd-08132003-155121/ >
G. Piccinini (2003b) ArticleTitle“Alan Turing and the Mathematical Objection” Minds and Machines 13 IssueID1 23–48 Occurrence Handle10.1023/A:1021348629167
G. Piccinini (2004a) ArticleTitle“The First Computational Theory of Mind and Brain: A Close Look at McCulloch and Pitts’s ‘Logical Calculus of Ideas Immanent in Nervous Activity”’ Synthese 141 IssueID2 175–215 Occurrence Handle10.1023/B:SYNT.0000043018.52445.3e
G. Piccinini (2004b) ArticleTitle“Functionalism, Computationalism, and Mental States” Studies in the History and Philosophy of Science 35 IssueID4 811–833 Occurrence Handle10.1016/j.shpsa.2004.02.003
I. Pitowski O. Shagrir (2003) ArticleTitle‘Physical Hypercomputation and the Church–Turing Thesis’ Minds and Machines 13 IssueID1 87–101 Occurrence Handle10.1023/A:1021365222692
M.B. Pour-El J.I. Richards (1989) Computability in Analysis and Physics Springer Verlag Berlin
Z.W. Pylyshyn (1984) Computation and Cognition MIT Press Cambridge, MA
F. Rohrlich (1990) ArticleTitle‘Computer Simulation in the Physical Sciences’ PSA 1990 2 507–518
Scott, P. D. (1997). Crisis? What Crisis? Church’s Thesis and the Scope of Cognitive Science. Two Sciences of Mind: Readings in Cognitive Science and Consciousness. S. Ó Nualláin, P. Mc Kevitt and E. Mac Aogáin. Philadelphia, John Benjamins: 63–76.
S.G. Shanker (1995) ArticleTitle‘Turing and the Origins of AI’ Philosophia Mathematica 3 52–85
W. Sieg (1994) ‘Mechanical Procedures and Mathematical Experience’ G. Alexander (Eds) Mathematics and Mind. Oxford University Press New York 71–117
Sieg, W.: 2001, ‘Calculations by Man and Machine: Conceptual Analysis’, in W. Sieg, R. Sommer and C. Talcott (eds.), Reflections on the Foundations of Mathematics (Essays in Honor of Solomon Feferman), Association for Symbolic Logic, vol. 15, pp. 387–406.
H.T. Siegelmann (1999) Neural Networks and Analog Computation: Beyond the Turing Limit Birkhäuser Boston, MA
J.R. Searle (1992) The Rediscovery of the Mind MIT Press Cambridge, MA
S.H. Strogatz (1994) Nonlinear Dynamics and Chaos Perseus Cambridge, MA
S.H. Strogatz (2003) Sync: The Emerging Science of Spontaneous Order Hyperion New York
Tamburrini, G.: 1997, ‘Mechanistic Theories in Cognitive Science: The Import of Turing’s Thesis’, in M. L. Dalla Chiara and et al. (eds.), Logic and Scientific Method, Kluwer, pp. 239–257.
Turing, A. M.: 1936–7 [1965], ‘On Computable Numbers, with an Application to the Entscheidungsproblem’, in M. Davis. (ed.), The Undecidable, Raven, Ewlett.
Turing, A. M.: 1948, ‘Intelligent Machinery’, in D. Ince (ed.), Mechanical Intelligence, North-Holland, Amsterdam, pp. 87–106.
J. Neumann Particlevon (1951) ‘The General and Logical Theory of Automata’ L.A. Jeffress (Eds) Cerebral Mechanisms in Behavior Wiley New York 1–41
J.C. Webb (1980) Mechanism, Mentalism, and Metamathematics Reidel Dordrecht
S. Wolfram (2002) A New Kind of Science Wolfram Media Champaign, IL
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Piccinini, G. Computationalism, The Church–Turing Thesis, and the Church–Turing Fallacy. Synthese 154, 97–120 (2007). https://doi.org/10.1007/s11229-005-0194-z
Issue Date:
DOI: https://doi.org/10.1007/s11229-005-0194-z