XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 7/27/2025 2:58 PM, Richard Damon wrote:   
   > On 7/27/25 9:50 AM, olcott wrote:   
   >> 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   
   >>   
   >   
   > Just proves that you have contaminated the learning with false idea   
   > about programs.   
   >   
      
   I made sure that ChatGPT isolates this conversation   
   from everything else that I ever said. Besides telling   
   ChatGPT about the possibility of a simulating termination   
   analyzer (that I have proved does work on some inputs)   
   it figured out all the rest on its own without any   
   prompting from me.   
      
   --   
   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)