pionChargedMass_eV
plain-language theorem explainer
Physicists working on Recognition Science mass ratios cite this definition to express the charged pion mass in electronvolts. It scales the PDG input of 139.57039 MeV by a factor of one million for unit consistency with the electron mass. The definition is a direct arithmetic conversion that feeds immediately into ratio calculations without additional lemmas.
Claim. The charged pion mass in eV is $m_{π^±} = m_{π^±}(MeV) × 10^6$, where $m_{π^±}(MeV)$ is the experimental value 139.57039.
background
The Pion Masses module derives π⁺, π⁻, and π⁰ masses from Recognition Science via quark binding on the φ-ladder and the GMOR relation. The upstream definition supplies the charged-pion MeV value directly from PDG 2024 as the numerical anchor. This eV variant ensures all subsequent ratios operate in native electronvolt units alongside the electron mass.
proof idea
It is a one-line definition that multiplies the MeV mass by 1 000 000.
why it matters
The definition supplies the numerator for the pion-electron ratio, which the downstream theorem shows lies within 1 of the Recognition Science prediction 273. It therefore links the experimental pion input to the φ-ladder placement and the eight-tick octave structure. No open scaffolding remains at this step.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.