H0
plain-language theorem explainer
The definition supplies the numerical value of the present-day Hubble parameter in natural units for Recognition Science cosmology calculations. Cosmologists working within the ledger-tension model cite it when deriving the cosmological constant from expansion-induced J-cost deficits. The declaration is a direct constant assignment with no proof obligations.
Claim. $H_0 := 2.2 × 10^{-18}$ in natural units with $c = 1$.
background
Recognition Science derives dark energy from ledger tension during cosmic expansion. The J-cost function measures recognition imbalance for each ledger entry, and the global ledger must sum to zero. Expansion creates new spacetime volume that requires additional entries, leaving a residual energy density identified with the cosmological constant.
proof idea
The declaration is a direct noncomputable definition assigning the observed Hubble scale. No lemmas are applied; it serves as a numerical anchor for downstream algebraic derivations of the tension energy density.
why it matters
This value anchors the derivation of the cosmological constant as three times H0 squared, which downstream theorems prove positive and link to the phi-ladder via the J-cost per unit volume. It connects the eight-tick octave structure to observable cosmology, closing the loop from the recognition forcing chain to accelerating expansion.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.