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

From: Alex Hunsley (lard_at_tardis.ed.ac.molar.uk)
Date: 07/13/04 

Date: Tue, 13 Jul 2004 16:09:43 +0100

Peter Olcott wrote:

>>As has been pointed out by others in this thread, the LoopIfHalts
>>machine is not introduced in order to "thwart" the decider of the
>>halting problem. The possibility of constructing LoopIfHalts is a
>>_necessary consequence_ of the assumption of the decidability of the
>>halting problem. LoopIfHalts is built using WillHalt() as a simple
>
>
> Not if you study what I have said its not. I figured out how to
> make the construction of LoopIfHalts() impossible. Of course
> you are free to assume that it doesn't work without looking at
> it, but, this does not form any sort of valid refutation.
>

Again, you've failed to understand the meaning of "proof by contradiction".
Saying, "I am right and you are wrong" doesn't change this fact.

Relevant Pages