Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DD correctly emulated by HHH --- Kicking the straw-man deception
 out on its ass
Date: Mon, 3 Mar 2025 08:13:17 -0600
Organization: A noiseless patient Spider
Lines: 87
Message-ID: <vq4ddt$1b4no$3@dont-email.me>
References: <vq2i40$ug75$3@dont-email.me> <vq2l9p$tth2$2@dont-email.me>
 <vq2m2p$vkkb$1@dont-email.me>
 <7b0a90e744f28e7dfe86481ba3eb5b438b6d2af4@i2pn2.org>
 <vq3073$vkkb$4@dont-email.me> <vq3qen$18icg$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 03 Mar 2025 15:13:17 +0100 (CET)
Injection-Info: dont-email.me; posting-host="857f72aa048ba693cb278272de72c0d5";
	logging-data="1413880"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18FPbBA+3+Cg25PSVDg2tr9"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:F70VgvyuYbf5BftXyEPFyvRkl1E=
X-Antivirus: Norton (VPS 250303-2, 3/3/2025), Outbound message
X-Antivirus-Status: Clean
In-Reply-To: <vq3qen$18icg$2@dont-email.me>
Content-Language: en-US
Bytes: 4825

On 3/3/2025 2:49 AM, Fred. Zwarts wrote:
> Op 03.mrt.2025 om 02:21 schreef olcott:
>> On 3/2/2025 6:42 PM, Richard Damon wrote:
>>> On 3/2/25 5:28 PM, olcott wrote:
>>>> On 3/2/2025 4:15 PM, Fred. Zwarts wrote:
>>>>> Op 02.mrt.2025 om 22:21 schreef olcott:
>>>>>> int DD()
>>>>>> {
>>>>>>    int Halt_Status = HHH(DD);
>>>>>>    if (Halt_Status)
>>>>>>      HERE: goto HERE;
>>>>>>    return Halt_Status;
>>>>>> }
>>>>>>
>>>>>> _DD()
>>>>>> [00002133] 55         push ebp      ; housekeeping
>>>>>> [00002134] 8bec       mov ebp,esp   ; housekeeping
>>>>>> [00002136] 51         push ecx      ; make space for local
>>>>>> [00002137] 6833210000 push 00002133 ; push DD
>>>>>> [0000213c] e882f4ffff call 000015c3 ; call HHH(DD)
>>>>>> [00002141] 83c404     add esp,+04
>>>>>> [00002144] 8945fc     mov [ebp-04],eax
>>>>>> [00002147] 837dfc00   cmp dword [ebp-04],+00
>>>>>> [0000214b] 7402       jz 0000214f
>>>>>> [0000214d] ebfe       jmp 0000214d
>>>>>> [0000214f] 8b45fc     mov eax,[ebp-04]
>>>>>> [00002152] 8be5       mov esp,ebp
>>>>>> [00002154] 5d         pop ebp
>>>>>> [00002155] c3         ret
>>>>>> Size in bytes:(0035) [00002155]
>>>>>>
>>>>>> DD emulated by HHH according to the behavior that DD
>>>>>> specifies cannot possibly reach its own "ret" instruction
>>>>>> and terminate normally.
>>>>>>
>>>>>> This process computes the mapping from the actual input
>>>>>> (not any other damn thing) finite string to the non
>>>>>> terminating behavior that this finite specifies when
>>>>>> it calls its own emulator in recursive emulation.
>>>>>
>>>>> In other words 'non terminating behavior' means that *HHH* was 
>>>>> unable to reach the 'ret' instruction. 
>>>>
>>>> Not at all. The fact that DD calls its own emulator
>>>> makes DD unable to reach its own "ret" instruction.
>>>>
>>>
>>> No, it calls a specific emulator, that of a given HHH. There is no 
>>> requirement for the program DD to be emulated by that program.
>>>
>>
>> THE FACT THAT DD DOES CALL ITS OWN EMULATOR
>> THE FACT THAT DD DOES CALL ITS OWN EMULATOR
>> THE FACT THAT DD DOES CALL ITS OWN EMULATOR
>> THE FACT THAT DD DOES CALL ITS OWN EMULATOR
>>
>> MAKES DD UNABLE TO REACH ITS OWN "ret" INSTRUCTION
>> MAKES DD UNABLE TO REACH ITS OWN "ret" INSTRUCTION
>> MAKES DD UNABLE TO REACH ITS OWN "ret" INSTRUCTION
>> MAKES DD UNABLE TO REACH ITS OWN "ret" INSTRUCTION
>>
> Shouting or repeating false claims do not make them true.
> 

Richard said that he has ADD and he has proven that he only glances
at a couple of my words before contriving an incorrect rebuttal
on the basis of ignoring most of these words.

I have found that repeating these words in all caps helps
Richard to see these words for the first time.

> No, the fact that HHH tries to emulate itself makes HHH unable to reach 
> the 'ret' instruction, where other simulators or direct execution have 
> no problem to reach it, HHH gets stuck in simulating *itself*.
> 

That your technical skills are insufficient to understand
the code that conclusively proves that HHH does emulate
itself emulating DD

https://github.com/plolcott/x86utm/blob/master/Halt7.c
Is far less than no rebuttal at all.


-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer