Re: What is the Result from Invoking this Halt Function?
From: >parr\(*> (LauryKing_at_BTInternetnospam.com)
Date: 08/19/04
- Next message: Andrew J Bacon: "Model Theory"
- Previous message: Peter Olcott: "Re: What is the Result from Invoking this Halt Function?"
- In reply to: George Greene: "Re: What is the Result from Invoking this Halt Function?"
- Next in thread: Tim Peters: "Re: What is the Result from Invoking this Halt Function?"
- Reply: Tim Peters: "Re: What is the Result from Invoking this Halt Function?"
- Messages sorted by: [ date ] [ thread ]
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
- Next message: Andrew J Bacon: "Model Theory"
- Previous message: Peter Olcott: "Re: What is the Result from Invoking this Halt Function?"
- In reply to: George Greene: "Re: What is the Result from Invoking this Halt Function?"
- Next in thread: Tim Peters: "Re: What is the Result from Invoking this Halt Function?"
- Reply: Tim Peters: "Re: What is the Result from Invoking this Halt Function?"
- Messages sorted by: [ date ] [ thread ]