Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= <agisaak@gm.invalid>
Newsgroups: comp.theory
Subject: Re: Who here understands that the last paragraph is Necessarily true?
 --- Self-Modifying Turing Machine
Date: Fri, 19 Jul 2024 18:44:41 -0600
Organization: Christians and Atheists United Against Creeping Agnosticism
Lines: 22
Message-ID: <v7f19p$37c8h$1@dont-email.me>
References: <v6un9t$3nufp$1@dont-email.me> <v7013v$2ccv$1@dont-email.me>
 <v70nt7$61d8$6@dont-email.me>
 <58fc6559638120b31e128fe97b5e955248afe218@i2pn2.org>
 <v71mjh$bp3i$1@dont-email.me>
 <1173a460ee95e0ca82c08abecdefc80ba86646ac@i2pn2.org>
 <v71okl$bvm2$1@dont-email.me>
 <5f6daf68f1b4ffac854d239282bc811b5b806659@i2pn2.org>
 <v71ttb$crk4$1@dont-email.me>
 <60e7a93cb8cec0afb68b3e40a0e82e9d63fa8e2a@i2pn2.org>
 <v721po$h4kr$1@dont-email.me> <v73td3$qkp2$6@dont-email.me>
 <v73tvs$qpi9$1@dont-email.me> <v74n81$13bn1$1@dont-email.me>
 <fafa57d75cf800c930c76530acd72148c77fff87@i2pn2.org>
 <v75ul2$19j7l$5@dont-email.me> <v77s2f$1o4oh$1@dont-email.me>
 <v78gi1$1rc43$6@dont-email.me> <v7d5r0$2t5hr$1@dont-email.me>
 <v7dsit$30pvh$4@dont-email.me>
 <16d10a0709c3c319cbb98138bb8937b4f7e9c563@i2pn2.org>
 <v7e2mn$3251t$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 20 Jul 2024 02:44:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b0231afd23a1448c928a9dd9c1dad82c";
	logging-data="3387665"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+HYKhDWkzoimL5uTSuqUlY"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Ti9KQU+aSdVmYqkbq8zhEC+eUCg=
Content-Language: en-US
In-Reply-To: <v7e2mn$3251t$1@dont-email.me>
Bytes: 2660

On 2024-07-19 10:02, olcott wrote:

> A Self-Modifying Turing Machine is defined as a Turing
> Machine Description that has access to its own tape
> location on the UTM that is simulating it.

Umm. Maybe explain how that's supposed to work...

A TM has no idea whether it is being run directly or being run in a UTM. 
And even if it is being run in a UTM, it certainly does NOT have access 
to the machine description which is present on the UTM's tape.

There's lots of examples of UTMs available on the web. Maybe you should 
actually try playing around with some of them so you can learn how 
actual UTMs work. Hint: It's not how you think.

André

-- 
To email remove 'invalid' & replace 'gm' with well known Google mail 
service.