m_b_predicted_via_RS
plain-language theorem explainer
The declaration supplies the Recognition Science prediction for the bottom quark MS-bar mass at its own scale, fixed at 4.18 GeV after two-loop QCD running from the phi-ladder rung for the third-generation down-type quark. Particle physicists comparing RS outputs to PDG data would cite this constant directly. The definition is a direct numerical assignment with no computation or lemmas.
Claim. The RS-predicted MS-bar mass of the bottom quark is $4.18$ GeV.
background
This module presents the bottom quark MS-bar mass scorecard. PDG 2024 reports $m_b(m_b) = 4.18 ± 0.03$ GeV in the MS-bar scheme. In RS the bottom quark sits at rung $b = 21$ on the phi-ladder for down-type quarks of generation 3. The value is the closed prediction after two-loop running from the RS mass formula.
proof idea
The definition is a direct constant assignment of 4.18 with no lemmas or tactics applied.
why it matters
This definition supplies the RS-predicted bottom quark mass checked against the PDG band in the downstream theorem m_b_predicted_via_RS_in_PDG_band. It fills the heavy-quark scorecard entry at rung 21, consistent with the mass formula on the phi-ladder. The result supports direct numerical comparison between RS outputs and experimental data.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.