Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: Who here understands that the last paragraph is Necessarily true?
 --- Self-Modifying Turing Machine
Date: Fri, 19 Jul 2024 15:53:33 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <16d10a0709c3c319cbb98138bb8937b4f7e9c563@i2pn2.org>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 19 Jul 2024 15:53:33 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3814591"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3735
Lines: 40

Am Fri, 19 Jul 2024 09:18:05 -0500 schrieb olcott:
> On 7/19/2024 2:49 AM, Mikko wrote:
>> On 2024-07-17 13:22:09 +0000, olcott said:
>>> On 7/17/2024 2:32 AM, Mikko wrote:
>>>> On 2024-07-16 14:04:18 +0000, olcott said:
>>>>> On 7/16/2024 6:53 AM, Richard Damon wrote:
>>>>>> On 7/15/24 10:51 PM, olcott wrote:
>>>>>>> On 7/15/2024 2:40 PM, olcott wrote:
>>>>>>>> On 7/15/2024 2:30 PM, Fred. Zwarts wrote:
>>>>>>>>> Op 15.jul.2024 om 04:33 schreef olcott:
>>>>>>>>>> On 7/14/2024 9:04 PM, Richard Damon wrote:
>>>>>>>>>>> On 7/14/24 9:27 PM, olcott wrote:

>>>>>> Can't. Since programs are unchanging, their properties can not
>>>>>> change.
>>>> Your complier cannot produce self-modifying code.
>>> My compiler can accept assembly language that can derive
>>> self-modifying code.
>> Using non-standard extensions of the language may indeed permit that
>> unless the program is loaded to a read-only memory. The compiler is
>> designed so that ordinary programs can be loaded to read-only memory.
>> Some operating systems prevent programs from modifying themselves as if
>> the program were in a read-only memory, and typical compilers compile
>> so that the program can be run under such operating systems.
> The bottom line is that an actual TM can modify its own code while it is
> running when it has access to its own TM description and it is only
> simulated by a UTM. In this case it can modify itself so that its input
> is no longer contradictory.
Oh no. A running TM cannot change its transition table. Even then,
its description would include the selfmodification.
Being simulated does not change anything, as the simulated machine
is not aware of that.
> When a Self-Modifying Turing Machine can change itself to become any
> other Turing Machine then it can eliminate the pathological relationship
> to its input.
I think not, because the selfmodification is built into it. It is
different from the version that doesn't have that.

-- 
Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:
Objectively I am a genius.