3 ms·
If they are broken by another piece of logic then they can't be proven to not terminate.
by lgas 9y ago
If they are broken by another piece of logic then they can't be proven to not terminate.
- falcor84 9y agoWell, this is part of the fun the halting problem - this can be proven to terminate in some cases but not in general