pith. sign in
module module high

IndisputableMonolith.Physics.StrongNuclearForceFromRS

show as:
view Lean formalization →

This module derives the strong nuclear force coupling constant from Recognition Science, delivering the explicit prediction 2/17 ≈ 0.1176. QCD phenomenologists and RS foundation researchers would cite the definitions when matching the model to low-energy hadron data. The module proceeds by importing the RS time quantum and then introducing a short chain of named constants and equalities that fix the coupling value.

claimThe RS strong coupling is defined by the constant $2/17$ (numerically ≈ 0.1176), together with the auxiliary objects strongCouplingRS, strongCouplingRS_eq, alphaSPDG, alphaSRS_near_PDG, QCDParameter, and StrongForceCert.

background

The module imports the single fundamental constant τ₀ = 1 tick from IndisputableMonolith.Constants. It then introduces the named objects strongCouplingRS, strongCouplingRS_eq, QCDParameter, and StrongForceCert that express the strong-interaction strength inside the Recognition Science framework. The local setting is the systematic extraction of Standard-Model parameters from the RS functional equation and the phi-ladder, with the supplied doc-comment identifying 2/17 as the concrete numerical output for the strong coupling.

proof idea

This is a definition module, no proofs. It consists of direct declarations of the coupling value, its equality to 2/17, and the auxiliary QCDParameter and certification objects that package the result for downstream use.

why it matters in Recognition Science

The module supplies the RS prediction for the strong coupling that completes the physics layer of the Recognition Science framework. It feeds the parent derivations of hadron masses and the overall Standard-Model parameter set by fixing the QCD scale in RS-native units. The explicit numerical match to the PDG value (≈ 0.118) is the concrete link to experiment cited in the module doc-comment.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (9)