Foundation Hierarchy Minimality Hierarchy Forces Phi

The minimal ladder

The golden ratio φ, about 1.618, is the number that solves r² = r + 1. It appears throughout mathematics: in the regular pentagon, in the Fibonacci sequence, and as the limit of successive ratios of Fibonacci numbers. Euclid called it the extreme and mean ratio, and it has been studied continuously since antiquity.

The number has a defining self-similarity property. If a geometric ladder has a constant ratio r between successive rungs, then the condition that the first three rungs close a step, that the third rung equals the sum of the first two, forces r to satisfy r² = r + 1. This equation has two solutions: the golden ratio φ and its negative reciprocal, about −0.618. Among positive ratios, only φ works.

In Recognition Science, the framework models a discrete geometric ledger as a ladder of scales with a fixed ratio. The framework's minimal hierarchy structure packages this ladder together with the smallest closure condition: that the third rung equals the sum of the first two. The machine-checked library of formal theorems proves that this minimal closure condition alone forces the ratio to equal φ. The declaration hierarchy_forces_phi is that proof: a theorem stating that any such closed ladder must have ratio φ.

The theorem does not claim that the golden ratio is unique among all self-similar structures. The Cantor set, for example, is self-similar with scale factor 3, and the Koch curve with scale factor 4; these satisfy different closure conditions and do not fall under this theorem. The result concerns a discrete ladder with the specific closure condition r² = r + 1, not self-similarity in general.

What the theorem establishes is a minimality result: no extra assumptions are needed beyond the ladder structure and the single closure step. This matters because it shows the golden ratio emerges from a very small algebraic seed, not from a complex construction. The framework builds on this seed in later steps, but this declaration itself only establishes the ratio.

/-- Minimal discrete hierarchy: a geometric scale ladder closed under the first
    non-trivial composition step. -/
structure MinimalHierarchy where
  scales : GeometricScaleSequence
  minimalClosure : scales.isClosed

/-- Minimal closure already forces the unique positive self-similar ratio `φ`. -/
theorem hierarchy_forces_phi (H : MinimalHierarchy) :
    H.scales.ratio = φ :=
  closed_ratio_is_phi H.scales H.minimalClosure

/-- Minimal closure already forces the unique positive self-similar ratio `φ`. -/
theorem hierarchy_forces_phi (H : MinimalHierarchy) :
    H.scales.ratio = φ :=
  closed_ratio_is_phi H.scales H.minimalClosure

What this page does not claim

The Cantor set with scale factor 3 or the Koch curve with scale factor 4 satisfy different closure conditions and are not covered by this theorem. The theorem does not claim the golden ratio is the only self-similar ratio in mathematics. This declaration does not establish any physical interpretation of the ladder.

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/HierarchyMinimality.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: