pith. sign in
module module high

IndisputableMonolith.Cosmology.HubbleResolution

show as:
view Lean formalization →

The Cosmology.HubbleResolution module defines the ILG-corrected physical Hubble parameter that incorporates a recognition lag correction of phi to the minus five. Cosmologists examining the Hubble tension would cite these definitions to scale CMB-era values to local measurements through the extra gravity term. The module organizes its content around the core definition together with convergence and growth suppression results. It is a definition module containing no proofs.

claimThe physical Hubble parameter is $H_{phys} = H_{CMB} (1 + c)$ where the correction $c$ derives from the recognition lag $C_{lag} = phi^{-5}$ and accounts for extra gravity in the ILG framework.

background

Recognition Science derives constants in native units from a single functional equation, with the time quantum tau_0 = 1 tick supplied by the imported Constants module. The module introduces the ILG corrected Hubble parameter whose correction term is built from the recognition lag equal to phi to the minus five. This lag supplies the extra gravity that scales early-time CMB values to late-time local measurements.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the corrected Hubble parameter for cosmology applications inside the Recognition framework. It directly enables the convergence result and the structural growth suppression result contained in the module. The correction implements the extra gravity effect tied to the phi-based constants from the unified forcing chain.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (3)