The undecidability of the halting problem is not very important · HackerTrans