planck_to_seconds
plain-language theorem explainer
Converts a time expressed as a multiple of the Planck time into seconds via direct scaling by the fixed SI Planck time. Cosmologists matching Recognition Science predictions for cosmic age or expansion rates to observational data would apply this conversion. The definition is a one-line scalar multiplication by the CODATA-sourced constant.
Claim. If $t$ denotes a time expressed as a multiple of the Planck time, the corresponding time in seconds is $t$ times $5.391247$ times $10^{-44}$.
background
Recognition Science derives physics in native units where $c = 1$, so cosmological observables require an external calibration seam to SI units. The module supplies the Planck time anchor $t_P = 5.391247$ times $10^{-44}$ s drawn from CODATA 2018, together with conversion formulas that preserve the theoretical ratios while attaching the human-defined meter and second.
proof idea
One-line wrapper that multiplies the input by the constant planck_time_SI.
why it matters
This definition supplies the time half of the SI reporting seam, allowing native RS quantities such as the age of the universe in Planck times to be rendered in seconds for direct comparison with Hubble or supernova data. It completes the bridge described in the module documentation and supports the Hubble-parameter conversion formula given in the same file.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.