3 ms·
It's a joke :) https://en.wikipedia.org/wiki/Halting_problem https://en.wikipedia.org/wiki/Halting_problem
by patresi 10y ago
It's a joke :)
https://en.wikipedia.org/wiki/Halting_problem https://en.wikipedia.org/wiki/Halting_problem
- kbart 10y agoHeh, need to relax a little then. Anyway, I've heard this complain too many times from inexperienced "programmers" ("Why my program doesn't quit?"), so the truth is not far fetched..
- JD557 10y agoActually, Microsoft Research has another project to prove program termination: http://research.microsoft.com/en-us/projects/t2/ http://research.microsoft.com/en-us/projects/t2/ Obviously this cannot work on all programs, but it's nice that they tried to do their best.