XPost: comp.theory, comp.lang.c++   
   From: 643-408-1753@kylheku.com   
      
   On 2025-11-13, olcott  wrote:   
   > On 11/12/2025 8:25 PM, Kaz Kylheku wrote:   
   >>   
   >> If those two are in any way whatsoever different, the entire   
   >> castle you built in the sand is washed away.   
   >>   
   >   
   > *This is a FOREVER thing until someone admits the truth*   
   > *This is a FOREVER thing until someone admits the truth*   
   > *This is a FOREVER thing until someone admits the truth*   
   >   
   > int D()   
   > {   
   >    int Halt_Status = H(D);   
   >    if (Halt_Status)   
   >      HERE: goto HERE;   
   >    return Halt_Status;   
   > }   
   >   
   > Everyone here rejects that the execution trace   
   > of 5 statements of D simulated by H according to   
   > the semantics of C is this:   
   >   
   > (1)    H simulates D that calls H(D)   
   > (2) that simulates D that calls H(D)   
   > (3) that simulates D that calls H(D)   
   > (4) that simulates D that calls H(D)   
   > (5) that simulates D that calls H(D)   
      
   False; I have for months accepted that there is a simulation tower,   
   or should be if everything is done right.   
      
   Mike Terry reported cleaning up the code and getting that to happen!   
      
   He's traced it to some six or seven levels down, if I recall.   
      
   Each of the H(D)'s above, however, caries out a //limited//   
   simulation of the next level. The H's all partially simulate D   
   and then quit.   
      
   All of the D simulations are terminating.   
      
   The only non-terminating aspect is the regeneration of the   
   simulation tower.   
      
   But, that's not what H is asked to decide!!! H is not asked to decide   
   whether there is an infinite simulation tower. H is asked to decide   
   whether D halts.   
      
   All the D instances in the simulation tower are halting.   
      
   An infinite tower of witnesses to your stupidity.   
      
   --   
   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)