Computational versus Causal Complexity
- Matthias Scheutz
- … show all 1 hide
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
The main claim of this paper is that notions of implementation based on an isomorphic correspondence between physical and computational states are not tenable. Rather, ``implementation'' has to be based on the notion of ``bisimulation'' in order to be able to block unwanted implementation results and incorporate intuitions from computational practice. A formal definition of implementation is suggested, which satisfies theoretical and practical requirements and may also be used to make the functionalist notion of ``physical realization'' precise. The upshot of this new definition of implementation is that implementation cannot distinguish isomorphic bisimilar from non-isomporphic bisimilar systems anymore, thus driving a wedge between the notions of causal and computational complexity. While computationalism does not seem to be affected by this result, the consequences for functionalism are not clear and need further investigations.
- Agre, P. (1997), Computation and Human Experience, Cambridge: Cambridge University Press.
- Barwise, J. and Moss, L. (1996), Vicious Circles, CSLI Lecture Notes, Cambridge University Press.
- Block, N. (1996), 'What is Functionalism?' in The Encyclopedia of Philosophy Supplement, Macmillan.
- Chalmers, D.J. (1994), 'On Implementing a Computation', Minds and Machines 4, 391–402.
- Chalmers, D.J. (1996), 'Does a Rock Implement Every Finite-State Automaton?', Synthese 108, 310–333.
- Chrisley, R.L. (1994), 'Why Everything Doesn't Realize Every Computations', Minds and Machines 4, 391–402.
- Copeland, B.J. (1996), 'What is Computation?', Synthese 108, 403–420.
- Cummins, R. (1989), Meaning and Mental Representation, Cambridge, MA, MIT Press.
- David, M. (1997), 'Kim's Functionalism', in Philosophical Perspectives, 11, Mind, Causation, and World.
- Hopcroft, J.E. and Ullman, J.D. (1979), Introduction to Automata Theory, Languages, and Computation, Massachusetts, Addison-Wesley Publishing Company.
- Kim, J. (1998), Mind in a Physical World, Cambridge, MA: MIT Press.
- MacLennan, B.J. (1994), 'Words Lie in Our Way', Minds and Machines 4, 421–437.
- Melnyk, A. (1996), 'Searle's Abstract Argument Against Strong AI', Synthese 108, 391–419.
- Papineau, D. (1995), 'Arguments for Supervenience and Physical Realization'. in Savellos, E. and Yalçin, Ñ, eds., Supervenience, Cambridge University Press.
- Putnam, H. (1988), Representation and Reality, Cambridge: MIT Press.
- Computational versus Causal Complexity
Minds and Machines
Volume 11, Issue 4 , pp 543-566
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- causal complexity
- cognitive science
- computational complexity
- functional architecture
- Industry Sectors
- Matthias Scheutz (1)
- Author Affiliations
- 1. Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, 46556, USA