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

From: Peter Olcott (olcott_at_att.net)
Date: 07/15/04 

Date: Thu, 15 Jul 2004 01:23:02 GMT

> > Yet even though this proof is not refined, it still does prevent
> > LoopIfHalts() from providing the means to show that WillHalt()
> > will not always work correctly. In other words no matter how
> > inelegant my proof may be, it still proves its point.
>
> Not quite.
>
> If your blocker is what I think it is, you've merely made the
You haven't even read what I said have you?
No its not what you think it is. Go read it and see.

> But you have not removed them.
Prove it, I have had far too much of baseless assertions.

Relevant Pages