`fibonacci_interpretation`

definition

show as: view math explainer →

module: IndisputableMonolith.Gap45.Derivation
domain: Gap45
line: 206 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Gap45.Derivation on GitHub at line 206.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 203/-- The Fibonacci factor comes from the golden ratio φ.
 204    5 is Fibonacci(5), the smallest Fibonacci number > 1 that is coprime with 8.
 205    This ensures the gap creates a non-trivial synchronization structure. -/
 206def fibonacci_interpretation : String :=
 207  "fibonacci_factor = 5 = Fib(4): smallest Fibonacci > 1 coprime with 8"
 208
 209/-- Summary of the derivation. -/
 210def derivation_summary : String :=
 211  "45 = (8+1) × 5 = closure × fibonacci\n" ++
 212  "360 = lcm(8, 45) = full synchronization period\n" ++
 213  "D = 3 because 2^3 = 8 and lcm(8, 45) = 360"
 214
 215end Derivation
 216end Gap45
 217end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.