XPost: sci.math, comp.theory   
   From: 643-408-1753@kylheku.com   
      
   On 2025-11-26, olcott  wrote:   
   >>> news://news.eternal-september.org/20251104183329.967@kylheku.com   
   >>> On 11/4/2025 8:43 PM, Kaz Kylheku wrote:   
   >>>> On 2025-11-05, olcott  wrote:   
   >>>>>   
   >>>>> The whole point is that D simulated by H   
   >>>>> cannot possbly reach its own simulated   
   >>>>> "return" statement no matter what H does.   
   >>>>   
   >>>> Yes; this doesn't happen while H is running.   
   >>>>   
   >>>> So while H does /something/, no matter what H does,   
   >>>> that D simulation won't reach the return statement.   
   >>   
   >> But we know that. If H is nonreturning, of course D is.   
   >> Since D calls H(D), D is suspended until H(D) returns,   
   >> which means forever if H(D) is nonterminating.   
   >>   
   >> I have no idea what you are trying to milk out of this;   
   >> it is completely uncontroversial.   
   >   
   > I really did figure out how to determine the   
   > correct halt status that the halting problem's   
   > counter-example input specifies to it decider.   
      
   You simply have /way/ too much fuckery in the code you developed   
   for it to prove a single damn thing:   
      
   - Static data stowed away in self-modifying code, which you declare to   
     be kosher because it's like totally a Turing machine tape, man.   
      
   - Root == 1 value returned to first instance of HHH, Root == 0   
     to subsequent ones, to change their behavior.   
      
   - The gapingly imbecillic belief that a simulation ceases to exist when   
     HHH stops calling DebugStep and returns.   
      
   - ...   
      
   --   
   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)