pith. sign in
module module high

IndisputableMonolith.ArtHistory.FibonacciInComposition

show as:
view Lean formalization →

This module defines the golden section as 1/φ and related Fibonacci composition objects inside the Recognition Science treatment of art history. Researchers examining self-similar divisions in artistic structures would cite these definitions. The module is purely definitional with no proofs or theorems.

claimThe golden section of unit length is $1/φ$.

background

The module resides in the ArtHistory domain and imports IndisputableMonolith.Constants, whose sole documented object is the RS time quantum τ₀ = 1 tick. It introduces goldenDivision together with its basic properties and the FibonacciCompositionCert structure. The supplied module doc-comment states the central object directly: golden section of unit length 1/φ.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies goldenDivision and FibonacciCompositionCert for use in composition analysis. No downstream theorems are recorded in the dependency graph. It supplies the phi-based division that aligns with the self-similar fixed point of the Recognition framework.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)