Registry · Remark IV.R329 tau-effective not_applicable

IV.R329 — The cosmological constant problem

In tau^3, vacuum energy is naturally regulated by the ultrametric cutoff: the Cayley graph has finite branching preventing the divergences that plague continuum field theory; the precise value of rho_vac requires Book V, but the cosmological constant problem is tractable because the substrate is discrete.

Book IV Part 3 Ch. 22

Lean Formalization

Module: