strCriticalDim
plain-language theorem explainer
The declaration introduces the critical spacetime dimension of superstring theory as the natural number 10. Researchers comparing string compactifications to Recognition Science's derived D=3 would cite this constant when calculating the number of extra dimensions. It is supplied as a direct numeric definition with no internal computation or proof obligations.
Claim. The critical dimension of superstring theory is the natural number $10$.
background
The module examines structural parallels between Recognition Science and superstring theory. Recognition Science fixes three spatial dimensions via the eight-tick octave (T8) in the forcing chain, while superstring theory requires a critical dimension of 10. Their difference supplies seven compactified dimensions, which the module equates to the seven flip variants of the three-dimensional cube. The sibling definition rsDimension supplies the RS value 3 against which the critical dimension is subtracted.
proof idea
The declaration is a direct numeric assignment of the constant 10 with no lemmas or tactics applied.
why it matters
This constant is the immediate input to the sibling definition extraDimensions, which subtracts the RS dimension to obtain seven extra dimensions. It thereby links the T8 result D=3 to the superstring critical dimension and to the 2^3-1 flip-variant count. The placement highlights an open structural question: whether Recognition Science can derive the string critical dimension internally rather than importing it as a constant.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.