Logic and entropy

Abstract

A remarkable thesis prevails in the physics of information, saying that the logical properties of operations that are carried out by computers determine their physical properties. More specifically, it says that logically irreversible operations are dissipative by klog2 per bit of lost information. (A function is logically irreversible if its input cannot be recovered from its output. An operation is dissipative if it turns useful forms of energy into useless ones, such as heat energy.) This is Landauer's dissipation thesis, hereafter LDT. LDT underlies and motivates numerous researches in physics and computer science. Nevertheless, this paper shows that is it plainly wrong. This conclusion is based on a detailed study of LDT in terms of the various notions of entropy used in main stream statistical mechanics. It is supported by a counter example for LDT. Further support is found in an analysis of the phase space representation on which LDT relies. This analysis emphasises the constraints placed on the choice of probability distribution by the fact that it has to be the basis for calculating phase averages corresponding to thermodynamic properties of individual systems. An alternative representation is offered, in which logical irreversibility has nothing to do with dissipation. The strong connection between logic and physics, that LDT implies, is thereby broken off.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2009-01-28

Downloads
78 (#209,251)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Orly Shenker
Hebrew University of Jerusalem

Citations of this work

The physics of implementing logic: Landauer's principle and the multiple-computations theorem.Meir Hemmo & Orly Shenker - 2019 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 68:90-105.
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.
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.
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.
The (absence of a) relationship between thermodynamic and logical reversibility.O. J. E. Maroney - 2005 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (2):355-374.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references