cmbTempLow
This definition supplies the lower edge 2.7 of the CMB temperature structural band for Recognition Science cosmology calculations. Workers on the five canonical CMB observables cite it when bounding the temperature range consistent with phi-ladder scaling and Wien's law. The declaration is a direct constant assignment with no computation or lemmas required.
claimThe lower bound of the cosmic microwave background temperature in the Recognition Science structural band is defined as $2.7$ (in Kelvin).
background
The module records the observed CMB temperature as 2.725 K and states that its product with the age of the universe (approximately 4.35 × 10^17 s) approximates a constant under Wien's law. It further gives the RS-native scaling T_CMB ≈ 1 / (φ^45 × τ₀ × constant), where φ is the self-similar fixed point from the forcing chain. Five canonical observables (temperature, spectral index, tensor-to-scalar ratio, baryon density, dark energy) are identified with configDim D = 5.
proof idea
The declaration is a direct definition that assigns the real number 2.7 with no lemmas or tactics applied.
why it matters in Recognition Science
This definition anchors the lower limit of the CMB temperature band inside the S3 cosmology module. It supports the structural link between temperature and universe age via the phi-based expression and contributes to the count of five CMB observables matching configDim D = 5. The placement is consistent with the eight-tick octave and the overall forcing chain that derives D = 3 spatial dimensions.
scope and limits
- Does not derive the numerical value from the phi-ladder or mass formula.
- Does not state the upper bound or the precise observed value 2.725.
- Does not encode the Wien's law product or the φ^45 scaling inside the definition.
- Does not reference the other four CMB observables or configDim D = 5.
formal statement (Lean)
33def cmbTempLow : ℝ := 2.7