Abstract
Realism about computation is the view that whether or not a particular physical system is performing a particular computation is at least sometimes a mindindependent feature of reality. The caveat ’at least sometimes’ is necessary here because a realist about computation need not believe that all instances of computation should be realistically construed. The computational theory of mind presupposes realism about computation. If whether or not the human nervous system implements particular computations is not a natural fact about the world that is independent of whether we represent it as doing so, then the computational theory of mind fails to naturalise the mind. Realism about computation is also presupposed by attempts to use computational principles such as Landauer’s Principle to dispel Maxwell’s Demon. Realism about computation has been challenged by Hilary Putnam and John Searle among others. Various arguments have been put forward purporting to show that any physical system of sufficient complexity trivially implements all computations. Ladyman et al. (2007) offer a precisification and general proof Landauer’s Principle. In order to do this they present an analysis of what it is for a physical process to implement a logical transformation. In this paper, their analysis is explained and its implications for realism about computation and the use of Landauer’s Principle in foundational debates is assessed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bennett, C.H.: The logical reversibility of computation. IBM Journal of Research and Development 17, 525–532 (1973)
Bennett, C.H.: The Thermodynamics of Computation?A Review International Journal of Theoretical Physics 21, 905–940 (1982) (Reprinted in Leff and Rex (1990), 213–248)
Bennett, C.H.: Demons, Engines and the Second Law. Scientific American 257, 108–116
Bennett, C.H.: Notes on Landauer’s principle, reversible computation, and Maxwell’s demon. Studies in the History and Philosophy of Modern Physics 34, 501–510 (2003)
Brillouin, L.: Maxwell’s demon cannot operate: Information and entropy. I. Journal of Applied Physics 22, 338–343 (1951)
Bub, J.: Maxwell’s Demon and the thermodynamics of computation. Studies in the History and Philosophy of Modern Physics 32, 569–579 (2001)
Earman, J., Norton, J.D.: Exorcist XIV: The wrath of Maxwell’s demon (Part I: From Maxwell to Szilard). Studies in the History and Philosophy of Modern Physics 29, 435–471 (1998)
Earman, J., Norton, J.D.: Exorcist XIV: The wrath of Maxwell’s demon (Part II: From Szilard to Landauer and beyond). Studies in the History and Philosophy of Modern Physics 30, 1–40 (1999)
Fermi, E.: Thermodynamics. Dover, New York (1936)
Feynman, R.P.: Feynman Lectures on Computation. In: Hey, J.G., Allen, W. (eds.) Addison-Wesley, Reading, MA. (1996).
Jones, D.S.: Elementary Information Theory. Clarendon Press, Oxford (1979)
Ladyman, J., Presnell, S., Short, A., Groisman, B.: The connection between logical and thermodynamic irreversibility. Studies in History and Philosophy of Modern Physics (2007)
Landauer, R.: Irreversibility and heat generation in the computing process. IBM Journal of Research and Development (Reprinted in Leff and Rex (1990)) 5, 183–191 (1961)
Landauer, R.: Dissipation and heat generation in the computing process. IBM Journal of Research and Development 5, 183–191 (1961)
Leff, H.S., Rex, A.F. (eds.): Maxwell’s demon: Entropy, information, computing, Bristol, Adam Hilger (1990)
Leff, H.S., Rex, A.F. (eds.): Maxwell’s demon 2: Entropy, classical and quantum information, computing. Bristol: Institute of Physics (2003)
Maroney, O.J.E.: The (absence of a) relationship between thermodynamic and logical reversibility. Studies in History and Philosophy of Modern Physics 36, 355–374 (2005)
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, 375–411 (2005)
Piechocinska, B.: Information erasure. Physical Review A, 61, 062314, 1–9 (2000)
Shizume, K.: Heat generation required by information erasure. Physical Review E 52, 3495–3499 (1995)
Szilard, L.: On the decrease of entropy in a thermodynamic system by the intervention of intelligent beings. Zeitschrift für Physik 53, 840–856 (1929) (Reprinted in Leff and Rex (1990), 124–133)
Uffink, J.: Bluff Your Way in the Second Law of Thermodynamics. Studies In History and Philosophy of Modern Physics 32, 305–394 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ladyman, J. (2007). Physics and Computation: The Status of Landauer’s Principle. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_46
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)