1. Forum
  2. Usenet
  3. COMP.THEORY

  • Re: Everyone makes sure to avoid addressing this exact point

    From Mikko@21:1/5 to olcott on Wed Mar 12 10:54:07 2025
    On 2025-03-11 22:15:57 +0000, olcott said:

    typedef void (*ptr)();
    int HHH(ptr P);

    void Infinite_Loop()
    {
    HERE: goto HERE;
    return;
    }

    void Infinite_Recursion()
    {
    Infinite_Recursion();
    return;
    }

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

    int DD()
    {
    int Halt_Status = HHH(DD);
    if (Halt_Status)
    HERE: goto HERE;
    return Halt_Status;
    }

    When HHH correctly emulates N steps of the above
    functions none of them can possibly reach their own
    "return" instruction and terminate normally.

    Yet another false claim. That exact point has been addressed many times.

    But why it should be and has been addressed? It is not interesting per
    se and has not been shown to have any connections that could make it interesting.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to dbush on Wed Mar 12 10:55:15 2025
    On 2025-03-11 22:31:57 +0000, dbush said:

    On 3/11/2025 6:15 PM, olcott wrote:
    typedef void (*ptr)();
    int HHH(ptr P);

    void Infinite_Loop()
    {
      HERE: goto HERE;
      return;
    }

    void Infinite_Recursion()
    {
      Infinite_Recursion();
      return;
    }

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

    int DD()
    {
      int Halt_Status = HHH(DD);
      if (Halt_Status)
        HERE: goto HERE;
      return Halt_Status;
    }

    When HHH correctly emulates N steps of the above
    functions none of them can possibly reach their own
    "return" instruction and terminate normally.


    Changing the input is not allowed.

    Why not? There is no requirement that HHH should do anything useful
    so it is free to do whatever it does.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Heathfield@21:1/5 to Mikko on Wed Mar 12 09:08:31 2025
    On 12/03/2025 08:55, Mikko wrote:
    On 2025-03-11 22:31:57 +0000, dbush said:

    <snip>

    Changing the input is not allowed.

    Why not? There is no requirement that HHH should do anything useful
    so it is free to do whatever it does.

    That's actually a very liberating approach. In fact, why not set
    it free to do whatever it /likes/? Perhaps it could solve TSP, or
    maybe prove P=NP and solve TSP in its spare time, or even have a
    crack at factoring large primes for Bill Gates?

    --
    Richard Heathfield
    Email: rjh at cpax dot org dot uk
    "Usenet is a strange place" - dmr 29 July 1999
    Sig line 4 vacant - apply within

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