Deutsch   English   Français   Italiano  
<vavcjn$11uqn$3@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: Pathological self-reference changes the semantics of the same
 finite string.
Date: Sat, 31 Aug 2024 17:24:38 +0200
Organization: A noiseless patient Spider
Lines: 60
Message-ID: <vavcjn$11uqn$3@dont-email.me>
References: <va104l$376ed$4@dont-email.me> <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> <vav257$10jsm$3@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 17:24:40 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="56101d00a62a2f8eb5c4efbb04550369";
	logging-data="1112919"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19v86El9AsknTp52eUql0Kv"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:g5R6Z6+3JGrUPEBiLUplh3UODF4=
In-Reply-To: <vav257$10jsm$3@dont-email.me>
Content-Language: en-GB
Bytes: 4164

Op 31.aug.2024 om 14:26 schreef olcott:
> 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.

HHH is given a finite string of a halting program.
But olcott wants it to process a modified input, where the abort code 
has been removed.
That is not allowed. HHH should process its input, not a non-input.
Just as sum(3,2) is not allowed to modify the 3 into a 4 before it adds 
the two numbers. But olcott seems to think that it is correct to write 
sum as
int sum(int x, int y) { return (x+1) + y; }

> 
> 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. 

Exactly, showing that this is an incorrect simulation, no matter what 
HHH does.


 > Therefore DDD never halts even if everyone> in the universe including 
myself disagrees.

No. This proves that HHH is unable to see the halting behaviour of DDD 
and makes a wild guess. An incorrect guess in this case.

No matter how much olcott wants it to be correct, or how many times 
olcott repeats that it is correct, it does not change the fact that such 
a simulation is incorrect, because it is unable to reach the end of a 
halting program.