Re: What is the Result from Invoking this Halt Function?

From: >parr\(*> (LauryKing_at_BTInternetnospam.com)
Date: 08/19/04


Date: Thu, 19 Aug 2004 00:47:04 +0000 (UTC)


"George Greene" <greeneg@greeneg-cs.cs.unc.edu> wrote in message
news:xesd61o34b3.fsf@greeneg-cs.cs.unc.edu...
<...>
| "circle-free" is close enough to meaning "non-halting".

The good news is that the same technique can be used to show there
are no machines which can detect either of these.

The bad news is that neither circular, nor circle-free have the same
meaning as either halting or non-halting.

The really bad news is that the part of the paper which most closely
corresponds to the halting problem is not considering circular nor
circle-free.

--
)>==ss$$%PARR(º>   Parr