XPost: comp.theory   
   From: 643-408-1753@kylheku.com   
      
   On 2025-10-28, olcott  wrote:   
   > On 10/27/2025 7:23 PM, Kaz Kylheku wrote:   
   >> On 2025-10-27, olcott  wrote:   
   >>> On 10/27/2025 3:48 PM, Kaz Kylheku wrote:   
   >>>> On 2025-10-27, dbush  wrote:   
   >>>>>> I am only referring to these fifteen lines   
   >>>>>>   
   >>>>>> A straight forward sequence of steps that any   
   >>>>>> C programmer can easily determine:   
   >>>>>>   
   >>>>>> int D()   
   >>>>>> {   
   >>>>>>      int Halt_Status = H(D);   
   >>>>>>      if (Halt_Status)   
   >>>>>>        HERE: goto HERE;   
   >>>>>>      return Halt_Status;   
   >>>>>> }   
   >>>>>>   
   >>>>>   
   >>>>> Then you have nothing as this is incomplete and cannot be run.   
   >>>   
   >>> This proves the general idea regardless of the   
   >>> implementation details of any specific instance.   
   >>   
   >> OK, so you are saying you no longer have a viable, discussion-worthy   
   >> instance?   
   >>   
   >> Oopsies, if so!   
   >>   
   >   
   > Sure I do, you just know that this is so dead   
   > obviously correct that you keep erasing it   
   >   
   > HHH(DD) simulates DD that calls HHH(DD) to do this   
   > again and again until HHH figures out what is up.   
      
   And then HHH returns a result to DD, and DD shows that it is wrong. And   
   then you hand wave about that the DD is a "non-input" that HHH is not   
   required to report on and that the DD actually simulated by HHH is   
   non-terminating, and never reaches the "do the opposite" code.   
      
   And then we show with actual code that this is complete bullshit.   
      
   We show that the abandoned DD can be stepped to halting or possibly   
   to the infinite loop (proving that your simulated HHH(DD) returned   
   nonzero to the simulated DD).   
      
   > Sure I do, you just know that this is so dead   
   > obviously correct that you keep erasing it   
   >   
   > HHH(DD) simulates DD that calls HHH(DD) to do this   
      
   HHH is not defined anywhere in your 15 lines.   
      
   If it is not defined, it doesn't simulate anything.   
      
   Yood luck with the rest of your crazy meltdown.   
      
   --   
   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)