3 ms·

> If you just run it, you will not learn whether or not it halts after any finite amount of time. If it halts within a finite amount of time, you will.

• amelius 3y ago
  But that is not the only possibility. So you are missing the point.
  • Sinidir 3y ago
    They are not missing the point. The previous post was simply wrong. The halting problem is semi-decidable. So you can potentially find out wether a program halts.
    • amelius 3y ago
      Besides missing the point, this is also pedantic and quite boring.
• SideQuark 3y ago
  No you won't. Pick any finite time you will check. It may not stop by then, yet may stop later. So ahead of time, even if the program will stop, you cannot make a plan to learn that in finite time. You're stuck letting run possibly forever, because at each finite time you still cannot answer yes or no. Only if you've waited long enough, which can be arbitrarily far out, and it stops, can you answer.
  • ttctciyf 3y ago
    > Only if you've waited long enough, which can be arbitrarily far out, and it stops, can you answer So, we agree!