twoPowDminus1
plain-language theorem explainer
Recognition Science counts the Maxwell equations as two raised to the power of (D minus one) with D fixed at three. This definition supplies the resulting integer value of four. Researchers deriving electromagnetism from recognition principles cite it to match the standard equation count. The definition is a direct arithmetic evaluation.
Claim. The natural number $2^{D-1}$ evaluated at spatial dimension $D=3$.
background
The module derives Maxwell's equations from recognition principles as a U(1) gauge theory on the recognition Hilbert space. It identifies the four equations with two to the power of (D minus one) where D equals three, and notes five canonical EM phenomena equal configDim D equals five. This definition computes the numerical value for the equation count.
proof idea
The definition is a direct evaluation of the arithmetic expression two raised to the power of (three minus one).
why it matters
This definition supplies the value used in the theorem maxwell_eq_2pwr that equates maxwellCount to this number. It realizes the framework step fixing D at three spatial dimensions and counting four Maxwell equations as two to the power of (D minus one). It supports the derivation of the equations and the EM phenomena count in the recognition science approach.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.