4 ms·
There is no need to solve halting problem in general case. We can have heuristics that do not accept programs they are not sure about and it is programmer's job
by elmigranto 9y ago
There is no need to solve halting problem in general case. We can have heuristics that do not accept programs they are not sure about and it is programmer's job to make correctness more obvious.