4 ms·

I think you meant to say "may not halt"

• enriquto 6y ago
  Aren't both sentences synonymous? The problem is that the checking a condition "x<0" can take an arbitrarily long time to check, and maybe even be undecidable.