rsDimension
plain-language theorem explainer
Recognition Science fixes the spatial dimension at three via the forcing chain. Physicists connecting RS to superstring theory cite this constant when subtracting from the critical dimension ten to obtain seven compactified dimensions. The definition is a direct constant assignment matching the T8 result.
Claim. The Recognition Science spatial dimension $D$ is defined to be $3$.
background
Recognition Science derives three spatial dimensions from the forcing chain at T8. The module SuperstringTheoryFromRS connects this to superstring theory by noting that the critical dimension is ten, so the seven extra dimensions satisfy 10 - 3 = 7 and also equal 2^3 - 1, the number of flip variants of the 3-cube.
proof idea
This is a direct definition that assigns the constant value three. No lemmas or tactics are applied; the body is simply the numeral three.
why it matters
This definition supplies the base value three required by T8 and anchors the RS-superstring link in the module. It is used by extraDimensions, rsSpacetimeDim, f2CubeSize, and LinearAlgebraCert. The module documentation states that D equals three from T8 and that the seven compactified dimensions equal the seven flip variants of the 3-cube.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.