The undecidability of the halting problem is not very important | Hacker News Reader