XPost: comp.theory   
   From: polcott333@gmail.com   
      
   On 10/23/2025 8:27 PM, Mike Terry wrote:   
   > On 23/10/2025 20:53, Chris M. Thomasson wrote:   
   >> Olcott cherry picks a hyper simple program and says see, I can tell if   
   >> it halts or not! I am an genius. Ect... He can detect a non-   
   >> terminating condition! God be praised indeed.   
   >>   
   >> If HHH(DD) returns non-zero it goes into an infinite GOTO loop. We can   
   >> say this is non-halting. If HHH(DD) returns zero, DD halts.   
   >   
   > That is indeed the spec. for C function DD.  It seems that the rest of   
   > your post is some kind of attempt to verify that function DD is meeting   
   > its spec; the sort of thing a developer might do who was schooled in   
   > test-driven development methodologies.   
   >   
   > The question PO asks, is not about function DD's specification or its   
   > correctness - it's something like "What value should *HHH* return, given   
   > some "specification" PO has provided for HHH".   
   >   
   >   
   > Mike.   
   >   
      
   Dishonest people will ignore this spec and on the basis   
   of not paying attention denigrate my work such that this   
   is an act of defamation of character.   
      
      
   - You must simulate the input **exactly as written**,   
       step by step, without any external reasoning,   
       assumptions, or guesses.   
      
   - **Do not analyze, infer, or speculate**; only describe   
         what the simulation observes in execution.   
      
   - Report only the behavior that occurs in the simulation.   
      
   - Always follow the priority rules exactly:   
        1. (a) Detect non-terminating behavior → abort   
                  simulation and return 0.   
        2. (b) Return statement reached → return 1.   
        3. (c) Neither (a) nor (b) → return -1.   
      
   - Do not include any commentary about halting   
       problem, contradictions,  or theoretical reasoning.   
      
   - All output must be in terms of simulation observations only.   
      
      
      
   Simulating Termination Analyzer HHH correctly simulates its input until:   
   (a) Detects a non-terminating behavior pattern:   
        abort simulation and return 0.   
   (b) Simulated input reaches its simulated "return" statement:   
        return 1.   
   (c) Neither (a) nor (b) is met return -1   
      
   typedef int (*ptr)();   
   int HHH(ptr P);   
      
   int DD()   
   {   
      int Halt_Status = HHH(DD);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   int main()   
   {   
      HHH(DD);   
   }   
      
   What value should HHH(DD) correctly return?   
      
      
      
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)