The physics of implementing logic: Landauer's principle and the multiple-computations theorem

Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 68:90-105 (2019)
  Copy   BIBTEX

Abstract

This paper makes a novel linkage between the multiple-computations theorem in philosophy of mind and Landauer’s principle in physics. The multiple-computations theorem implies that certain physical systems implement simultaneously more than one computation. Landauer’s principle implies that the physical implementation of “logically irreversible” functions is accompanied by minimal entropy increase. We show that the multiple-computations theorem is incompatible with, or at least challenges, the universal validity of Landauer’s principle. To this end we provide accounts of both ideas in terms of low-level fundamental concepts in statistical mechanics, thus providing a deeper understanding of these ideas than their standard formulations given in the high-level terms of thermodynamics and cognitive science. Since Landauer’s principle is pivotal in the attempts to derive the universal validity of the second law of thermodynamics in statistical mechanics, our result entails that the multiple-computations theorem has crucial implications with respect to the second law. Finally, our analysis contributes to the understanding of notions, such as “logical irreversibility,” “entropy increase,” “implementing a computation,” in terms of fundamental physics, and to resolving open questions in the literature of both fields, such as: what could it possibly mean that a certain physical process implements a certain computation.

Similar books and articles

Notes on Landauer's principle, reversible computation, and Maxwell's Demon.Charles H. Bennett - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (3):501-510.
Maxwell's Demon.Meir Hemmo & Orly Shenker - 2010 - Journal of Philosophy 107 (8):389-411.
Eaters of the lotus: Landauer's principle and the return of Maxwell's demon.John D. Norton - 2005 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (2):375-411.
About Goodmanʼs Theorem.Thierry Coquand - 2013 - Annals of Pure and Applied Logic 164 (4):437-442.
The connection between logical and thermodynamic irreversibility.James Ladyman, Stuart Presnell, Anthony J. Short & Berry Groisman - 2006 - Studies in History and Philosophy of Modern Physics 38 (1):58-79.
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
Landauer defended: Reply to Norton.James A. C. Ladyman & Katie Robertson - 2013 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (3):263-271.
The connection between logical and thermodynamic irreversibility.James Ladyman, Stuart Presnell, Anthony J. Short & Berry Groisman - 2007 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 38 (1):58-79.
On the status of the geodesic principle in Newtonian and relativistic physics.James Owen Weatherall - 2011 - Studies in History and Philosophy of Science Part A 42 (4):276-281.

Analytics

Added to PP
2019-07-27

Downloads
419 (#44,404)

6 months
159 (#17,604)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Meir Hemmo
University of Haifa
Orly Shenker
Hebrew University of Jerusalem

References found in this work

A computational foundation for the study of cognition.David Chalmers - 2011 - Journal of Cognitive Science 12 (4):323-357.
Physical Computation: A Mechanistic Account.Gualtiero Piccinini - 2015 - Oxford, GB: Oxford University Press UK.
The Rediscovery of the Mind.John Searle - 1992 - Philosophy and Phenomenological Research 55 (1):201-207.

View all 52 references / Add more references