• Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott,

    From Richard Damon@21:1/5 to olcott on Wed Jul 10 20:37:58 2024
    On 7/10/24 8:24 PM, olcott wrote:
    On 7/10/2024 7:01 PM, Richard Damon wrote:
    On 7/10/24 9:41 AM, olcott wrote:
    On 7/10/2024 8:27 AM, joes wrote:
    Am Tue, 09 Jul 2024 23:19:25 -0500 schrieb olcott:
    On 7/9/2024 11:01 PM, joes wrote:
      > That means that HHH doesn't return, in particular that it doesn't >>>>>   > abort.
    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.
    That line being the call to itself -> it can't simulate itself.

    *DDD NEVER HALTS*
    DDD ONLY calls HHH...


    void DDD()
    {
       HHH(DDD);
       return;
    }

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.



    Nope, DDD does if HHH(DDD) returns.


    You have a dead cat in your driveway does not mean that
    you have a peanut butter sandwich on your front porch.
    It has taken you at least 1000 messages to see that.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    WRONG, you don't seem to understand the difference between DDD and HHH's emualtion of it.


    DDD just runs to its end when you run it, or correctly emulate it (which
    HHH doesn't do since it aborts its emulation).

    HHH only partially emulates its input and sees only part of the
    behavior, and then guess wrongly.

    That you don't understand this shows you have major issues with the
    difference between reality and simulated reality.


    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.






    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Wed Jul 10 21:11:30 2024
    On 7/10/24 9:01 PM, olcott wrote:
    On 7/10/2024 7:37 PM, Richard Damon wrote:
    On 7/10/24 8:24 PM, olcott wrote:
    On 7/10/2024 7:01 PM, Richard Damon wrote:
    On 7/10/24 9:41 AM, olcott wrote:
    On 7/10/2024 8:27 AM, joes wrote:
    Am Tue, 09 Jul 2024 23:19:25 -0500 schrieb olcott:
    On 7/9/2024 11:01 PM, joes wrote:
      > That means that HHH doesn't return, in particular that it
    doesn't
      > abort.
    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.
    That line being the call to itself -> it can't simulate itself.

    *DDD NEVER HALTS*
    DDD ONLY calls HHH...


    void DDD()
    {
       HHH(DDD);
       return;
    }

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.



    Nope, DDD does if HHH(DDD) returns.


    You have a dead cat in your driveway does not mean that
    you have a peanut butter sandwich on your front porch.
    It has taken you at least 1000 messages to see that.

    DDD correctly emulated by any pure function HHH that
    correctly emulates 1 to ∞ lines of DDD can't make it
    to the second line of DDD no matter what.

    WRONG, you don't seem to understand the difference between DDD and
    HHH's emualtion of it.



    Would you bet your immortal soul that DDD simulated
    by HHH (as provided above) would terminate normally?


    That is a ambiguous statement, showing your attempt at deciet.

    the program DDD, which HHH happens to simulate a copy of, will terminate.

    The simulation of DDD by HHH does not reach the final state because HHH
    stops its simulation too soon.

    Do you bet your immortal soul (if you still have it to bet) that your
    claim is correct?

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