[staunton]

There's two reasons why "halting problem" does not mean that's impossible in practice. First, the halting problem deals with arbitrary length programs that have infinite memory. Second, we don't need to solve "all cases" of the problem. You could have a system that times out for some inputs but is still very useful.