dark_energy_scale_eV
plain-language theorem explainer
The declaration supplies the numerical value of the dark energy scale in electron volts as 0.002, matching the observed cosmological constant energy scale of approximately 2 meV. Cosmologists working on the cosmological constant problem within Recognition Science would cite this constant when contrasting naive QFT predictions with empirical data. It is supplied as a direct noncomputable definition with no derivation steps.
Claim. The observed dark energy scale is given by $ (ρ_Λ c² / ℏ³ c³)^{1/4} ≈ 2 × 10^{-3} $ eV.
background
Recognition Science addresses the cosmological constant problem by positing that the vacuum possesses a J-cost ground state from which the cosmological constant emerges. The observed value is stated as approximately 10^{-52} m^{-2}, equivalent to (10^{-3} eV)^4 in natural units. This module explores deriving Λ from RS principles including φ-scaling to explain its small but nonzero magnitude.
proof idea
The definition is a direct assignment of the constant 2e-3 in real numbers, serving as the empirical input for subsequent calculations in the module.
why it matters
This definition anchors the discussion of the cosmological constant problem within the Recognition Science framework, as outlined in COS-013. It provides the target value that any derivation from J-cost ground state must match. The module highlights its potential as a major paper topic resolving the 10^{120} discrepancy with QFT predictions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.