Registry · Definition IV.D80 tau-effective formalized

IV.D80 — Holomorphic Entropy

Entropy S(n) = lim_{r→∞} (1/r) ln P_holo(n,r): exponential growth rate of CR-compatible continuations. Measures the address count compatible with given constraints.

Book IV Part 3 Ch. 22

Dependency Graph

Depends on (1)

IV.D24

Depended on by (3)

IV.P30 IV.R21 IV.T31

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.HolomorphicEntropy