• Re: DD emulated by HHH cannot possibly terminate normally --- x86 code

    From Mikko@21:1/5 to olcott on Sat Mar 1 10:22:09 2025
    On 2025-03-01 00:47:58 +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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    The emulator itself is stuck and cannot return normally but it doesn't
    know it cannot return normally. At some point it runs out of memory
    and terminates normally or abnormally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.

    When we add an additional complexity we must note that there are other additional complexities that could be added instead.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Mar 1 11:44:15 2025
    Op 01.mrt.2025 om 01:47 schreef olcott:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    Again the same claim. No progress. Why? Is there anybody claiming that
    HHH does reach the 'ret' instruction?
    We all agree that HHH fails to reach the 'ret' instruction of the finite
    string that, when given for direct execution has no problem to reach the
    'ret' instruction. What does this failure of HHH mean? What is the next
    step? To me it seems to be more evidence for the halting theorem.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mr Flibble@21:1/5 to All on Sat Mar 1 13:22:39 2025
    On Fri, 28 Feb 2025 18:47:58 -0600, olcott <polcott333@gmail.com>
    wrote:

    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.

    Stop stealing my idea: simulating halt decider that returns third
    halting result of pathological input is Copyright 2022 Mr Flibble.

    /Flibble

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Mar 1 07:49:39 2025
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial emulator
    that aborts its emulation, then DD no longer gets stuck.

    This has always been your problem, you don't understand the nature of
    Truth as requiring things be according to the rules of the system, but
    instead you beleive in a "Truth Fairy" that can just declare things
    true, even when they are not.

    This just shows that you are nothing but a pathetic pathological lying
    idiot that is totally ignorant of what he is talking about, but doesn't
    care, as he just naturally reckless disregards the truth.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mr Flibble@21:1/5 to All on Sat Mar 1 15:25:22 2025
    On Sat, 1 Mar 2025 08:41:17 -0600, olcott <polcott333@gmail.com>
    wrote:

    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial emulator
    that aborts its emulation, then DD no longer gets stuck.


    Cannot possibly reach its own "ret" instruction and terminate normally
    proves non-termination whether aborted or not.

    Cannot possibly reach its own "ret" instruction and terminate normally
    proves non-termination whether aborted or not.

    Cannot possibly reach its own "ret" instruction and terminate normally
    proves non-termination whether aborted or not.

    Category error.

    /Flibble

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Mar 1 16:39:49 2025
    Op 01.mrt.2025 om 15:41 schreef olcott:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial emulator
    that aborts its emulation, then DD no longer gets stuck.


    Cannot possibly reach its own "ret" instruction and terminate normally
    proves failure of HHH to reach the end of a proven terminating program.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Mar 1 11:05:32 2025
    On 3/1/25 9:41 AM, olcott wrote:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial emulator
    that aborts its emulation, then DD no longer gets stuck.


    Cannot possibly reach its own "ret" instruction and terminate normally
    proves non-termination whether aborted or not.

    Cannot possibly reach its own "ret" instruction and terminate normally
    proves non-termination whether aborted or not.

    Cannot possibly reach its own "ret" instruction and terminate normally
    proves non-termination whether aborted or not.



    But it DOES terminate as it does reach that return as shown by the
    actually correct simulation by HHH1.

    That just shows that you have lies that your HHH actually does the
    "correct simulation" you claim,

    IF you change to the HHH that does the correct simulation, then you just
    proved it never answered, and thus also fails.

    Sorry, you are just proving that you "logic" is built on lying, and you
    don't care, because you just disregard the actual meaning of the terms
    (in context) because you are just too stupid to understand them.

    The fact that an aborted simulation didn't reach a return instruction is
    NOT proof of non-termination, just of partial, and thus INCORRECT (for behavior) simulation.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Mar 1 21:22:20 2025
    Op 01.mrt.2025 om 20:01 schreef olcott:
    On 3/1/2025 10:05 AM, Richard Damon wrote:
    On 3/1/25 9:41 AM, olcott wrote:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck.


    Cannot possibly reach its own "ret" instruction and terminate normally
    proves non-termination whether aborted or not.

    Cannot possibly reach its own "ret" instruction and terminate normally
    proves non-termination whether aborted or not.

    Cannot possibly reach its own "ret" instruction and terminate normally
    proves non-termination whether aborted or not.



    But it DOES terminate

    DD emulated by HHH never terminates no matter how many
    times you try to get away with the straw-man deception
    of referring to anything at all besides

    DD EMULATED BY HHH
    DD EMULATED BY HHH
    DD EMULATED BY HHH
    DD EMULATED BY HHH
    DD EMULATED BY HHH
    DD EMULATED BY HHH
    HHH emulating DD fails to reach the 'ret' instruction. We agree. DD, the
    finite string that describes a program that has been proven to terminate
    by direct execution, but HHH emulating that DD cannot possibly reach
    that 'ret' instruction.
    What is the next step? We do not have much time left. Please, continue.
    We are already at this point for months. Why staying at this point if we
    agree that HHH is unable to reach that 'ret' instruction of that finite
    string?

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Mar 1 21:16:43 2025
    Op 01.mrt.2025 om 17:33 schreef olcott:
    On 3/1/2025 9:39 AM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 15:41 schreef olcott:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck.


    Cannot possibly reach its own "ret" instruction and terminate normally
    proves failure of HHH to reach the end of a proven terminating program.

    DD emulated by HHH according to the above x86 machine code of DD
    cannot possibly reach its own "ret" instruction and terminate normally


    In other words, Olcott agrees that HHH cannot do otherwise than failing
    to reach the 'ret' instruction of DD (a finite string that describes a
    program that has been proven to reach its 'ret' instruction by direct execution).
    So, indeed we agree. HHH fails to complete the simulation correctly.
    What is the next step? We do not have much time left for the next steps. Please, continue.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Mar 1 16:58:47 2025
    On 3/1/25 11:33 AM, olcott wrote:
    On 3/1/2025 9:39 AM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 15:41 schreef olcott:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck.


    Cannot possibly reach its own "ret" instruction and terminate normally
    proves failure of HHH to reach the end of a proven terminating program.

    DD emulated by HHH according to the above x86 machine code of DD
    cannot possibly reach its own "ret" instruction and terminate normally
    NO MATTER WHAT. Asserting otherwise has always been the straw-man
    deception of referring to something other than DD emulated by HHH.



    Only because that HHH doesn't correct and completely emulate the x86
    machine code.

    Show us the "truth-maker" for your claim that your HHH, the one that
    answers, does the correct emulation as you claim.

    You can't, because your statement is just a LIE, and you know it.

    Your claim that it does is just your strawman,

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Mar 1 23:05:29 2025
    Op 01.mrt.2025 om 22:11 schreef olcott:
    On 3/1/2025 2:16 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 17:33 schreef olcott:
    On 3/1/2025 9:39 AM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 15:41 schreef olcott:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck.


    Cannot possibly reach its own "ret" instruction and terminate normally >>>> proves failure of HHH to reach the end of a proven terminating program. >>>
    DD emulated by HHH according to the above x86 machine code of DD
    cannot possibly reach its own "ret" instruction and terminate normally


    In other words,

    The DD input to HHH unequivocally specifies a
    non terminating computation.
    In other words, HHH did not terminate the simulation.
    Is that great news? It is easy to write a simulator that does not
    terminate its simulation, e.g. by aborting after one instruction. So
    Olcott's criterium is that all programs will specify a non-terminating computation to such a simulator. It cannot possibly reach the 'ret' instruction.
    Can we agree that that is a failure of the simulator, not of the program?

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Mar 1 23:08:33 2025
    Op 01.mrt.2025 om 22:12 schreef olcott:
    On 3/1/2025 2:22 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 20:01 schreef olcott:
    On 3/1/2025 10:05 AM, Richard Damon wrote:
    On 3/1/25 9:41 AM, olcott wrote:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck.


    Cannot possibly reach its own "ret" instruction and terminate normally >>>>> proves non-termination whether aborted or not.

    Cannot possibly reach its own "ret" instruction and terminate normally >>>>> proves non-termination whether aborted or not.

    Cannot possibly reach its own "ret" instruction and terminate normally >>>>> proves non-termination whether aborted or not.



    But it DOES terminate

    DD emulated by HHH never terminates no matter how many
    times you try to get away with the straw-man deception
    of referring to anything at all besides

    DD EMULATED BY HHH
    DD EMULATED BY HHH
    DD EMULATED BY HHH
    DD EMULATED BY HHH
    DD EMULATED BY HHH
    DD EMULATED BY HHH
    HHH emulating DD fails to reach the 'ret' instruction.

    Because DD calls HHH(DD) in recursive emulation
    thus non-termination is entirely the fault of DD.
    No, DD calls HHH only once. It is HHH that causes a recursive simulation
    by trying to simulate itself.
    It is stupid to try to analyse such a DD with a simulation, because that
    causes recursive simulations. That is not DD's fault.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sat Mar 1 23:39:07 2025
    Op 01.mrt.2025 om 22:11 schreef olcott:
    On 3/1/2025 2:16 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 17:33 schreef olcott:
    On 3/1/2025 9:39 AM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 15:41 schreef olcott:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck.


    Cannot possibly reach its own "ret" instruction and terminate normally >>>> proves failure of HHH to reach the end of a proven terminating program. >>>
    DD emulated by HHH according to the above x86 machine code of DD
    cannot possibly reach its own "ret" instruction and terminate normally


    In other words,

    The DD input to HHH unequivocally specifies a
    non terminating computation.



    What is the meaning of 'non terminating computation'? Olcott explicitly
    tells us that it has nothing to do with the direct execution of the same
    finite string that is the input for HHH. The only meaning left is, that
    HHH cannot normally terminate the simulation.
    Conclusion: Olcott is able to write a simulator that reports that it
    cannot normally terminate the simulation of a program for which the
    direct execution halts. Is that the work of a genius? Will the world be
    happy with such a simulator?

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Mar 1 20:14:08 2025
    On 3/1/25 7:44 PM, olcott wrote:
    On 3/1/2025 4:39 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 22:11 schreef olcott:
    On 3/1/2025 2:16 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 17:33 schreef olcott:
    On 3/1/2025 9:39 AM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 15:41 schreef olcott:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck. >>>>>>>>

    Cannot possibly reach its own "ret" instruction and terminate
    normally
    proves failure of HHH to reach the end of a proven terminating
    program.

    DD emulated by HHH according to the above x86 machine code of DD
    cannot possibly reach its own "ret" instruction and terminate normally >>>>

    In other words,

    The DD input to HHH unequivocally specifies a
    non terminating computation.



    What is the meaning of 'non terminating computation'?

    The finite string input DD to HHH emulated by HHH according
    to the behavior that it species (which includes pathological
    self-reference) cannot possibly reach its "ret" instruction
    and terminate normally.

    No, DD doesn't contain a "pathological self-reference" as programs can
    not "referece" what ever is emulation them.

    DD contians a "pathological reference" to the specific HHH that you
    claim to be correct, and that doesn't change when you make your
    hypothetical HHH that doesn't abort.


    When we say that the finite string input to HHH halts
    because some other instance that is not an input halts
    that is the same as saying that the Liar Paradox
    is true because IT IS TRUE WHEN IT IS APPLIED TO ITSELF.

    No, the input that doesn't halt isn't this input, as DD calls the one
    specific HHH that aborts and gives the claimed right answer.

    You just don't know what a program is, because you are just too stupid.


    This sentence is not true: "This sentence is not true" IS TRUE.



    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mr Flibble@21:1/5 to All on Sun Mar 2 02:28:14 2025
    On Sat, 1 Mar 2025 19:52:33 -0600, olcott <polcott333@gmail.com>
    wrote:

    On 3/1/2025 7:39 PM, dbush wrote:
    On 3/1/2025 8:09 PM, olcott wrote:
    On 3/1/2025 6:24 PM, dbush wrote:
    On 3/1/2025 7:01 PM, olcott wrote:
    On 3/1/2025 5:52 PM, dbush wrote:
    On 3/1/2025 6:47 PM, olcott wrote:
    On 3/1/2025 2:22 AM, Mikko wrote:
    On 2025-03-01 00:47:58 +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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    The emulator itself is stuck and cannot return normally but it >>>>>>>> doesn't
    know it cannot return normally. At some point it runs out of memory >>>>>>>> and terminates normally or abnormally.


    Yes you are correct about this sub-step of two steps.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.

    When we add an additional complexity we must note that there are >>>>>>>> other
    additional complexities that could be added instead.


    Sure we could carefully examine every detail about the price
    of tea in China.

    When we are answering the question that seems impossible for
    anyone here to pay attention to even when repeated hundreds of times: >>>>>>>
    Can the above DD correctly emulated by HHH possibly
    reach its own "ret" instruction and terminate normally?

    The answer is dead obviously "no" for everyone that is:
    (a) Technically competent
       and
    (b) Not deliberately deceptive.

    And by the same logic, no_numbers_greater_than_10 correctly
    emulated by F cannot reach its own "ret" instruction, leading to
    the conclusion that there are no natural numbers greater than 10,
    and you are on record as admitting this is correct.


    By this exact same reasoning the following function

    void dbush_is-a-stupid_fool()
    {
       return;
    }

    Proves that dbush is a stupid fool.



    I'll let you respond to yourself:

    On 7/22/2024 10:51 AM, olcott wrote:
    *Ad Hominem attacks are the first resort of clueless wonders*



    It was not an ad hominem attack because I know that you
    are neither stupid nor a fool. Yet your reasoning was
    both stupid and foolish.

    Yet you failed to explain why it was wrong, thereby admitting it was
    correct.


    OK asshole if you only want to play head games I am done with you

    Stop stealing my idea: it is Copyright 2022 Mr Flibble.

    /Flibble

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From joes@21:1/5 to All on Sun Mar 2 07:49:56 2025
    Am Sat, 01 Mar 2025 19:51:34 -0600 schrieb olcott:
    On 3/1/2025 7:14 PM, Richard Damon wrote:
    On 3/1/25 6:47 PM, olcott wrote:
    On 3/1/2025 2:22 AM, Mikko wrote:
    On 2025-03-01 00:47:58 +0000, olcott said:

    When we add the additional complexity that HHH also aborts this
    sequence at some point then every level of recursive emulation
    immediately stops. This does not enable any DD to ever reach its
    "ret" instruction.

    When we add an additional complexity we must note that there are
    other additional complexities that could be added instead.

    When we are answering the question that seems impossible for anyone
    here to pay attention to even when repeated hundreds of times:
    Can the above DD correctly emulated by HHH possibly reach its own
    "ret" instruction and terminate normally?
    (You seem to be the one with a (mis)attention problem.)
    HHH cannot simulate itself or anything that calls it. DD clearly returns.

    The problem is that if HHH correctly emulates DD, then it can not
    answer,
    That is the same stupid shit as saying that no one can possibly tell
    that an infinite loop will ever stop running unless they run it and wait until after the end of time.
    Not if you simulate it, which HHH does.

    --
    Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
    It is not guaranteed that n+1 exists for every n.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From joes@21:1/5 to All on Sun Mar 2 07:55:35 2025
    Am Sat, 01 Mar 2025 18:44:11 -0600 schrieb olcott:
    On 3/1/2025 4:39 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 22:11 schreef olcott:
    On 3/1/2025 2:16 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 17:33 schreef olcott:
    On 3/1/2025 9:39 AM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 15:41 schreef olcott:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:

    When we hypothesize that the code at machine address 0000213c is >>>>>>>>> an x86 emulator then we know that DD remains stuck in recursive >>>>>>>>> emulation and cannot possibly reach its own "ret" instruction >>>>>>>>> and terminate normally.
    When we add the additional complexity that HHH also aborts this >>>>>>>>> sequence at some point then every level of recursive emulation >>>>>>>>> immediately stops. This does not enable any DD to ever reach its >>>>>>>>> "ret" instruction.

    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck. Exactly.

    Cannot possibly reach its own "ret" instruction and terminate
    normally
    proves failure of HHH to reach the end of a proven terminating
    program.
    Yah.

    DD emulated by HHH according to the above x86 machine code of DD
    cannot possibly reach its own "ret" instruction and terminate
    normally
    Only when simulated, so that’s HHH’s fault.

    The DD input to HHH unequivocally specifies a non terminating
    computation.
    No, DD terminates.

    What is the meaning of 'non terminating computation'?

    The finite string input DD to HHH emulated by HHH according to the
    behavior that it species (which includes pathological self-reference)
    cannot possibly reach its "ret" instruction and terminate normally.
    DD *is not running*. You are only talking about what HHH does.

    When we say that the finite string input to HHH halts because some other instance that is not an input halts that is the same as saying that the
    Liar Paradox is true because IT IS TRUE WHEN IT IS APPLIED TO ITSELF.
    DD *is* the input, not some other DD that calls HHH1 or HHH with
    the abort code disabled.

    This sentence is not true: "This sentence is not true" IS TRUE.
    True.

    --
    Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
    It is not guaranteed that n+1 exists for every n.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From joes@21:1/5 to All on Sun Mar 2 07:57:57 2025
    Am Sat, 01 Mar 2025 18:36:06 -0600 schrieb olcott:
    On 3/1/2025 4:08 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 22:12 schreef olcott:
    On 3/1/2025 2:22 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 20:01 schreef olcott:
    On 3/1/2025 10:05 AM, Richard Damon wrote:
    On 3/1/25 9:41 AM, olcott wrote:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:

    When we hypothesize that the code at machine address 0000213c is >>>>>>>>> an x86 emulator then we know that DD remains stuck in recursive >>>>>>>>> emulation and cannot possibly reach its own "ret" instruction >>>>>>>>> and terminate normally.
    When we add the additional complexity that HHH also aborts this >>>>>>>>> sequence at some point then every level of recursive emulation >>>>>>>>> immediately stops. This does not enable any DD to ever reach its >>>>>>>>> "ret" instruction.

    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck. >>>>>>>>
    Cannot possibly reach its own "ret" instruction and terminate
    normally proves non-termination whether aborted or not.

    But it DOES terminate

    DD emulated by HHH never terminates no matter how many times you try >>>>> to get away with the straw-man deception of referring to anything at >>>>> all besides DD EMULATED BY HHH
    HHH emulating DD fails to reach the 'ret' instruction.

    Because DD calls HHH(DD) in recursive emulation thus non-termination
    is entirely the fault of DD.
    No, DD calls HHH only once.

    When DD is correctly emulated by HHH and DD calls HHH(DD)
    then DD calls HHH in recursive emulation.
    When HHH breaks this otherwise endless chain every level of DD
    immediately stops with none of them ever reaching their "ret"
    instruction.
    When HHH breaks the chain, there is no chain to break.

    --
    Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
    It is not guaranteed that n+1 exists for every n.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From joes@21:1/5 to All on Sun Mar 2 07:59:16 2025
    Am Sat, 01 Mar 2025 18:04:50 -0600 schrieb olcott:
    On 3/1/2025 4:05 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 22:11 schreef olcott:
    On 3/1/2025 2:16 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 17:33 schreef olcott:
    On 3/1/2025 9:39 AM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 15:41 schreef olcott:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:

    When we hypothesize that the code at machine address 0000213c is >>>>>>>>> an x86 emulator then we know that DD remains stuck in recursive >>>>>>>>> emulation and cannot possibly reach its own "ret" instruction >>>>>>>>> and terminate normally.
    When we add the additional complexity that HHH also aborts this >>>>>>>>> sequence at some point then every level of recursive emulation >>>>>>>>> immediately stops. This does not enable any DD to ever reach its >>>>>>>>> "ret" instruction.

    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck. >>>>>>>>
    Cannot possibly reach its own "ret" instruction and terminate
    normally
    proves failure of HHH to reach the end of a proven terminating
    program.

    DD emulated by HHH according to the above x86 machine code of DD
    cannot possibly reach its own "ret" instruction and terminate
    normally

    The DD input to HHH unequivocally specifies a non terminating
    computation.
    In other words, HHH did not terminate the simulation.

    Your paraphrase seems intentionally dishonest at this point in our
    dialogue.
    In other words(tm), you admit that paraphrases can be wrong.

    --
    Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
    It is not guaranteed that n+1 exists for every n.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From joes@21:1/5 to All on Sun Mar 2 08:02:19 2025
    Am Sat, 01 Mar 2025 15:12:52 -0600 schrieb olcott:
    On 3/1/2025 2:22 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 20:01 schreef olcott:
    On 3/1/2025 10:05 AM, Richard Damon wrote:
    On 3/1/25 9:41 AM, olcott wrote:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:

    When we hypothesize that the code at machine address 0000213c is >>>>>>> an x86 emulator then we know that DD remains stuck in recursive
    emulation and cannot possibly reach its own "ret" instruction and >>>>>>> terminate normally.
    When we add the additional complexity that HHH also aborts this
    sequence at some point then every level of recursive emulation
    immediately stops. This does not enable any DD to ever reach its >>>>>>> "ret" instruction.

    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck.

    Cannot possibly reach its own "ret" instruction and terminate
    normally proves non-termination whether aborted or not.

    But it DOES terminate

    DD emulated by HHH never terminates no matter how many times you try
    to get away with the straw-man deception of referring to anything at
    all besides DD EMULATED BY HHH
    HHH emulating DD fails to reach the 'ret' instruction.

    Because DD calls HHH(DD) in recursive emulation thus non-termination is entirely the fault of DD.
    Cannot be. DD halts. HHH just can’t simulate it.

    --
    Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
    It is not guaranteed that n+1 exists for every n.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From joes@21:1/5 to All on Sun Mar 2 08:00:49 2025
    Am Sat, 01 Mar 2025 17:58:52 -0600 schrieb olcott:
    On 3/1/2025 3:58 PM, Richard Damon wrote:
    On 3/1/25 2:01 PM, olcott wrote:
    On 3/1/2025 10:05 AM, Richard Damon wrote:
    On 3/1/25 9:41 AM, olcott wrote:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:

    When we hypothesize that the code at machine address 0000213c is >>>>>>> an x86 emulator then we know that DD remains stuck in recursive
    emulation and cannot possibly reach its own "ret" instruction and >>>>>>> terminate normally.
    When we add the additional complexity that HHH also aborts this
    sequence at some point then every level of recursive emulation
    immediately stops. This does not enable any DD to ever reach its >>>>>>> "ret" instruction.

    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck.

    Cannot possibly reach its own "ret" instruction and terminate
    normally proves non-termination whether aborted or not.

    But it DOES terminate

    DD emulated by HHH never terminates no matter how many times you try
    to get away with the straw-man deception of referring to anything at
    all besides DD EMULATED BY HHH

    Which since HHH doesn't correctly emulate DD is just a fantasy.

    If it was actually incorrect then someone could show how the above code
    is correctly emulated by HHH.
    You are asking for the impossible. HHH cannot simulate itself.

    --
    Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
    It is not guaranteed that n+1 exists for every n.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sun Mar 2 09:11:35 2025
    Op 02.mrt.2025 om 01:44 schreef olcott:
    On 3/1/2025 4:39 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 22:11 schreef olcott:
    On 3/1/2025 2:16 PM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 17:33 schreef olcott:
    On 3/1/2025 9:39 AM, Fred. Zwarts wrote:
    Op 01.mrt.2025 om 15:41 schreef olcott:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck. >>>>>>>>

    Cannot possibly reach its own "ret" instruction and terminate
    normally
    proves failure of HHH to reach the end of a proven terminating
    program.

    DD emulated by HHH according to the above x86 machine code of DD
    cannot possibly reach its own "ret" instruction and terminate normally >>>>

    In other words,

    The DD input to HHH unequivocally specifies a
    non terminating computation.



    What is the meaning of 'non terminating computation'?

    The finite string input DD to HHH emulated by HHH according
    to the behavior that it species (which includes pathological
    self-reference) cannot possibly reach its "ret" instruction
    and terminate normally.

    In other words a 'non termination computation' as reported by HHH is a computation that HHH cannot simulate up to the end, although the direct execution and the simulation by other simulators do reach the end of the computation described by the same finite string.

    Conclusion: Olcott has proven that he can create a simulator that is
    able to report that it cannot reach the end of a simulation, where the
    direct execution and other simulators do reach the end of the same
    program described in the same finite string as given to HHH as input.
    Let's admit this result, so that he can have some peaceful time.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fred. Zwarts@21:1/5 to All on Sun Mar 2 09:15:59 2025
    Op 02.mrt.2025 om 00:58 schreef olcott:
    On 3/1/2025 3:58 PM, Richard Damon wrote:
    On 3/1/25 2:01 PM, olcott wrote:
    On 3/1/2025 10:05 AM, Richard Damon wrote:
    On 3/1/25 9:41 AM, olcott wrote:
    On 3/1/2025 6:49 AM, Richard Damon wrote:
    On 2/28/25 7:47 PM, olcott wrote:
    _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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    But then you just negated your first assumption, as a partial
    emulator that aborts its emulation, then DD no longer gets stuck.


    Cannot possibly reach its own "ret" instruction and terminate normally >>>>> proves non-termination whether aborted or not.

    Cannot possibly reach its own "ret" instruction and terminate normally >>>>> proves non-termination whether aborted or not.

    Cannot possibly reach its own "ret" instruction and terminate normally >>>>> proves non-termination whether aborted or not.



    But it DOES terminate

    DD emulated by HHH never terminates no matter how many
    times you try to get away with the straw-man deception
    of referring to anything at all besides

    DD EMULATED BY HHH
    DD EMULATED BY HHH
    DD EMULATED BY HHH
    DD EMULATED BY HHH
    DD EMULATED BY HHH
    DD EMULATED BY HHH



    Which since HHH doesn't correctly emulate DD is just a fantasy.


    If it was actually incorrect then someone could show
    how the above code is correctly emulated by HHH.
    Invalid logic. If there a correct way does not exist, Oloctt is
    incorrect and nobody else can show a correct way.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Sun Mar 2 11:48:49 2025
    On 2025-03-02 01:51:34 +0000, olcott said:

    On 3/1/2025 7:14 PM, Richard Damon wrote:
    On 3/1/25 6:47 PM, olcott wrote:
    On 3/1/2025 2:22 AM, Mikko wrote:
    On 2025-03-01 00:47:58 +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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    The emulator itself is stuck and cannot return normally but it doesn't >>>> know it cannot return normally. At some point it runs out of memory
    and terminates normally or abnormally.


    Yes you are correct about this sub-step of two steps.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.

    When we add an additional complexity we must note that there are other >>>> additional complexities that could be added instead.


    Sure we could carefully examine every detail about the price
    of tea in China.

    When we are answering the question that seems impossible for
    anyone here to pay attention to even when repeated hundreds of times:

    Can the above DD correctly emulated by HHH possibly
    reach its own "ret" instruction and terminate normally?

    The problem is that if HHH correctly emulates DD, then it can not answer,

    That is the same stupid shit as saying that no one
    can possibly tell that an infinite loop will ever
    stop running unless they run it and wait until after
    the end of time.

    No, it is not. It closer to say that someone cannot possible to tell about
    a particular complex loop that it will never stop unless one runs it and
    waits until after the end of time.

    Since you are not stupid why do you say such stupid shit?

    A truth is a truth even when a fool calls it "shit".

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Sun Mar 2 11:41:16 2025
    On 2025-03-01 23:47:30 +0000, olcott said:

    On 3/1/2025 2:22 AM, Mikko wrote:
    On 2025-03-01 00:47:58 +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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    The emulator itself is stuck and cannot return normally but it doesn't
    know it cannot return normally. At some point it runs out of memory
    and terminates normally or abnormally.


    Yes you are correct about this sub-step of two steps.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.

    When we add an additional complexity we must note that there are other
    additional complexities that could be added instead.


    Sure we could carefully examine every detail about the price
    of tea in China.

    And you need to unless you can prove your claim otherwise. Apparently
    you can't as you would done so if you could.

    When we are answering the question that seems impossible for
    anyone here to pay attention to even when repeated hundreds of times:

    Can the above DD correctly emulated by HHH possibly
    reach its own "ret" instruction and terminate normally?

    Already answered.

    The answer is dead obviously "no" for everyone that is:
    (a) Technically competent
    and
    (b) Not deliberately deceptive.

    Only someone technically incompetent or deliberately deceptive believes that. If DD correctly emulated by HHH is the DD of OP then it may reach its own
    "ret" isntruction or fail to reach depending on things OP did not specify. If DD correctly emulated by HHH is not the DD of OP then nothing is specified,
    so both reaching and not reaching of "ret" are possible in this case, too.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sun Mar 2 16:11:25 2025
    On 3/1/25 8:51 PM, olcott wrote:
    On 3/1/2025 7:14 PM, Richard Damon wrote:
    On 3/1/25 6:47 PM, olcott wrote:
    On 3/1/2025 2:22 AM, Mikko wrote:
    On 2025-03-01 00:47:58 +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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    The emulator itself is stuck and cannot return normally but it doesn't >>>> know it cannot return normally. At some point it runs out of memory
    and terminates normally or abnormally.


    Yes you are correct about this sub-step of two steps.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.

    When we add an additional complexity we must note that there are other >>>> additional complexities that could be added instead.


    Sure we could carefully examine every detail about the price
    of tea in China.

    When we are answering the question that seems impossible for
    anyone here to pay attention to even when repeated hundreds of times:

    Can the above DD correctly emulated by HHH possibly
    reach its own "ret" instruction and terminate normally?

    The problem is that if HHH correctly emulates DD, then it can not answer,


    That is the same stupid shit as saying that no one
    can possibly tell that an infinite loop will ever
    stop running unless they run it and wait until after
    the end of time.

    Since you are not stupid why do you say such stupid shit?


    Nope. Just that there are SOME non-halting behaivors that can not be
    detected.

    You are just too stupid to know the difference, and too stupid to see
    you are that stupid.

    You keep on making that sort of strawman claim, likely because you just
    don't know enough to know what is true or not.

    Note, even you agree that if HHH doesn't abort its emulation of the DD
    built on the non-aborting HHH, that it will never answer.

    So, you hit the problem that you need to decide what the HHH that DD
    calls is, and that is the only HHH that you can use to claim to get the
    right answer if you want to be a counter-example to Linz and the like.

    You are just too stupid to understand that.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sun Mar 2 19:42:17 2025
    On 3/2/25 9:30 AM, olcott wrote:
    On 3/2/2025 3:41 AM, Mikko wrote:
    On 2025-03-01 23:47:30 +0000, olcott said:

    On 3/1/2025 2:22 AM, Mikko wrote:
    On 2025-03-01 00:47:58 +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]

    When we hypothesize that the code at machine address
    0000213c is an x86 emulator then we know that DD
    remains stuck in recursive emulation and cannot possibly
    reach its own "ret" instruction and terminate normally.

    The emulator itself is stuck and cannot return normally but it doesn't >>>> know it cannot return normally. At some point it runs out of memory
    and terminates normally or abnormally.


    Yes you are correct about this sub-step of two steps.

    When we add the additional complexity that HHH also
    aborts this sequence at some point then every level
    of recursive emulation immediately stops. This does
    not enable any DD to ever reach its "ret" instruction.


    When we are answering the question that seems impossible for
    anyone here to pay attention to even when repeated hundreds of times:

    Can the above DD correctly emulated by HHH possibly
    reach its own "ret" instruction and terminate normally?

    Already answered.

    The answer is dead obviously "no" for everyone that is:
    (a) Technically competent
       and
    (b) Not deliberately deceptive.

    Only someone technically incompetent or deliberately deceptive
    believes that.
    If DD correctly emulated by HHH

    I challenged everyone here to provide the machine address
    by machine address (AKA line by line) execution trace
    of DD correctly emulated by HHH that reaches its own
    "ret" instruction.

    No one made any attempt to do this because they know that
    this would prove that they are stupidly wrong to say that
    my trace is incorrect.



    Which since such a thing does not need to exist, is just a bogus claim.

    First, since you have exclude the code of HHH from DD, I would challage
    how you possible emulate past the call HHH instruction by *ANY* correct emulator that meets the requirement of being a "pure function".

    And, when you add that code into DD, then you have locked what HHH is
    defined as, and since your only example does abort, there just isn't an
    HHH that does what you say, proving that HHH can't use that definition
    to help it justify its actions,

    Sorry, you are just proving your stupidity.

    Note, I *HAVE* posted what you claimed to be the correct simulation of a isomorphic program (a real isomophism, not one of your fake onew) that
    show how the correct emulation would go.

    So, either you accept that or admit you lied when you posted it,

    Either way, you are just admitting to being a liar.


    I will also add that your techique of posting widely with limited
    followup, and then reposting just your point widely again, is just more evidence that you are nothing but a deliberate fraud, knowingly trying
    to spread false information and lies.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)