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

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Merle, Eric
Format:	Recurso digital
Published:	Zenodo 2026
Subjects:	Collatz conjecture 3x+1 problem Collatz cycles linear forms in logarithms Baker's theorem continued fractions irrationality measure formal verification Lean 4 Mathlib
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet