XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: Bonita.Montero@gmail.com   
      
   Am 26.09.2025 um 17:56 schrieb olcott:   
   > On 9/26/2025 10:44 AM, Bonita Montero wrote:   
   >> Am 25.09.2025 um 22:18 schrieb Chris M. Thomasson:   
   >>> On 9/25/2025 7:21 AM, Bonita Montero wrote:   
   >>>> Am 25.09.2025 um 15:56 schrieb olcott:   
   >>>>> Does there exist a single halt decider that can   
   >>>>> compute the mapping from its finite string input(s)   
   >>>>> to an accept or reject value on the basis of the   
   >>>>> semantic halting property specified by this/these   
   >>>>> finite string input(s) for all inputs?   
   >>>>>   
   >>>>> *Defines a different result as shown below*   
   >>>>>   
   >>>>>  From just my own two sentences (a) and (b) five LLM   
   >>>>> systems figured out how to correctly decide the halting   
   >>>>> problem's counter example input.   
   >>>>>   
   >>>>> They all figured out the recursive simulation non-halting   
   >>>>> behavior pattern on their own.   
   >>>>>   
   >>>>>    
   >>>>> 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.   
   >>>>>   
   >>>>> typedef int (*ptr)();   
   >>>>> int HHH(ptr P);   
   >>>>>   
   >>>>> int DD()   
   >>>>>   {   
   >>>>>    int Halt_Status = HHH(DD);   
   >>>>>    if (Halt_Status)   
   >>>>>      HERE: goto HERE;   
   >>>>>    return Halt_Status;   
   >>>>>   }   
   >>>>>   
   >>>>> What value should HHH(DD) correctly return?   
   >>>>>    
   >>>>>   
   >>>>> *Here are the best three*   
   >>>>> https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c   
   >>>>>   
   >>>>> https://chatgpt.com/share/68939ee5-e2f8-8011-837d-438fe8e98b9c   
   >>>>>   
   >>>>> https://grok.com/share/c2hhcmQtMg%3D%3D_810120bb-5ab5-4bf8-af21-   
   >>>>> eedd0f09e141   
   >>>>>   
   >>>>   
   >>>>   
   >>>> Do something more meaningful with your life than discussing   
   >>>> the same detail for years. I find that absolutely insane.   
   >>>>   
   >>>   
   >>> I hope he listens to you.   
   >>   
   >> <3   
   >   
   > Two other PhD computer scientists agree with me.   
      
   Are they also crazy ?   
      
   >   
   > https://www.cs.toronto.edu/~hehner/PHP.pdf   
   >   
   > https://www.complang.tuwien.ac.at/anton/euroforth/ef17/papers/stoddart.pdf   
   >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)