Registry · Remark IV.R21 tau-effective formalized

IV.R21 — Energy-Entropy Complementarity

Energy and entropy are dual aspects of the address-obstruction framework. Energy = address maintenance cost; entropy = address count.

Book IV Part 3 Ch. 22

Dependency Graph

Depends on (2)

IV.D76 IV.D80

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.EnergyentropyComplementarity