Bit of a side note, but the article is a bit misleading here.

Collatz-TM connections have been investigated much earlier.

My fav is John Conway in 1972, who showed that the generalized Collatz problem is undecidable.[1]

[1]: https://en.wikipedia.org/wiki/Collatz_conjecture#Undecidable...