XPost: comp.theory   
   From: 643-408-1753@kylheku.com   
      
   On 2025-10-26, Richard Damon  wrote:   
   > On 10/26/25 10:46 AM, olcott wrote:   
   >>   
   >> Summary of the key point:   
   >> The halting problem's self-referential construction creates two distinct   
   >> computational entities:   
   >>   
   >> Input (DD-as-simulated-by-HHH): Shows non-halting behavior - recursive   
   >> pattern that HHH correctly identifies   
   >> Non-input (DD-as-directly-executed): Halts because HHH returns 0   
   >   
   > But the input isn't "as simulated by HHH", but is supposed to be a   
   > proper representation of the program DD.   
      
   Halt7.obj's _DDD as simulated by _HHH is halting. This is not just a   
   well-founded hypothesis now; it's demonstrated with code. Identifying   
   the _DDD simulation left behind by _HHH, and single-stepping it with   
   DebugStep (also used by HHH) takes it to the RET instruction at the end   
   of _DDD, atl address 002183.   
      
   If Olcott wants there to be a separate "_DDD simulated by _HHH"   
   cateogory which doesn't halt, as indicated by he 0 return from _HHH, he   
   will have to somehow fix his code.   
      
   --   
   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)