Registry · Theorem V.T66 tau-effective formalized

V.T66 — The vacuum catastrophe is a category error

The vacuum catastrophe is a category error: the QFT vacuum energy density is not the energy of the vacuum state but a refinement count (lattice modes weighted by zero-point energy), corresponding to S_ref, not physical energy. The physical vacuum energy E_bdry is finite and cutoff-independent.

Book V Part 3 Ch. 25

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.VacuumNoVoid

Symbol: Tau.BookV.Thermodynamics.TheVacuumCatastropheIsACategoryError