On implementing a computation

Minds and Machines 4 (4):391-402 (1994)
Authors
David Chalmers
New York University
Abstract
To clarify the notion of computation and its role in cognitive science, we need an account of implementation, the nexus between abstract computations and physical systems. I provide such an account, based on the idea that a physical system implements a computation if the causal structure of the system mirrors the formal structure of the computation. The account is developed for the class of combinatorial-state automata, but is sufficiently general to cover all other discrete computational formalisms. The implementation relation is non-vacuous, so that criticisms by Searle and others fail. This account of computation can be extended to justify the foundational role of computation in artificial intelligence and cognitive science.
Keywords Artificial Intelligence  Computation  Science  Test  Turing, A
Categories (categorize this paper)
DOI 10.1007/BF00974166
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,865
Through your library

References found in this work BETA

Minds, Brains and Programs.John R. Searle - 1980 - Behavioral and Brain Sciences 3 (3):417-57.

View all 10 references / Add more references

Citations of this work BETA

Realization Relations in Metaphysics.Umut Baysan - 2015 - Minds and Machines (3):1-14.
Realization and the Metaphysics of Mind.Thomas W. Polger - 2007 - Australasian Journal of Philosophy 85 (2):233 – 259.
Computers.Gualtiero Piccinini - 2004 - Pacific Philosophical Quarterly 89 (1):32–73.

View all 18 citations / Add more citations

Similar books and articles

Computationalism.Valerie Gray Hardcastle - 1995 - Synthese 105 (3):303-17.
Is Computation Based on Interpretation?Marcin Miłkowski - 2012 - Semiotica 2012 (188):219-228.
How Molecules Matter to Mental Computation.Paul Thagard - 2002 - Philosophy of Science 69 (3):497-518.
Concrete Digital Computation: What Does It Take for a Physical System to Compute? [REVIEW]Nir Fresco - 2011 - Journal of Logic, Language and Information 20 (4):513-537.
When Physical Systems Realize Functions.Matthias Scheutz - 1999 - Minds and Machines 9 (2):161-196.
A Computational Foundation for the Study of Cognition.David J. Chalmers - 2011 - Journal of Cognitive Science 12 (4):323-357.

Analytics

Added to PP index
2009-01-28

Total downloads
250 ( #19,290 of 2,293,816 )

Recent downloads (6 months)
15 ( #31,086 of 2,293,816 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature