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

On 7/17/2024 9:08 AM, Fred. Zwarts wrote:

Op 17.jul.2024 om 15:39 schreef olcott:

On 7/17/2024 8:32 AM, Fred. Zwarts wrote:

Op 17.jul.2024 om 15:00 schreef olcott:

On 7/17/2024 1:43 AM, Mikko wrote:

On 2024-07-16 14:21:28 +0000, olcott said:

>
When simulated input DDD stops running {if and only if}
the simulation of this input DDD has been aborted this
necessitates that input DDD specifies non-halting behavior

>
DDD does not stop runnig unless it is completely exeuted.

>
_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)
[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]
>
DDD emulated by HHH according to the semantic meaning of
its x86 instructions never stop running unless aborted.

>
The 'unless aborted' is misleading, since we know that HHH *does* abort.

*THIS IS SELF EVIDENT THUS DISAGREEMENT IS INCORRECT*
DDD emulated by any pure function HHH according to the
semantic meaning of its x86 instructions never stops
running unless aborted.

 But HHH is programmed to abort after N cycles,

_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)
[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]
When we examine the infinite set of every HHH/DDD pair such that:
HHH1  One step of DDD is correctly emulated by HHH
HHH2  Two steps of DDD are correctly emulated by HHH
HHH3  Three steps of DDD are correctly emulated by HHH
...
HHH∞  The emulation of DDD by HHH never stops
No DDD of the infinite set of every HHH/DDD pair reaches
past its machine address 0000216b thus never halts. Every
HHH either aborts its simulation or DDD never stops running.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer