Re: Sequence of sequence, selection and iteration matters

Op 10.jul.2024 om 16:16 schreef olcott:

On 7/10/2024 9:09 AM, Fred. Zwarts wrote:

Op 10.jul.2024 om 14:37 schreef olcott:

On 7/10/2024 2:13 AM, Fred. Zwarts wrote:

Op 09.jul.2024 om 23:18 schreef olcot

_DDD()
[00002163] 55         push ebp      ; housekeeping
[00002164] 8bec       mov ebp,esp   ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
>
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ steps of DDD can't make it
past the above line of code no matter what.
>
[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]

>
Which proves that HHH does not interpret x86 code correctly.

>
*It interprets the code correctly*
https://github.com/wfeldt/libx86emu

>

 *correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
*correctly emulates 1 to ∞ steps of DDD*
 

You seem to be stuck in infinite invalid reasoning.
A simulator cannot simulate 1 to ∞ steps at the same time. It is programmed to simulate a fixed number of cycles (say N), after which it aborts. Dreaming of other simulators that simulate 1 to ∞ steps does not change the HHH that we are considering.
A simulator does not need ∞ steps to simulate a halting program.
Only HHH cannot possibly simulate itself correctly, because it needs a few (not ∞) one cycle more than N, but it can't do that.
So, no matter how many steps HHH is programmed to simulate, it always aborts too soon, making the simulation incorrect.
Wishing very very much it is correct does not make it correct.
You can repeat it 1000 times more, but it does not make it correct.
It only displays a lack of reasoning.