[tmhn2]

John Conway showed a generalization of this problem is undecidable. I can't find a PDF but there's a blurb and citation on wikipedia: https://en.wikipedia.org/wiki/Collatz_conjecture#cite_ref-33

I don't know enough to say anything more intelligent about it, but I guess if you are reading through comments on this article you might find it interesting!