Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals
Date: Fri, 7 Mar 2025 10:22:40 +0200
Organization: -
Lines: 47
Message-ID: <vqeacg$3eo16$1@dont-email.me>
References: <vq5qqc$1j128$2@dont-email.me> <vq6g9l$1ptg9$2@dont-email.me> <vq722k$1tapm$1@dont-email.me> <vqbk27$2stvg$1@dont-email.me> <vqcvdj$34c3r$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 07 Mar 2025 09:22:41 +0100 (CET)
Injection-Info: dont-email.me; posting-host="6ee1bccad31f48d2e1bec528b9e94ac4";
	logging-data="3629094"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Jbfe2so36tGdMyu+rbQVO"
User-Agent: Unison/2.2
Cancel-Lock: sha1:/xNEUt/yCTAhxd1iC+f5NC4ZH3E=
Bytes: 3082

On 2025-03-06 20:09:24 +0000, olcott said:

> On 3/6/2025 1:49 AM, Mikko wrote:
>> On 2025-03-04 14:17:56 +0000, olcott said:
>> 
>>> On 3/4/2025 3:14 AM, Fred. Zwarts wrote:
>>>> Op 04.mrt.2025 om 04:07 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 correctly emulated by HHH cannot possibly reach its own
>>>>> "ret" instruction and terminate normally.
>>>> I wonder why Olcott keeps repeating that HHH fails to reach the
>>>> 'ret' instruction, where the direct execution or world-class
>>>> simulators have no problem to reach the 'ret' instruction of
>>>> exactly the same finite string as input.
>>> 
>>> The only valid rebuttal is to show all of the steps of exactly how
>>> DD correctly emulated by HHH reaches its own "ret" instruction.
>> 
>> Not true. A sufficient rebuttal is anything that makes a reader to
>> notice that you have not proven one (or more) of your claims.
>> 
> 
> A specific rebuttal of this specific claim
>>>>> DD correctly emulated by HHH cannot possibly reach its own
>>>>> "ret" instruction and terminate normally.
> Requires a specific rebuttal of that claim

The claim is vacuous as DD correctly emulated by HHH does not exist.
A vacuous claim need not be rebutted.

-- 
Mikko