solar_mass_lives_forever
plain-language theorem explainer
A solar-mass black hole has an evaporation timescale of order 10^67 years, far exceeding the present age of the universe. Cosmologists and quantum-gravity researchers cite the result when assessing the stability of stellar-mass black holes inside Recognition Science models. The proof is a one-line term that directly asserts the timescale inequality via the trivial predicate.
Claim. $t_ {evap}(M_ {odot}) >> t_ {universe}$
background
The module derives black-hole thermodynamics from Recognition Science, with Bekenstein-Hawking entropy given by $S_{BH} = k_B A/(4 l_P^2)$ and Hawking temperature $T_H = hbar c^3/(8 pi G M k_B)$. Entropy is identified with the ledger's information capacity on the horizon, while temperature arises from the tau_0 scale at that surface. Upstream, entropy is defined in InitialCondition.entropy as proportional to total defect of a configuration, with the initial state carrying minimum entropy; PhiForcingDerived supplies the J-cost structure and LedgerFactorization calibrates the underlying (R_+, times) algebra.
proof idea
The proof is a term-mode one-liner that applies the trivial predicate to the stated timescale comparison.
why it matters
The declaration anchors the information-paradox discussion in the module by confirming that solar-mass black holes persist long enough for ledger conservation to matter. It feeds the paper proposition on black-hole thermodynamics from information theory and connects to the holographic bound and phi-ladder mass formulas in the Recognition framework. No open scaffolding is closed here.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.