Re: Can returning a value change the value itself (in the Halting Problem)

From: peter_douglass (baisly_at_gis.net)
Date: 08/24/04 

Date: Tue, 24 Aug 2004 19:04:12 GMT

"Marc Goodman" <marc.goodman@comcast.net> wrote in message
news:RzLWc.51965$Fg5.43982@attbi_s53...

> peter_douglass wrote:

> > Could you explain what you mean by a TM with access to its
> > own state transition table? What does access mean?

> You'd have to ask Peter exactly what he means, it's his
> extension.

But I'm asking you what you mean.

> I'm just arguing that if you supply a TM with
> an extension that allows it to introspect, then you are no
> longer guaranteed that the "code" of the TM has locality.

How can you draw this or any other conclusion about
TMs supplied with a particular extension if you do not
know what it means to have that extension?

> So, making the claim that a TM with such an extension can
> be trivially modified to return its results without
> changing the results it is computing is far from obvious.

Since I don't know what it means to be a TM with such an
extension, I can't rationally say one way or the other.

--PeterD

Relevant Pages