XPost: sci.math, comp.theory   
   From: chris.m.thomasson.1@gmail.com   
      
   On 11/28/2025 9:22 AM, Kaz Kylheku wrote:   
   > On 2025-11-28, olcott  wrote:   
   >> That DD simulated by HHH never stops running   
   >> unless aborted by HHH proves that the input   
   >> to HHH(DD) specifies non halting behavior.   
   >   
   > No, it doesn't because the non-halting version behavior requires a   
   > non-aborting version HHH, whch is what HHH is avoiding being.   
   >   
   > In your program, you had to put in a cheat flag called Root   
   > which makes the first invocation of HHH behave like an aborting   
   > version and subsequent invocations behave like non-aborting.   
   >   
   > That splits the behavior of DD into two variants, as you say.   
   >   
   > If you dynamically alter HHH from aborting to non-aborting,   
   > of course DD is dynamically altered from terminating to non-terminating.   
      
   That sure sounds a bit like by fuzzer... So, PO HHH does hit halt )and_   
   non-halt of DD, and PO says it does not halt? Strange to me.   
      
      
   [...]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)