1. Forum
  2. Newsgroups
  3. comp.lang.c

  • Re: Correct simulation of DDD by HHH is proven --- Heathfield FINALLYadmits the truth (Yeah)

    From olcott@polcott333@gmail.com to comp.theory,comp.lang.c,comp.lang.c++,comp.ai.philosophy on Mon Aug 18 21:54:45 2025
    From Newsgroup: comp.lang.c

    On 8/18/2025 9:40 PM, Richard Heathfield wrote:
    On 19/08/2025 03:07, dbush wrote:

    <snip>

    So we see that Richard Heathfield agreed that HHH can't give a correct
    answer, as Linz and other have proved and as you have *explicitly*
    agreed is correct.


    I look at it this way.

    HHH cannot reasonably abort as soon as it detects recursion. After all, there are lots of recursive algorithms around, and plenty of them
    terminate. It has to dig a little deeper than that.

    So by the time we're some way in, we have several levels of recursion:

    DD -> HHH -> DD -> HHH -> DD -> HHH -> DD
          (a)          (b)          (c)

    Let's say (c) decides enough is enough.

    So (c) stops *its* simulation of DD. THIS HAS NO IMPACT ON (a) AND (b).

    (c) now returns 0 to (b)'s DD.

    (b) regains control, accepts 0 from (c), assigns 0 to Halt_Status, and returns 0 to (a).

    (a) regains control, accepts 0 from (b), assigns 0 to Halt_Status, and returns 0 to the original DD.

    If the original DD has a caller, it gets a 0, incorrectly indicating non-halting.

    Looking at it this way, I no longer see the need for memoisation. All
    that is necessary is for HHH *only* to abort the simulation it's
    hosting, *not* the simulation that invoked it.

    There's your bug, Mr Olcott.


    It is your failing to understand that HHH does not
    have enough evidence to abort (a) until after it has
    done more recursive simulations and then it aborts
    (a) killing them all.

    We have hit the key juncture where you have finally
    proven that you can work within an honest dialogue.
    THAT IS GREAT !!!
    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer
    --- Synchronet 3.21a-Linux NewsLink 1.2