seconds_to_Gyr
plain-language theorem explainer
Converts an input time in seconds to gigayears by dividing by the SI duration of one billion years. Cosmologists expressing Recognition Science timescales in observational units would cite the conversion. The definition performs a direct division by the constant Gyr_SI.
Claim. For a real number $t_s$ denoting seconds, the map is $t_s / Gyr_{SI}$, where $Gyr_{SI}$ is the number of seconds in one billion years.
background
Recognition Science derives physics in native units with $c=1$. The module supplies an SI calibration seam so that predictions can be compared to observations in meters, seconds, and Gyr. The Planck length and time provide the external numerical anchor; all theoretical content resides in the ratios, not the SI values themselves.
proof idea
One-line definition that divides the input by the constant Gyr_SI.
why it matters
The definition belongs to the SI calibration seam that lets RS-native predictions reach human units for cosmological observables. It supplies one of the conversion formulas listed in the module documentation and supports comparison of cosmic timescales with data.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.