rs_cmb_temperature
plain-language theorem explainer
The definition computes the present-day CMB temperature as the recombination temperature divided by one plus the recombination redshift. Cosmologists working inside the Recognition Science framework cite this value when matching the predicted 2.725 K to observations. It is a direct substitution into the cmb_temperature formula using the pre-derived recombination inputs.
Claim. $T_0 = T^*/(1 + z^*)$ where $T^*$ is the recombination temperature in kelvin and $z^*$ is the recombination redshift.
background
The CMB Temperature module derives the present-day blackbody temperature from the recombination epoch. Recombination temperature is obtained from the Saha equation with the RS eta parameter and yields approximately 3000 K. Recombination redshift is fixed near 1100. The module states the relation T0 = T*/(1 + z*) explicitly.
proof idea
One-line definition that applies the cmb_temperature function to recombination_temperature_K and rs_recombination_redshift.
why it matters
This supplies the temperature argument for the theorem that CMB photons obey the Planck spectrum and for the numerical check that the value lies within 0.001 of 2.725 K. It closes the RS derivation of T0 from recombination parameters, consistent with the phi-ladder constants and the eight-tick structure. The module references the paper RS_CMB_Temperature.tex.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.