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

  • Re: Can D correctly simulated by H reach its own line 06 and halt?

    From bart@21:1/5 to olcott on Tue May 21 22:34:17 2024
    On 21/05/2024 19:48, olcott wrote:
    On 5/21/2024 1:39 PM, Bonita Montero wrote:

    You're neither asking about a C- or C++ problem.
    So use a proper newsgroup.


    There is no other group that knows enough about the semantics of the
    C programming language and there is no other group still alive that
    knows enough about the semantics of programming languages.

    Then FFS take it to Reddit, where there are a myriad thriving forums,
    rather than a dying usenet group populated by a few aging regulars.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Tim Rentsch@21:1/5 to Sam on Tue May 21 21:23:20 2024
    Sam <[email protected]> writes:

    olcott writes:

    It is essentially trivial to see that D correctly simulated by H
    cannot possibly reach its own final state at line 06 because
    D correctly simulated by H remains stuck in recursive simulation.

    This provides the basis for simulating termination analyzer H to
    correctly determine that the halting problem's counter-example
    input D cannot possibly halt.

    Negative. It is trivial to see that the above code does not
    execute, and, as such, any claims about what it does or does not
    do are void, by default.

    Oh I forgot to endlessly repeat that that the above is
    a code template such that every H/D pair of the infinite
    set of H/D pairs is only required to correctly simulate
    N steps of D using an x86 emulator.

    Just like any endlessly repeating infinite loop, you're stuck and
    will never finish your task.

    olcott is playing a kind of practical joke, testing to see
    how long it takes people to realize his personal Turing
    machine doesn't halt.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From tTh@21:1/5 to olcott on Wed May 22 06:45:47 2024
    On 5/22/24 06:03, olcott wrote:

    This provides the basis for simulating termination analyzer H to
    correctly determine that the halting problem's counter-example
    input D cannot possibly halt.

    test

    But did you even try unplugging your computer?

    --
    +---------------------------------------------------------------------+
    | https://tube.interhacker.space/a/tth/video-channels | +---------------------------------------------------------------------+

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From David Brown@21:1/5 to olcott on Wed May 22 10:54:57 2024
    On 21/05/2024 23:56, olcott wrote:
    On 5/21/2024 4:34 PM, bart wrote:
    On 21/05/2024 19:48, olcott wrote:
    On 5/21/2024 1:39 PM, Bonita Montero wrote:

    You're neither asking about a C- or C++ problem.
    So use a proper newsgroup.


    There is no other group that knows enough about the semantics of the
    C programming language and there is no other group still alive that
    knows enough about the semantics of programming languages.

    Then FFS take it to Reddit, where there are a myriad thriving forums,
    rather than a dying usenet group populated by a few aging regulars.



    I have taken it to many different forums.
    This is one of two forums where someone actually answered the question.
    Two years ago someone answered the assembly language version of the
    question. I think the Reddit banned me for even asking the question.


    The /only/ reason you are not banned here is because unmoderated Usenet
    groups cannot ban people.

    You post obsessively in many places, and face nothing but rejection,
    ridicule, and banning. Has it ever occurred to you to look for the
    common factor here? It is /you/, and the posts you make. If you truly
    want to make progress on your bizarre ideas, you are going to have to
    re-think your strategy - it is entirely obvious to everyone that you
    will not get the answers you are asking for here or anywhere else with
    your current posting style.

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