XPost: sci.math, comp.theory   
   From: polcott333@gmail.com   
      
   On 11/25/2025 9:26 PM, Kaz Kylheku wrote:   
   > 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.   
   >   
      
   It turned out that this is kosher.   
      
   > - 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.   
   >   
   > - ...   
   >   
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   This required establishing a new foundation   
   for correct reasoning.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)