1. Forum
  2. Fidonet
  3. COMP.LANG.C

  • D simulated by H cannot possibly reach its own simulated final halt sta

    From olcott@3:633/10 to All on Thu Nov 6 14:48:02 2025
    Subject: D simulated by H cannot possibly reach its own simulated final halt state

    D simulated by H cannot possibly reach its own
    simulated final halt state.

    I am not going to talk about any non-nonsense of
    resuming a simulation after we already have this
    final answer.

    We just proved that the input to H(D) specifies
    non-halting. Anything beyond this is flogging a
    dead horse.


    news://news.eternal-september.org/20251104183329.967@kylheku.com

    On 11/4/2025 8:43 PM, Kaz Kylheku wrote:
    On 2025-11-05, olcott <polcott333@gmail.com> wrote:

    The whole point is that D simulated by H
    cannot possbly reach its own simulated
    "return" statement no matter what H does.

    Yes; this doesn't happen while H is running.

    So while H does /something/, no matter what H does,
    that D simulation won't reach the return statement.


    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer


    --- PyGate Linux v1.5
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From olcott@3:633/10 to All on Wed Nov 12 20:34:32 2025
    Subject: D simulated by H cannot possibly reach its own simulated final halt state

    On 11/12/2025 8:25 PM, Kaz Kylheku wrote:

    If those two are in any way whatsoever different, the entire
    castle you built in the sand is washed away.


    *This is a FOREVER thing until someone admits the truth*
    *This is a FOREVER thing until someone admits the truth*
    *This is a FOREVER thing until someone admits the truth*

    int D()
    {
    int Halt_Status = H(D);
    if (Halt_Status)
    HERE: goto HERE;
    return Halt_Status;
    }

    Everyone here rejects that the execution trace
    of 5 statements of D simulated by H according to
    the semantics of C is this:

    (1) H simulates D that calls H(D)
    (2) that simulates D that calls H(D)
    (3) that simulates D that calls H(D)
    (4) that simulates D that calls H(D)
    (5) that simulates D that calls H(D)


    --
    Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer

    --- PyGate Linux v1.5
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)