Re: Solution to the halting Problem?
From: Karl Heinz Buchegger (kbuchegg_at_gascad.at)
Date: 07/23/04
- Next message: Sharad Kala: "Re: Executing the executable"
- Previous message: Vikram: "Executing the executable"
- In reply to: Peter Olcott: "Re: Solution to the halting Problem?"
- Next in thread: Peter Olcott: "Re: Solution to the halting Problem?"
- Reply: Peter Olcott: "Re: Solution to the halting Problem?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Fri, 23 Jul 2004 10:57:07 +0200
Peter Olcott wrote:
>
> > If you are not able to do this, you haven't solved the halting problem.
> > Solutions that only apply to some special case are Not Interesting.
>
> If you want to be completely precise, then I have not actually
> solved the Halting Problem, yet have proven that the original
> proof that a solution is impossible, is incorrect.
You did this by modifying the original proof. Your intention
is clear: You modified the original proof in such a way that
the whole idea of the proof is no longer possible. So what you
showed is: With a modification, the proof is no longer applyable.
Not really an interesting result.
-- Karl Heinz Buchegger kbuchegg@gascad.at
- Next message: Sharad Kala: "Re: Executing the executable"
- Previous message: Vikram: "Executing the executable"
- In reply to: Peter Olcott: "Re: Solution to the halting Problem?"
- Next in thread: Peter Olcott: "Re: Solution to the halting Problem?"
- Reply: Peter Olcott: "Re: Solution to the halting Problem?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
