XPost: comp.theory   
   From: polcott333@gmail.com   
      
   On 10/23/2025 9:37 PM, dart200 wrote:   
   > On 10/23/25 6:46 PM, olcott wrote:   
   >> 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?   
   >>   
   >>    
   >>   
   >>   
   >   
   > u keep giving an algorithm, but it's not the one anyone wants   
   >   
      
   It is not about what anyone wants. It is   
   about my rebuttal of the halting problem.   
   People have been gaslighting me on the   
   above for three years.   
      
   --   
   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)