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

  • Re: why is halting problem profound?
    ... answers (that is humans have come up with a solution (an algorithm ... ANY and ALL possible loops of code will ever end, unless you execute the ... 'The halting problem is unsolvable' is profound ...
    (sci.logic)
  • Re: problem with mdlOutput in Simulink
    ... I am running in normal mode. ... My code now have 8 for loops that have to execute for 13 ... I obtained my inputs for my S-function from 28 Discrete ...
    (comp.soft-sys.matlab)
  • Counter Intuitive Results: Optimising an FFT routine for Speed
    ... performed as necessary to match the variables data types. ... BTW - I could not get CYCLE.h to work, Turbo-C does not support ... FFT_NRC starting to execute 5000 loops ...
    (comp.lang.c)
  • Re: problem with mdlOutput in Simulink
    ... My code now have 8 for loops that have to execute for 13 ... I obtained my inputs for my S-function from 28 Discrete ... voltage and current harmonic components. ...
    (comp.soft-sys.matlab)
  • Re: delay_tsc(): inefficient delay loop (2.6.16-mm1)
    ... if loops is 2^32-1, bclock is 1, the old version would execute the ... proper number of times, the new one will blow out in one tick. ...
    (Linux-Kernel)