obs_age_s
plain-language theorem explainer
Recognition Science supplies the observed age of the universe in seconds via the constant 4.354e17, taken from the Planck 2018 measurement of 13.787 Gyr. Workers converting native-unit cosmological predictions to SI units cite this value to anchor comparisons with data. The definition proceeds by direct numerical assignment with no derivation inside the system.
Claim. The observed age of the universe is defined to be $4.354 × 10^{17}$ seconds, corresponding to the Planck 2018 value of 13.787 Gyr.
background
Recognition Science derives all physics in native units where c = ℓ₀ = τ₀ = 1. This module supplies the SI calibration seam that converts native predictions into human units using external experimental anchors such as the Planck length ℓ_P ≈ 1.616255 × 10^{-35} m and Planck time t_P ≈ 5.391247 × 10^{-44} s. The observed age enters as one such anchor so that ratios such as t_age / t_P can be formed for direct comparison with theory. The module states explicitly that these SI numerical values are CODATA-sourced experimental numbers and are not RS predictions.
proof idea
Direct definition that assigns the numerical value 4.354e17 drawn from the Planck 2018 data conversion of 13.787 Gyr into seconds.
why it matters
This definition anchors the SI reporting seam for cosmological observables inside the Recognition Science framework. It permits native-unit results (including those built on the phi-ladder, J-cost, and eight-tick octave) to be expressed in seconds without embedding experimental numbers into the core theory. The module positions it as part of the bridge that lets ratios R_obs / ℓ_P and t_age / t_P be computed while keeping the theoretical content in the ratios themselves.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.