Quote Originally Posted by Willie the Duck View Post
...(except with computer science courses, in the end there is a compiler that fails to produce a given output if you've coded wrong, so you actually in-the-end know if your logic was correct or not).
Ironically, it is impossible to prove if a given program actually has an end state or not. So while a program running a million years before it arrives with an answer is clearly impractical, you wouldn't be able to distinguish it from one running forever. You just kill both.