Registry · Remark IV.R333 tau-effective formalized

IV.R333 — Comparison with Boltzmann

Boltzmann's S = k_B ln W counts microstates compatible with macroscopic constraints; holomorphic entropy counts CR-compatible continuations from a given node in the Cayley graph; the Boltzmann formula is an emergent coarse-graining when many particles are present and precise CR-path structure is forgotten.

Book IV Part 3 Ch. 22

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.ComparisonWithBoltzmann