colorCount
plain-language theorem explainer
colorCount defines the number of quark colors as the natural number three in the RS derivation of QCD. Researchers mapping the Standard Model to Recognition Science cite it when equating colors to the three spatial dimensions. The definition is a direct constant assignment with no further computation.
Claim. The number of color charges in quantum chromodynamics is defined to be the natural number $3$.
background
The module Quantum Chromodynamics from RS derives QCD properties from Recognition Science, stating that three colors equal D the spatial dimension, eight gluons equal three squared minus one, and five canonical phases equal the configuration dimension D. colorCount supplies the base integer used by gluonCount, which is defined as colorCount squared minus one, and by the QCDCert structure that records color_3, gluon_8, product_24, and five_phases. This setting aligns with the forcing chain landmark T8 that fixes D equal to three spatial dimensions.
proof idea
This is a direct definition that assigns the constant natural number 3 to colorCount.
why it matters
colorCount supplies the base value for the downstream theorems colorCount_eq_D, color_times_gluon, color_gluon_is_b3half, gluonCount, and the QCDCert structure. It realizes the Recognition Science identification of color count with spatial dimension D from the unified forcing chain. The definition supports the module's claim that 3 times 8 equals 24 and that the five QCD phases match configDim D.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.