Re: Can you find anything wrong with this solution to the Halting Problem?
From: Matthew Skala (mskala_at_ansuz.sooke.bc.ca)
Date: 07/18/04
- Next message: Peter Olcott: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Previous message: Michael Varney: "Re: What form of matter will last the longest?"
- Maybe in reply to: Peter Olcott: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Next in thread: Peter Olcott: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Reply: Peter Olcott: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 18 Jul 2004 12:45:16 GMT
In article <10f7va82aj07e55@corp.supernews.com>,
Alex Hunsley <lard@tardis.ed.ac.molar.uk> wrote:
>It just occurred to me, if Olcott was right (not in this universe) then perhaps
> we could run a few of the reply posts through his magical machine and find
>out if replying would ever cause him to halt posting. Or something similar.
If Olcott is right, then he's setting his sights far too low. A method for
creating software whose output cannot be accessed by other software would be
valuable in other ways besides disproving the Halting Problem. The MPAA,
for instance, would be very interested. Perhaps someone should put him in
touch with them.
-- Matthew Skala mskala@ansuz.sooke.bc.ca Embrace and defend. http://ansuz.sooke.bc.ca/
- Next message: Peter Olcott: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Previous message: Michael Varney: "Re: What form of matter will last the longest?"
- Maybe in reply to: Peter Olcott: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Next in thread: Peter Olcott: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Reply: Peter Olcott: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|