XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 7/27/2025 6:11 AM, Richard Damon wrote:   
   > On 7/26/25 10:43 PM, olcott wrote:>>   
   >> When HHH(DDD) simulates DDD it also simulates itself   
   >> simulating DDD because DDD calls HHH(DDD).   
   >   
   > But can only do that if HHH is part of its input, or it is not   
   > simulating its input.   
   >   
   > And, it FAILS at simulating itself, as it concludes that HHH(DDD) will   
   > never return, when it does.   
   >   
      
   This ChatGPT analysis of its input below   
   correctly derives both of our views. I did   
   not bias this analysis by telling ChatGPT   
   what I expect to see.   
      
   typedef void (*ptr)();   
   int HHH(ptr P);   
      
   void DDD()   
   {   
      HHH(DDD);   
      return;   
   }   
      
   int main()   
   {   
      HHH(DDD);   
      DDD();   
   }   
      
   Simulating Termination Analyzer HHH correctly simulates its input until:   
   (a) It detects a non-terminating behavior pattern then it aborts its   
   simulation and returns 0,   
   (b) Its simulated input reaches its simulated "return" statement then it   
   returns 1.   
      
   https://chatgpt.com/share/688521d8-e5fc-8011-9d7c-0d77ac83706c   
      
   --   
   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)