Foundation Coherence Exponent Uniqueness Disagreement At 4

The disagreement at four dimensions

In mathematics, a coherence exponent is a number that describes how a system's complexity scales with its dimension. The Recognition Science framework defines two such exponents from different starting points. The first, called the Fibonacci deficit, subtracts the dimension from 2 raised to that dimension: k_fib(D) = 2^D - D. The second, called the integration measure, simply adds 2 to the dimension: k_int(D) = D + 2. For a one-dimensional system these give 1 and 3, which disagree. For two dimensions they give 2 and 4, which also disagree. For three dimensions both give 5, a perfect match. But for four dimensions the first gives 12 while the second gives 6, so they disagree again.

The declaration disagreement_at_4 is a machine-checked theorem stating this last fact: that the two exponents are not equal when the dimension is 4. It is part of a small family of results that together show the agreement at dimension 3 is unique. The companion theorem exponent_unique_at_D3 proves that among dimensions 1, 2, 3, and 4, the only dimension where the two formulas agree is 3. This uniqueness is what the framework uses to argue that a coherence exponent of 5 is specially forced: two independent routes to the same number, converging only at one dimension.

Within Recognition Science, this numerical coincidence carries weight. The framework treats the number 5 as a fundamental constant, and from it derives the reduced Planck constant as phi to the power -5, where phi is the golden ratio. The same exponent appears in the Einstein coupling constant as 8 times phi to the power 5. These derivations are part of the framework's internal chain of results, not independent physical measurements.

The theorem itself is narrow. It establishes a disagreement at dimension 4 and, together with its companions, a uniqueness at dimension 3. It does not claim that the two formulas are the only possible ways to define a coherence exponent, nor does it claim that the agreement at 3 has any physical meaning outside the framework's own assumptions. The disagreement at 4 is a fact about these two specific functions, verified by direct computation, not a statement about the nature of four-dimensional space.

/-- Disagreement at D = 4. -/
theorem disagreement_at_4 : k_fib 4 ≠ k_int 4 := by decide

/-- D = 3 is the unique dimension in {1,2,3,4} where both routes agree. -/
theorem exponent_unique_at_D3 :
    ∀ D ∈ ({1, 2, 3, 4} : Finset ℕ), k_fib D = k_int D ↔ D = 3 := by
  decide

/-- From k=5: ℏ = φ^(-5) in RS units. -/
def coherenceExponent : ℕ := 5

What this page does not claim

The disagreement at 4 says nothing about four-dimensional space itself. The two formulas are not claimed to be the only possible coherence exponents. The agreement at 3 is not claimed to be a physical measurement.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Foundation/CoherenceExponentUniqueness.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: