XPost: comp.theory, comp.lang.c++   
   From: polcott333@gmail.com   
      
   On 11/12/2025 8:16 PM, Kaz Kylheku wrote:   
   > On 2025-11-12, olcott  wrote:   
   >   
   > You aren't doing that, by the way, in the latest   
   > Needs_To_Be_Aborted_Trace_HH:   
      
   *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)   
      
   --   
   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)