Registry · Proposition V.P96 tau-effective formalized

V.P96 — BH Entropy Formula

BH entropy S_BH = k_B * A/(4*iota_tau^2) is derived from boundary counting: the torus horizon T^2 with area A has boundary characters at each refinement level contributing log-microstates proportional to A/iota_tau^2, recovering the Bekenstein-Hawking formula with iota_tau replacing l_P.

Book V Part 6 Ch. 52

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.NoShrinkExtended

Symbol: Tau.BookV.Cosmology.BhEntropyFormula