|
Not Ranked
:
+0 / -0
0 score
Re: Halting Undecidability proof faulty?
The Halting Program takes any other program as an input.
Nothing is ever said about what is DONE with that input.
Maybe it just counts the number of IF statements and divides by the number of Comments, and this magically tells it whether or not the other program will halt.
If you feed the Halting Program (HP) a copy of itself (hp), the HP doesn't know that hp is a copy of itself and doesn't care. It just counts IFs and Comments like it always does and comes up with an answer.
It still works.
But now you modify hp to make hp'. hp' is adjusted so that if hp would have halted, hp' doesn't; if hp would have gone on forever, hp' halts.
Now when HP is given hp' as an input, HP gives the wrong answer!
Ta-da!
----------------
Hypography Forums Moderator
-- - - - - -
What concerns me is not the way things are, but rather the way people think things are.
Epictetus, Greek Philosopher
The map is NOT the territory.
Korzybski, Polish-American Philosopher
|
