Registry · Remark IV.R334 tau-effective not_applicable

IV.R334 — Connection to Landauer's principle

Landauer's principle (erasing one bit costs at least k_B T ln 2) maps to forgetting which holomorphic path was taken -- projecting from a fine to a coarser level in the refinement tower; the asymmetry of tau^1 makes this forgetting irreversible, so computation has a thermodynamic cost.

Book IV Part 3 Ch. 22

Lean Formalization

Module: