XPost: comp.theory   
   From: polcott333@gmail.com   
      
   On 10/18/2025 10:53 AM, vallor wrote:   
   > At Sat, 18 Oct 2025 09:48:01 -0500, olcott  wrote:   
   >   
   >> On 10/18/2025 9:43 AM, vallor wrote:   
   >>> At Sat, 18 Oct 2025 06:20:25 -0500, olcott  wrote:   
   >>>   
   >>> Puh-LEASE stop crossposting your...stuff...to comp.lang.c.   
   >>>   
   >>   
   >> How about I only make one cross post per week and   
   >> always set followup to comp.theory?   
   >   
   > Why?  You aren't posting about C.   
   >   
      
   The core of my whole proof that   
   *The halting problem is either incoherent or the proof wrong*   
   depends on this simple C code   
      
      
   Please think this all the way through without making any guesses   
      
   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) If HHH must abort its simulation to prevent its own non-termination   
         then HHH is correct to abort this simulation and return 0.   
      
   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?   
      
      
   *Here is the 33 page proof, the last page is the key*   
   https://claude.ai/share/0258f529-f92e-497b-86f5-e5751705a0d5   
      
   --   
   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)