Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall

Documenti analoghi

• On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions
  di: Merle, Eric
  Pubblicazione: (2026)
• Fake Cycles, Spectral Gap, and the BIP Property in Collatz Dynamics
  di: okabe, arata
  Pubblicazione: (2026)
• Collatz Conjecture: Universal Cycle Descent (27n+19)/32 < n ? Lean4 Verified for All n>=4
  di: Fujimoto, Nobuki, et al.
  Pubblicazione: (2026)
• A Lean 4 Proof Architecture for a Normalized 4D Mass Gap Theorem Phase 3 Spectral Gap Formalization and External-Audit Boundary
  di: Itakura, Hidetoshi
  Pubblicazione: (2026)
• Lean Representational Incompleteness (Lean formalization)
  di: Spivack, Nova
  Pubblicazione: (2026)