If the Collatz Conjecture is unsolvable is it true? Recently Numberphile uploaded a video on Godel's Incompleteness Theorem, and the Professor in the video made the conclusion that if you can prove a statement cannot be proven true or false by the axioms and if that statement happened to be false by some counterexample, there would be a contradiction, and so the statement would be true. Then if someone could prove the Collatz Conjecture was unsolvable would they have proven that it is true? Or is that overreaching from the conclusion in the video. Also, has anyone attempted a rigorous proof that the Collatz Conjecture is unsolvable?

If you proved that Collatz was not disprovable in (say) PA, this would mean that there were no _finite cycles_ not hitting $1$. However, it would leave open the possibility that there was some number $n$ which never hit $1$, and never entered a finite cycle (just "shot off to infinity"); so this wouldn't actually prove the Collatz conjecture.

I believe there have been no serious attempts at proving Collatz to be unprovable in PA (or related theories). The problem is that we only know a small handful of techniques for showing PA-unprovability, and none of them seem to apply to Collatz. _Proving unprovability is extremely hard._

* * *

Incidentally, the statements for which PA-unprovability implies truth are those which are equivalent in PA to a $\Pi^0_1$ sentence; it is not known whether the Collatz conjecture is equivalent over PA to a $\Pi^0_1$ sentence, so currently no way is known for turning a proof of the PA-undisprovability of Collatz into a proof of the Collatz conjecture.