Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Pathological self-reference changes the semantics of the same finite string.
Date: Fri, 30 Aug 2024 16:22:52 +0300
Organization: -
Lines: 23
Message-ID: <vash3c$gpbv$1@dont-email.me>
References: <va104l$376ed$4@dont-email.me> <va38qh$3ia79$1@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 30 Aug 2024 15:22:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ac082c4370ad986ac412f76383045f6e";
	logging-data="550271"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18nYSiSwK0JhhN2IS6iN/Gz"
User-Agent: Unison/2.2
Cancel-Lock: sha1:YFKiyjXBXHpHcbOYvKXKnlPqq5U=
Bytes: 2517

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.

-- 
Mikko