Re: Yet another Attempt at Disproving the Halting Problem

From: Andrew Koenig (ark_at_acm.org)
Date: 08/06/04 

Date: Fri, 06 Aug 2004 02:30:03 GMT

"Peter Olcott" <olcott@worldnet.att.net> wrote in message
news:VtBQc.394332$Gx4.161090@bgtnsc04-news.ops.worldnet.att.net...

> Turing contructed a paradox to show that creating a Halting Analyzer
> is not possible.
>
> If the halt analyzer simply refrains from ever providing its result to any
> program that is being analyzed, then this paradox becomes completely
> impossible to construct. That's exactly all that it takes, it takes
nothing
> at all more than this. It really is just as simple as that.

If the program that claims to be a halt analyzer refrains from ever
providing its result to any program that is being analyzed, then the program
is not a halt analyzer. That's exactly all that it takes, it takes nothing
at all more than this. It really is just as simple as that.

Relevant Pages