Charles H. Bennett of IBM’s Thomas J. Watson Research Labs discovered that given an irreversible Turing Machine, there always exists another Turing Machine, but a reversible one, that performs the same computation; and this machine will not require many more steps than the irreversible machine; this principle, combined with Landauer’s Principle, establishes that computation can be done without producing heat.
