XPost: comp.theory, comp.lang.c++   
   From: 643-408-1753@kylheku.com   
      
   On 2025-11-21, olcott  wrote:   
   > On 11/21/2025 11:29 AM, Kaz Kylheku wrote:   
   >> On 2025-11-21, olcott  wrote:   
   >>> On 11/20/2025 11:04 PM, Kaz Kylheku wrote:   
   >>>> No, it states that D would be non-halting in the hypothetical situtation   
   >>>> in whch H neglected to abort, and just kept simulating.   
   >>>>   
   >>>   
   >>> HHH has no idea that DD is calling itself, HHH   
   >>> can only see that DD is calling the same function   
   >>> twice in sequence with no conditional branch in   
   >>> DD to stop this from infinitely repeating.   
   >>   
   >> It's been explained to you that ths doesn't happen.   
   >>   
   >> Any given invocation of DD makes only one call to HHH   
   >> (as anyone can plainly see from its simple code of several   
   >> lines!)   
   >>   
   >   
   > Those double-talk weasel words count as lying within   
   > the context of this.   
   >   
   > int DD()   
   > {   
   >    int Halt_Status = HHH(DD);   
      
   There, that is one call. DD calls HHH exactly once.   
      
   HHH does not anything that could call HHH again, including DD.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)