世界的な未解決問題であるコラッツ予想について証明が完了しました。
８本の論文執筆によるトライアンドエラーを重ねて一本の論文に辿りつきました。
(厳密には、誰でもできるcoq作業で完全証明に辿り着く論文)
よろしければダウンロードお願いいたします。
https://doi.org/10.5281/zenodo.17450965
A Fully Structural and Mechanizable Proof of the Collatz Conjecture
Creators
Matsuura, Yoshihito
ORCID icon
Description
This preprint presents the final structural proof of the Collatz Conjecture,
concluding a sequence of eight earlier research works by the author. The key
innovation is the hierarchy function H(n), which assigns each integer a finite
structural level, together with the proof that each level set C(M) contains
only finitely many elements. Combined with the monotonicity H(T(n)) ≤ H(n),
this yields finite descent and therefore convergence of all Collatz orbits to 1.
The presentation is minimal, canonical, and prepared for direct mechanization
in Coq.