3 ms·
> you'd be able to write a test to determine if any program halts Halt != bug, so this problem doesn't really apply. You can write provably correct software,
by heartbreak 7y ago
> you'd be able to write a test to determine if any program halts
Halt != bug, so this problem doesn't really apply.
You can write provably correct software, even if we still haven't solved the halting problem.
- ehaliewicz2 7y agoIn most languages you can definitely introduce a bug which causes a program to not halt.
- owl57 7y agoYes, but do you often need to automatically determine if a bug causes a program to run indefinitely or only much longer than expected? That would be the halting problem, yes (strictly speaking, some subset of it, and for many programs a decidable one).