On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions

Documenti analoghi

• Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall
  di: Fujimoto, Nobuki, et al.
  Pubblicazione: (2026)
• Fake Cycles, Spectral Gap, and the BIP Property in Collatz Dynamics
  di: okabe, arata
  Pubblicazione: (2026)
• Sequence of Syracuse : Extensions of types 3n+b and 5n+1
  di: BALLASI, Jacques
  Pubblicazione: (2025)
• Sequence of Syracuse : Extensions of types 3n+b and 5n+1
  di: BALLASI, Jacques
  Pubblicazione: (2025)
• Methodological Generalization of the Collatz Sequences to (1 + 2^k )n + S_k(n) with Computational Verification for k = 1 up to k = 42
  di: Ammar, HAMDOUS
  Pubblicazione: (2025)