I've always felt that the lesson in the Halting Problem was that you should write programs that a theoretical P would be able to take in as data and calculate a

I've always felt that the lesson in the Halting Problem was that you should write programs that a theoretical P would be able to take in as data and calculate an answer. It's easy to make computers blow up but hard to make them useful. That's why we have well paying jobs managing them.