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

DOI10.1016/j.shpsb.2019.07.001zbMath1425.80005OpenAlexW2964252889MaRDI QIDQ2008995

Meir Hemmo, Orly R. Shenker

Publication date: 26 November 2019

Published in: Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.shpsb.2019.07.001

zbMATH Keywords

entropysecond law of thermodynamicsLandauer's principleindividuation of computationlogical (ir)reversibility

Mathematics Subject Classification ID

Classical and relativistic thermodynamics (80A10) Measures of information, entropy (94A17)

Related Items (3)

Observer Dependent Physicalism: A New Argument for Reductive Physicalism and for Scientific Realism ⋮ Quantum Mechanics as a Theory of Probability ⋮ Information vs. entropy vs. probability

Cites Work

• Unnamed Item
• Entropy and computation: the Landauer-Bennett thesis reexamined
• Waiting for Landauer
• Exorcist XIV: the wrath of Maxwell's demon. I: From Maxwell to Szilard
• The (absence of a) relationship between thermodynamic and logical reversibility
• Eaters of the lotus: Landauer's principle and the return of Maxwell's demon
• The connection between logical and thermodynamic irreversibility
• EXORCIST XIV: the wrath of Maxwell's demon. II: From Szilard to Landauer and beyond
• Maxwell's demon and the thermodynamics of computation
• Notes on Landauer's principle, reversible computation, and Maxwell's demon
• What does it mean to say that a physical system implements a computation?
• Conservative logic
• Does a rock implement every finite-state automaton?
• What is computation?
• Searle's abstract argument against strong AI
• The physical nature of information
• Functional individuation, mechanistic implementation: the proper way of seeing the mechanistic view of concrete computation
• MATHEMATICAL FACTS IN A PHYSICALIST ONTOLOGY
• The Road to Maxwell's Demon
• Physical Computation
• Irreversibility and Heat Generation in the Computing Process
• Logical Reversibility of Computation

This page was built for publication: The physics of implementing logic: Landauer's principle and the multiple-computations theorem