Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: DD correctly emulated by HHH --- Totally ignoring invalid
 rebuttals ---PSR---
Date: Mon, 10 Mar 2025 10:14:59 +0100
Organization: A noiseless patient Spider
Lines: 55
Message-ID: <vqmaik$18ng8$1@dont-email.me>
References: <vq5qqc$1j128$2@dont-email.me>
 <920b573567d204a5c792425b09097d79ee098fa5@i2pn2.org>
 <vq9lvn$2ei4j$3@dont-email.me>
 <4453bc0c1141c540852ea2223a7fedefc93f564c@i2pn2.org>
 <vqadoh$2ivg7$2@dont-email.me> <vqae74$2ivcn$1@dont-email.me>
 <vqag6q$2jief$1@dont-email.me> <vqagb7$2ivcn$3@dont-email.me>
 <vqakhi$2jief$3@dont-email.me> <vqalvr$2ivcn$5@dont-email.me>
 <vqaq2s$2lgq7$2@dont-email.me> <vqasm4$2lue4$1@dont-email.me>
 <vqb43k$2mueq$1@dont-email.me> <vqb4ub$2lue4$3@dont-email.me>
 <vqb683$2mueq$2@dont-email.me> <vqb6f4$2lue4$4@dont-email.me>
 <vqb6qr$2mueq$3@dont-email.me>
 <27b6da57f540cd39d2918411d8c94789678e3f45@i2pn2.org>
 <vqcvu3$34c3r$5@dont-email.me>
 <24c66a3611456f6a6969dc132fd8a227b26cbcbd@i2pn2.org>
 <vqdlqp$371bi$6@dont-email.me> <vqeceq$3epcg$1@dont-email.me>
 <vqf2bp$3j68u$4@dont-email.me> <vqh19v$2mh0$1@dont-email.me>
 <vqhj3n$5r7r$3@dont-email.me> <vqhoej$64cl$1@dont-email.me>
 <vqhvrs$8e1u$1@dont-email.me> <vqjlke$l8rl$1@dont-email.me>
 <vqk41p$o4oh$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 10 Mar 2025 10:15:00 +0100 (CET)
Injection-Info: dont-email.me; posting-host="6a3991a85c0b09ae76003a9e4f3c2221";
	logging-data="1334792"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/oJMCc47Y/kGZ21IXKTbUW"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:/bg6t+fpEsZSS8hHCjSPZEnmxYM=
In-Reply-To: <vqk41p$o4oh$1@dont-email.me>
Content-Language: nl, en-GB
Bytes: 4135

Op 09.mrt.2025 om 14:11 schreef olcott:
> On 3/9/2025 4:05 AM, Fred. Zwarts wrote:
>> Op 08.mrt.2025 om 18:47 schreef olcott:
>>> On 3/8/2025 9:41 AM, Fred. Zwarts wrote:
>>>> Op 08.mrt.2025 om 15:09 schreef olcott:
>>>>> On 3/8/2025 3:06 AM, Mikko wrote:
>>>>>> On 2025-03-07 15:11:53 +0000, olcott said:
>>>>>>
> 
> 
> _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
> because DD calls HHH(DD) in recursive emulation.
> 

Why repeating things we agree with? We agree that HHH correctly reports 
that it cannot possibly complete the simulation to its end. An end that 
exists as proven by direct execution and world-class simulators of 
exactly the same finite string as input.
So, what next.

>>>>>
>>>>> The source code 100% perfectly proves exactly what it
>>>>> actually does.
>>>> Yes, even if there are error in the program, it does what it does.
>>>
>>> There is no error.
>>>
>>
>> That is a claim, not a proof. Many errors have been pointed out, but 
>> the program was not corrected. Without a proof of correctness, a 
>> program does not prove anything.
> 
> All the reported "errors" are only your failure  to understand the code.
> 

The inability to point to a misunderstanding is no rebuttal. It is even 
less a proof of correctness of the program.