higgsMassGeV
plain-language theorem explainer
The declaration assigns the rational value 125 to the Higgs boson mass in GeV. Researchers working on the gauge hierarchy problem inside the Recognition Science QFT treatment cite this constant when forming ratios against the Planck scale. It is supplied as a direct definition with no derivation or auxiliary computation.
Claim. The Higgs boson mass equals $125$ GeV.
background
The QFT.UVCutoff module derives a natural ultraviolet cutoff for quantum field theory from Recognition Science spacetime discreteness at the τ₀ scale. Momenta cannot exceed p_max = ℏ/τ₀, which regularizes otherwise divergent loop integrals. The Higgs mass constant is placed here to support hierarchy calculations together with the Planck mass.
proof idea
This is a direct definition that assigns the rational number 125 to the Higgs mass in GeV units.
why it matters
The constant is referenced by hierarchyRatio (higgsMassGeV / planckMassGeV) and thereby by the theorem hierarchy_very_small, which establishes that the ratio is smaller than 10^{-16}. It anchors the Recognition Science discussion of the hierarchy problem inside the UV-cutoff derivation, connecting observed particle masses to the module's target of replacing renormalization with a first-principles cutoff from discreteness.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.