Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Pathological self-reference changes the semantics of the same
 finite string.
Date: Sat, 31 Aug 2024 07:26:15 -0500
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <vav257$10jsm$3@dont-email.me>
References: <va104l$376ed$4@dont-email.me>
 <7a1c569a699e79bfa146affbbae3eac7b91cd263@i2pn2.org>
 <va3f7o$3ipp3$1@dont-email.me>
 <729cc551062c13875686d266a5453a488058e81c@i2pn2.org>
 <va3kac$3nd5c$1@dont-email.me>
 <148bf4dd91f32379a6d81a621fb7ec3fc1e00db0@i2pn2.org>
 <va3lai$3nd5c$2@dont-email.me> <va46sd$3pr24$1@dont-email.me>
 <va4mle$3s0hu$1@dont-email.me>
 <5591ff08ed8f7b4bdf33813681e156b775efe0ec@i2pn2.org>
 <va63uu$2fo9$1@dont-email.me>
 <b0a86b6a1343ebb5f9112ae757768a7cbbc770b2@i2pn2.org>
 <va65r8$6ht7$1@dont-email.me>
 <da75188ffa7677bd2b6979c8fc6ba82119404306@i2pn2.org>
 <878qwn0wyz.fsf@bsb.me.uk>
 <efacnfsQdv-ErlT7nZ2dnZfqnPadnZ2d@brightview.co.uk>
 <87le0jzc8f.fsf_-_@bsb.me.uk> <vaj1kd$2kvg9$1@dont-email.me>
 <vamk31$3d76g$1@dont-email.me> <van30n$3f6c0$2@dont-email.me>
 <vap90d$3t06p$1@dont-email.me> <vaptvg$3vumk$2@dont-email.me>
 <vaqbo3$22im$2@dont-email.me> <vaqcj8$28ni$3@dont-email.me>
 <varus8$dqgo$1@dont-email.me> <vasfkd$ftut$2@dont-email.me>
 <vash3c$gpbv$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 31 Aug 2024 14:26:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="704a0de50af0d27d19f59cdc9b0cd400";
	logging-data="1068950"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/GM2U0x+tQRzxRputJHHR+"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:kTVv4YtUgl6S4hqpBkejgtN5JNw=
In-Reply-To: <vash3c$gpbv$1@dont-email.me>
Content-Language: en-US
Bytes: 3350

On 8/30/2024 8:22 AM, Mikko wrote:
> On 2024-08-30 12:57:49 +0000, olcott said:
> 
>> On 8/30/2024 3:11 AM, Mikko wrote:
>>> On 2024-08-29 17:53:44 +0000, olcott said:
>>>
>>>> I just proved that the basic notion of finite strings
>>>> having unique meanings independently of their context
>>>> is incorrect.
>>>
>>> The context is the halting problem.
>>
>> The behavior of
>> the directly executed DDD and executed HHH
>> is different from the behavior of
>> the emulated DDD and the emulated HHH
> 
> The correct behaviour is the computation that the user wants to
> ask about. If the input string specifies a different behaviour
> then the input string is worng, not the behaviour.
> 

int sum(int x, int y) { return x + y; }
And in the exact same way Bill wants to get the
sum of 5+6 from sum(3,2).

HHH must use its actual input as its basis
and it not allowed to use anything else.

DDD emulated by HHH according to the semantics of the x86
language cannot possibly stop running unless aborted and
cannot possibly reach its only final halt state no matter
what HHH does. Therefore DDD never halts even if everyone
in the universe including myself disagrees.
-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer