Re: Can you find anything wrong with this solution to the Halting Problem?

From: Peter Olcott (olcott_at_worldnet.att.net)
Date: 07/11/04 

Date: Sun, 11 Jul 2004 14:03:05 GMT

> Look. The LoopIfHalts() is part of a proof that the halting
> problem is unsolvable. That proof is a proof - the halting
> problem _is_ unsolvable, because the proof is valid. Now

Yes the proof is valid. I am not attempting to refute the proof.
Instead I am attempting to refute the conclusion based on
the proof.

(paraphrase).
The construction of a function that achieves universal halt
detection is impossible.

> you come up with silly schemes for WillHalt that ouputs
> part of the answer to the screen and part to stdout, so
> if someone only knows the stdout part one can't tell what
> the answer was. So friggin what? The combination of the
> information the program writes on the screen plus
> what it writes to stdout _does_ give a solution to
> the halting problem, and it's impossible for a
> program to do that! You keep asking for refutations,
> but there's nothing here to refute that wasn't
> refuted by Turing long ago - splitting the output
> into two channels does not somehow make it possible
> for a program to answer an impossible question.

You are refuting what I am saying from the context that
my goal is to refute the original proof. Since that is not
my goal your refutations are formed with an incorrect
basis. Because they are formed with an incorrect basis,
they are also incorrect. Non Sequitur.

Relevant Pages

  • Re: Disproof of the Halting Problems Conclusion
    ... > If I can provide any means to refute the statement below, I have refuted the HAlting Problem. ... >>bool StandardWillHalt(string function, string input) ... If you can offer the source code, I can modify how it does ...
    (comp.theory)
  • Re: Disproof of the Halting Problems Conclusion
    ... > If I can provide any means to refute the statement below, I have refuted the HAlting Problem. ... >>bool StandardWillHalt(string function, string input) ... If you can offer the source code, I can modify how it does ...
    (sci.logic)
  • Re: Disproof of the Halting Problems Conclusion
    ... >> If I can provide any means to refute the statement below, I have refuted the HAlting Problem. ... It ONLY proves that bool WillHalt() does not exist. ...
    (sci.logic)
  • Re: Disproof of the Halting Problems Conclusion
    ... >> If I can provide any means to refute the statement below, I have refuted the HAlting Problem. ... It ONLY proves that bool WillHalt() does not exist. ...
    (comp.theory)
  • Re: Alan Turings Halting Problem is incorrectly formed (PART-TWO)
    ... All of US already KNOW what a TM is and what the Halting ... correct answerforms a proper subset of all possible questions. ... There is no possible way for any output to be "incorrect", ... that input tape will be (in VIRTUE of its ill-formedness) ...
    (sci.logic)