XPost: comp.theory   
   From: dbush.mobile@gmail.com   
      
   On 10/28/2025 12:29 AM, olcott wrote:   
   > On 10/27/2025 11:04 PM, dbush wrote:   
   >> On 10/27/2025 11:54 PM, Kaz Kylheku wrote:   
   >>> On 2025-10-28, olcott  wrote:   
   >>>> On 10/27/2025 10:40 PM, Kaz Kylheku wrote:   
   >>>>> On 2025-10-28, olcott  wrote:   
   >>>>>> Once H has correctly determines that its simulated   
   >>>>>> D cannot possibly reach its own simulated "return"   
   >>>>>> instruction final halt state it is nutty to do   
   >>>>>> anything else besides abort and reject the input.   
   >>>>>   
   >>>>> I have traces which prove otherwise.   
   >>>>   
   >>>> Then you can't be telling the truth.   
   >>>   
   >>> LOL!   
   >>>   
   >>> Have you forgotten? (Sigh, I'm afraid the answer is yes ...)   
   >>>   
   >>> - You used to post execution traces claiming that they   
   >>> proved you were right.   
   >>>   
   >>> - You used to deride others for not following your   
   >>> execution traces in detail (maybe they are not skilled   
   >>> engineers)   
   >>   
   >> I suppose from now on if he ever posts a trace we can remind him that   
   >> he "can't be telling the truth".   
   >   
   > int D()   
   > {   
   >    int Halt_Status = H(D);   
   >    if (Halt_Status)   
   >      HERE: goto HERE;   
   >    return Halt_Status;   
   > }   
   >   
   > H simulates D   
   > that calls H(D) to simulate D   
   > that calls H(D) to simulate D   
   > that calls H(D) to simulate D   
   > that calls H(D) to simulate D   
   > that calls H(D) to simulate D   
   > until H sees this repeating pattern.   
      
   And reports on this non-input:   
      
   int D()   
   {   
      int Halt_Status = UTM(D);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)