solarMassTemperature
plain-language theorem explainer
Solar mass temperature supplies the Hawking temperature evaluated at M = 2 × 10^30 kg, returning a value near 6 × 10^{-8} K. Black-hole thermodynamics researchers cite it when anchoring RS-derived temperatures against the cold solar-mass regime. The definition is obtained by direct substitution of the standard formula into RS-native constants.
Claim. The Hawking temperature for a black hole of mass M = 2 × 10^{30} kg is T = ħ c³ / (8 π G M k_B).
background
The module derives black-hole thermodynamics from Recognition Science by treating horizon area as ledger information capacity and temperature as the τ₀-scale at the horizon. Hawking temperature follows the standard expression T_H = ħ c³ / (8 π G M k_B), with entropy proportional to area rather than volume. Upstream constants supply the RS-native forms: G = λ_rec² c³ / (π ħ) and ħ = φ^{-5} (in units where c = 1).
proof idea
One-line definition that substitutes the Hawking temperature formula with solar mass inserted.
why it matters
The definition anchors the RS black-hole temperature scale in the solar-mass regime, supporting the module target of deriving Bekenstein-Hawking thermodynamics from information capacity. It fills the concrete numerical step in the QG-001/QG-002 chain that links horizon ledger capacity to the inverse-mass temperature law.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.