Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement

Op 05.jul.2024 om 17:54 schreef olcott:

On 7/5/2024 10:48 AM, Fred. Zwarts wrote:

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

On 7/5/2024 8:54 AM, Fred. Zwarts wrote:

>
HHH cannot possibly correctly simulate itself.
>

LIAR! I give up on you.
https://liarparadox.org/HHH(DDD)_Full_Trace.pdf

>
No need to come back, because you are unable to point to any error in my reasoning.

 I conclusively proved that HHH is correctly simulating itself
simulating DDD and you simply freaking lie about it.
 

Your replies are only irrelevant, or supporting my reasoning. I showed that HHH cannot possibly simulate itself correctly and your full trace supports this, as it shows that the simulating HHH is unable to reach the 'ret' of the simulated HHH.
>

 *Unable to reach ret IS A FREAKING CORRECT FREAKING SIMULATION*

Unable to reach ret *is a freaking demonstration* of an incorrect simulation.

The machine code specifies that DDD simulated by HHH according
to the semantics of the x86 language cannot possibly reach the
ret instruction of DDD or its correctly simulated self.
 _DDD()
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call HHH(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]
 

Your traces shows that HHH aborts the simulation at a point there the simulated HHH has only one cycle to go before it would abort and halt. So, the only reason why this simulation does not reach the 'ret' of the simulated HHH, is that it is aborted prematurely.
A correct simulation by another simulator shows that this is indeed the case.
HHH cannot possible simulate *itself* correctly. This code and your trace demonstrates this. The fact that the simulation does not reach the 'ret', where other simulator can do that, demonstrates that HHH's simulation of itself is incorrect.
The only thing you brought in against it, is a baseless repetition that you still belief that the simulation is correct.
HHH that aborts and halts can be compared to a bear running at you to kill you:
All other simulators will tell you that HHH aborts and halts.
All people will warn you that the bear is running at you and will kill you.
Only when HHH simulates itself, it says: not aborting and non-halting.
The bear says about itself: I am not running and I will not kill you.
What do you trust?