why is halting problem profound?



Hi. Recently learned of the 'halting problem'. Im no philosopher (but I
know computers). I'm wondering why this theorem is considered to be so
profound and celebrated?? No offense to Turing, a great mind.

My end analysis is that he is basically saying, you cannot determine if
ANY and ALL possible loops of code will ever end, unless you execute the
loop. Whether you actually execute the code, or you unroll it using some
interpreter.. either way you are executing it. It may never end, so you
may never have an answer.

Is this non-obvious to some people? The wording of the theorem is so
abstract and it says nothing about the kind of code or instructions that
the machine is allowed to execute. It could do, or be, anything. No way
you can know until you run it.

Did I miss something? Maybe I interpreted it wrong?

thanks
.



Relevant Pages