Re: What is the Result from Invoking this Halt Function?
From: Will Twentyman (wtwentyman_at_read.my.sig)
Date: 08/10/04
- Next message: newstome_at_comcast.net: "Re: The proof that I was referring to is on the website"
- Previous message: Simon G Best: "Re: What is the Result from Invoking this Halt Function?"
- In reply to: Peter Olcott: "Re: What is the Result from Invoking this Halt Function?"
- Next in thread: Peter Olcott: "Re: What is the Result from Invoking this Halt Function?"
- Reply: Peter Olcott: "Re: What is the Result from Invoking this Halt Function?"
- Reply: >parr\(*>: "Re: What is the Result from Invoking this Halt Function?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Tue, 10 Aug 2004 11:27:33 -0400
Peter Olcott wrote:
> "Marc Goodman" <marc.goodman@comcast.net> wrote in message news:U_XRc.277260$Oq2.198273@attbi_s52...
>
>>Peter Olcott wrote:
>>
>>>>Isn't it about time you started to read Turing's proof so you can
>>>>pinpoint the exact line which is in error?
>>>
>>>It looks like the error is in its application to the Halting Problem.
>>>I did print it out. There is some material that is interesting and easy.
>>
>>So, Peter, just to make sure I understand...
>>You now say that since your refutation of Turing's proof does
>>not actually apply to Turing's proof, that it's because Turing's
>>proof has been erroneously applyed to halting problem? Or, your
>
>
> It looks like Turing's proof may be erroneously applied to the
> Halting Problem. It looks like Turing might have assumed that
> the Halt function must always return a result to all callers.
That is basically what the Halt function is *defined* to do. "return a
result to all callers," is not how it is normally defined, but that is a
fairly good description of the required behavior.
It appears that you don't understand what the Halting Problem is talking
about.
-- Will Twentyman email: wtwentyman at copper dot net
- Next message: newstome_at_comcast.net: "Re: The proof that I was referring to is on the website"
- Previous message: Simon G Best: "Re: What is the Result from Invoking this Halt Function?"
- In reply to: Peter Olcott: "Re: What is the Result from Invoking this Halt Function?"
- Next in thread: Peter Olcott: "Re: What is the Result from Invoking this Halt Function?"
- Reply: Peter Olcott: "Re: What is the Result from Invoking this Halt Function?"
- Reply: >parr\(*>: "Re: What is the Result from Invoking this Halt Function?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
