planckEnergy
plain-language theorem explainer
planckEnergy defines the Planck energy as the rest energy of the Planck mass. Quantum gravity researchers and Recognition Science derivations cite it when assembling the set of natural units at the Planck scale. The definition is a one-line wrapper that applies the planckMass definition and multiplies by c squared.
Claim. $E_P = m_P c^2$ where $m_P = √(ℏ c / G)$ denotes the Planck mass.
background
The module derives the Planck length, mass, and time from Recognition Science principles that relate these scales to τ₀ and φ. Planck energy is introduced as the rest energy of the Planck mass, completing the basic set of Planck units where quantum mechanics and gravity intersect. Upstream results supply the Planck mass as √(ℏ c / G) and the Boltzmann constant k_B = 1.380649 × 10^{-23} J/K, both used in sibling definitions within the same module.
proof idea
One-line wrapper that applies the planckMass definition and multiplies by c squared.
why it matters
This definition supplies the energy that feeds the Planck temperature definition downstream in the same module. It fills the energy slot in the QG-009 & QG-010 target of deriving Planck scales from φ, with the module doc noting the connection to τ₀ and fundamental discreteness. The placement supports the broader Recognition Science derivation of constants from the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.