What does it mean to say that a physical system implements a computation?

Theoretical Computer Science

Volumn 410, Issue 4-5, 2009, Pages 376-383

  Ladyman, James ^a  

^a UNIVERSITY OF BRISTOL   (United Kingdom)

Author keywords

Implementation; L machine; Landauer's Principle; Realism about computation

Indexed keywords

THERMODYNAMICS;

COMPUTING PROCESSES; FORMAL PROPERTIES; IMPLEMENTATION; L-MACHINE; LANDAUER'S PRINCIPLE; LAWS OF THERMODYNAMICS; LOGICAL FORMS; LOGICAL FUNCTIONS; LOGICAL PROPERTIES; LOGICAL STATES; PHYSICAL DEVICES; PHYSICAL LAWS; PHYSICAL PROCESSES; PHYSICAL REALIZATIONS; PHYSICAL STATES; PHYSICAL SYSTEMS; REALISM ABOUT COMPUTATION;

FUNCTIONS;

EID: 58249144644     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.09.047     Document Type: Article

References (25)

1. Bennett C.H. Notes on Landauer's principle, reversible computation, and Maxwell's demon. Studies in the History and Philosophy of Modern Physics 34 (2003) 501-510
2. Chalmers D. Does a rock implement every finite state automaton?. Synthese 108 (1996) 309-333
3. Churchland P. Neurophilosophy (1986), MIT, Cambridge, MA
4. Cummins R. Meaning and Mental Representation (1989), MIT, Cambridge MA
5. Copeland J. What is computation?. Synthese 108 (1996) 335-359
6. Dennett D. Intentional systems. Journal of Philosophy 68 (1971) 87-106
7. Egan F. Computation and content. Philosophical Review 104 (1995) 181-204
8. Fermi E. Thermodynamics (1936), Dover, New York
9. Fodor J. The Language of Thought (1975), Thomas Crowell, New York
10. Horst S. The computational theory of mind. In: Zalta E. (Ed). The Stanford Encyclopedia of Philosophy. Fall 2005 edition (2005)
11. Ladyman J. Physics and computation: The status of Landauer's principle. In: Cooper S.B., Lwe B., and Sorbi A. (Eds). Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 2007, Proceedings. Lecture Notes in Computer Science vol. 4497 (2007), Springer-Verlag 446-454
12. Ladyman J., Presnell S., Short A., and Groisman B. The connection between logical and thermodynamic irreversibility. Studies in History and Philosophy of Modern Physics 38 (2007) 58-79
13. Ladyman J., Presnell S., and Short A. The use of the information theoretic entropy in thermodynamics. Studies in History and Philosophy of Modern Physics 39 (2008) 315-324
14. Landauer R. Irreversibility and heat generation in the computing process. IBM Journal of Research and Development 5 (1961) 183-191 Reprinted in Leff and Rex (1990)
15. In: Leff H.S., and Rex A.F. (Eds). Maxwell's Demon: Entropy, Information, Computing (1990), Adam Hilger, Bristol
16. In: MacDonald G., and Papineau D. (Eds). Teleosemantics (2006), Clarendon Press, Oxford
17. Maroney O.J.E. The (absence of a) relationship between thermodynamic and logical reversibility. Studies in History and Philosophy of Modern Physics 36 (2005) 355-374
18. Norton J.D. Eaters of the lotus: Landauer's principle and the return of Maxwell's demon. Studies in the History and Philosophy of Modern Physics 36 (2005) 375-411
19. Piccinini G. Computation without representation. Philosophical Studies (2006)
20. H. Putnam, Brains and Behavior Read as part of the programme of the American Association for the Advancement of Science, Section L (History and Philosophy of Science), December 27, 1961
21. Putnam H. Reason, Truth and History (1981), Cambridge University Press, Cambridge
22. Putnam H. Representation and Reality (1988), MIT, Cambridge, MA
23. Scheutz M. When Physical Systems Realize Functions. Minds and Machines 9 (1999) 161-196
24. Searle J. The Rediscovery of the Mind (1992), MIT, Cambridge, MA
25. M. Sprevak, Computation in Mind and World, Ph.D. Thesis, University of Cambridge, 2005