Path: ...!feeds.phibee-telecom.net!3.eu.feeder.erje.net!feeder.erje.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: V5 --- Professor Sipser --- trace of HHH on DDD input
Date: Sun, 25 Aug 2024 11:58:14 +0200
Organization: A noiseless patient Spider
Lines: 69
Message-ID: <vaev7l$1r8qc$2@dont-email.me>
References: <va104l$376ed$4@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>
 <26fadbf7b8cb5f93dbe18bffeff6e959251f9892@i2pn2.org>
 <va6b4n$7boc$1@dont-email.me>
 <b19eb2a29dacfa67f2f9ced0d03234e980f4c985@i2pn2.org>
 <va6edj$8f0p$1@dont-email.me>
 <e20689d26c224e4923146d425843348539ce6065@i2pn2.org>
 <va7tb3$h3la$1@dont-email.me>
 <2c6dfb2e8cdafc17fd833599dfba3843f56a281a@i2pn2.org>
 <vaavkc$128hl$1@dont-email.me> <vac6ns$1atfd$1@dont-email.me>
 <vacmpa$1d5dd$1@dont-email.me>
 <57c86522e95be7746b2d2864b20d6cd129552990@i2pn2.org>
 <vacr3e$1e36g$1@dont-email.me> <vaddgl$1ghhg$2@dont-email.me>
 <vadec2$1h1jn$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 25 Aug 2024 11:58:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="75882738edf0235511636ea93e796b96";
	logging-data="1942348"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+TdJP1hH5bWHAtJrqr21OU"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ivgDDTNQMHI4s4L/Cg6cExYR3mI=
Content-Language: en-GB
In-Reply-To: <vadec2$1h1jn$1@dont-email.me>
Bytes: 5188

Op 24.aug.2024 om 22:04 schreef olcott:
> On 8/24/2024 2:49 PM, Fred. Zwarts wrote:
>> Op 24.aug.2024 om 16:35 schreef olcott:
>>> On 8/24/2024 9:27 AM, joes wrote:
>>>> Am Sat, 24 Aug 2024 08:21:45 -0500 schrieb olcott:
>>>>> On 8/24/2024 3:47 AM, Fred. Zwarts wrote:
>>>>>> Op 23.aug.2024 om 23:40 schreef olcott:
>>>>>>> On 8/23/2024 2:24 AM, joes wrote:
>>>>>>>> Am Thu, 22 Aug 2024 12:42:59 -0500 schrieb olcott:
>>>>>>>
>>>>>>>> Only IF it will in fact keep repeating, which is not the case.
>>>>>>> Only IF it *WOULD* in fact keep repeating, *which is the case*
>>>>>> It is the case only if you still cheat with the Root variable, which
>>>>>> makes that HHH processes a non-input, when it is requested to predict
>>>>>> the behaviour of the input.
>>>>> The fact is that it *WOULD* in fact keep repeating,
>>>>> thus *IT DOES* get the correct answer.
>>>
>>>> The simulated, aborting HHH would… abort.
>>>
>>> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>>>      If simulating halt decider H correctly simulates its input D
>>>      until H correctly determines that its simulated D would never
>>>      stop running unless aborted then
>>>
>> Why repeating this over and over again if you do not understand the 
>> words?
>> Sipser agreed to 'If ... correctly simulates ... 
> 
> Meaning: Emulates the input finite string according
> to the semantics of the x86 language.
> 
> I have corrected you too many times on this to believe
> that you are honest.

Why don't you listen to corrections? The simulation violates the 
semantics of the x86 language by skipping the last cycle of the 
simulated halting program.
It further violates the semantics of the x86 language by changing the 
value of the cheating Root variable when there is no instruction to do 
so in the simulation.

Repeat this a few times until you understand it: violates the semantics 
of the x86 language by arbitrarily changing values of variables and by 
skipping the last cycle of the simulated halting program.

> 
>> correctly determines ...'.
> 
> If DDD WOULD never stop running when emulated by
> a hypothetical HHH that never aborts then this is
Another thing to repeat: HHH must process its input, not a hypothetical 
non-input.
Is that so difficult to understand?
The input to be simulated is the HHH that must behave exactly as the 
simulating HHH: abort and halt.
No cheating with a Root variable to justify that incorrect results are 
correct.

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.
Olcott's own claim that the simulated HHH does not reach its end 
confirms it. The trace he has shown also proves that HHH cannot reach 
the end of its own simulation. So, his own claims prove that it is true 
that HHH cannot possibly simulate itself up to the end, which makes the 
simulation incomplete and, therefore, incorrect.
Dreams are no substitute for logic proofs.