3 ms·

Most (non-trivial) well-behaved programs contain at least a single `while true`which is then broken by another piece of logic, so your method doesn't sound very

Most (non-trivial) well-behaved programs contain at least a single `while true`which is then broken by another piece of logic, so your method doesn't sound very useful to me.

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