Comment by mikewarot

Turing machines, with their infinitely long tape, break human imagination.

Surely there is some Turing machine that only halts if the Collatz conjecture is false. That could be thrown into this incredibly uncomputable mix.