Re: Foundation for a Formal Refutation of the Original Halting Problem?
From: Simon G Best (s.g.best_at_btopenworld.com)
Date: 08/04/04
- Next message: Michael N. Christoff: "Re: What is the Result from Invoking this Halt Function?"
- Previous message: Michael N. Christoff: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- In reply to: Peter Olcott: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Next in thread: Peter Olcott: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Reply: Peter Olcott: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Messages sorted by: [ date ] [ thread ]
Date: Wed, 4 Aug 2004 14:51:15 +0000 (UTC)
Peter Olcott wrote:
>
> There are only limited possibilities.
> A program that halts iff it goes into an infinite loop or goes into
> an infinite loop iff it halts is not one of them.
Agreed. That means that LoopIfHalts cannot exist.
However, if WillHalt could exist, then LoopIfHalts could obviously
exist. Therefore, it must be that WillHalt can't exist.
It /really is/ that simple.
It /really is/ that irrefutable.
Simon
- Next message: Michael N. Christoff: "Re: What is the Result from Invoking this Halt Function?"
- Previous message: Michael N. Christoff: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- In reply to: Peter Olcott: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Next in thread: Peter Olcott: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Reply: Peter Olcott: "Re: Foundation for a Formal Refutation of the Original Halting Problem?"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
