The Collatz 3n+1 Conjecture is Unprovable
arXiv:math/0312309
Abstract
In this paper, we show that any proof of the Collatz 3n+1 Conjecture must have an infinite number of lines; therefore, no formal proof is possible.
2 pages. Added part about Dyson
arXiv:math/0312309
In this paper, we show that any proof of the Collatz 3n+1 Conjecture must have an infinite number of lines; therefore, no formal proof is possible.
2 pages. Added part about Dyson