Skip to main content
Fixed accents and such.
Source Link
Jon Purdy
  • 20.6k
  • 9
  • 66
  • 96

I recommend you to read the "Gødel, Escher, Bach" bookGödel, Escher, Bach. It's a very fun and illuminating book that, among other things, touches on Goedel'sGödel's incompleteness theorem and the halting problem.

To answer your question in a nutshell: the halting problem is decidable as long as your program does not contain a whilewhile loop (or any of its many possible manifestations).

I recommend you to read the "Gødel, Escher, Bach" book. It's a very fun and illuminating book that, among other things, touches on Goedel's incompleteness theorem and halting problem.

To answer your question in a nutshell: halting problem is decidable as long as your program does not contain a while loop (or any of its many possible manifestations).

I recommend you to read Gödel, Escher, Bach. It's a very fun and illuminating book that, among other things, touches on Gödel's incompleteness theorem and the halting problem.

To answer your question in a nutshell: the halting problem is decidable as long as your program does not contain a while loop (or any of its many possible manifestations).

Source Link
zvrba
  • 3.5k
  • 2
  • 26
  • 22

I recommend you to read the "Gødel, Escher, Bach" book. It's a very fun and illuminating book that, among other things, touches on Goedel's incompleteness theorem and halting problem.

To answer your question in a nutshell: halting problem is decidable as long as your program does not contain a while loop (or any of its many possible manifestations).