re Halting Problem
Also, who cares? “What are the civilian applications?”
It matters because it tells us that there are functions that cannot be computed by any physically realizable model of computation, and as for a “practical” use of the halting problem, if you can reduce a problem to the halting problem, then you can show that that problem is also uncomputable.
