XPost: comp.theory   
   From: polcott333@gmail.com   
      
   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.   
      
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   
|