XPost: comp.theory, comp.lang.c++   
   From: polcott333@gmail.com   
      
   On 11/13/2025 1:38 PM, Kaz Kylheku wrote:   
   > On 2025-11-13, olcott  wrote:   
   >> H computes the mapping from its input to the behavior   
   >> that this actual input actually specifies as measured   
   >> by N statements of D simulated by H according to the   
   >> semantics of the C language until N statements of D   
   >> match the their non-halting behavior pattern:   
   >   
   > If the computation D is known to terminate in N + 5 steps,   
   > then that measure is simply not long enough.   
   >   
      
   No that it just you totally screwing up again forgetting   
   that an aborted simulation does not count as terminating.   
      
   *On top of that you dishonestly erased the non-termination criteria*   
   D calls H(D) twice in sequence with the same argument   
   and there are no intervening conditional branch   
   instructions between the invocation of D and its   
   call to H(D).   
      
   > You're emeasuring a 15' room with a 12' measuring tape,   
   > declaring the room to be infinite.   
   >   
   >> D calls H(D) twice in sequence with the same argument   
   >   
   > Really? Let's look at the code:   
   >   
   >> int D()   
   >> {   
   >>     int Halt_Status = H(D);   
   >>     if (Halt_Status)   
   >>       HERE: goto HERE;   
   >>     return Halt_Status;   
   >> }   
   >   
   > No competent programmer would look at that and say that D   
   > calls H twice.   
   >   
      
   Unless they don't have so much brain damage that   
   they can pay attention to what is asked for is:   
      
   *D simulated by H and not D invoked from main*   
   *D simulated by H and not D invoked from main*   
   *D simulated by H and not D invoked from main*   
   *D simulated by H and not D invoked from main*   
   *D simulated by H and not D invoked from main*   
      
   *D simulated by H and not D invoked from main*   
   *D simulated by H and not D invoked from main*   
   *D simulated by H and not D invoked from main*   
   *D simulated by H and not D invoked from main*   
   *D simulated by H and not D invoked from main*   
      
   *D simulated by H and not D invoked from main*   
   *D simulated by H and not D invoked from main*   
   *D simulated by H and not D invoked from main*   
   *D simulated by H and not D invoked from main*   
   *D simulated by H and not D invoked from main*   
      
   --   
   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)