• D simulated by H cannot possibly reach its own simulated final haltstate

    From olcott@[email protected] to comp.theory,comp.lang.c++,comp.lang.c,comp.ai.philosophy on Thu Nov 6 14:48:02 2025
    From Newsgroup: comp.ai.philosophy

    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/[email protected]

    On 11/4/2025 8:43 PM, Kaz Kylheku wrote:
    On 2025-11-05, olcott <[email protected]> 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

    --- Synchronet 3.21a-Linux NewsLink 1.2