Registry · Remark V.R134 tau-effective formalized

V.R134 — Two faces of the same problem

Two faces of the cosmological constant problem: (i) why so small? Lambda ~ 10^{-52} m^{-2} is 10^{120} times smaller than the Planck-scale value; (ii) why nonzero? A tiny nonzero value requires fine-tuning or a dynamical mechanism.

Book V Part 3 Ch. 26

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DarkEnergyArtifact

Symbol: Tau.BookV.Thermodynamics.TwoFacesOfTheSameProblem