# Converse of Collatz Conjecture

How to write a pseudocode program that halts only if the Collatz Conjecture is false.

-
In general, if you want code written you should ask in a computer forum, not in a math forum. In THIS forum, if you want help with homework, first you should show what you have done so far. – GEdgar Jan 31 '13 at 19:51
There's a Collatz Tag! – jspecter Jan 31 '13 at 20:19
"If Collatz conjecture is false then halt else go to infinite loop." I don't think code comes more pseudo than that! – Gerry Myerson Feb 1 '13 at 2:24
@GEdgar This question isn't phrased in the most sophisticated way, but (as I read it) it is a mathematical question, not a CS one. Is there an algorithm which we can prove halts iff Collatz is false? The sophisticated framing is "can we find a $\Pi^0_1$ reformulation of Collatz"? I don't see how to do it, but I will certainly be interested to see if someone can find one. – David Speyer Feb 1 '13 at 15:19
See math.stackexchange.com/questions/100218/… , where this same problem is discussed in much more sophisticated language, but without finding a solution. – David Speyer Feb 1 '13 at 20:59