4 ms·
Halting has nothing to do with being bug-free -- lots of buggy programs halt, and some obviously bug-free programs may not halt (e.g. a brute force search to de
by svantana 12y ago
Halting has nothing to do with being bug-free -- lots of buggy programs halt, and some obviously bug-free programs may not halt (e.g. a brute force search to determine Goldbach's conjecture)
- j2kun 12y agoOf course it does: checking for halting reduces to checking for bug-freeness. See the other comment in this thread.