Collatz conjecture becomes theorem
General Mathematics
2026-03-03 v3 Logic in Computer Science
Abstract
The Collatz hypothesis is a theorem of the algorithmic theory of natural numbers. We prove the (algorithmic) formula that expresses the halting property of Collatz algorithm. The observation that Collatz's theorem cannot be proved in any elementary number theory completes the main result.
Cite
@article{arxiv.2310.13035,
title = {Collatz conjecture becomes theorem},
author = {Grażyna Mirkowska and Andrzej Salwicki},
journal= {arXiv preprint arXiv:2310.13035},
year = {2026}
}