XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 10/20/2025 10:16 PM, dbush wrote:   
   > On 10/20/2025 11:13 PM, olcott wrote:   
   >> On 10/20/2025 10:05 PM, dbush wrote:>>>   
   >>> You mean the words where he didn't agree with your interpretation of   
   >>> them?   
   >>>   
   >>>   
   >>   
   >> According to a Claude AI analysis there   
   >> are only two interpretations and one of   
   >> them is wrong and the other one is my   
   >> interpretation.   
   >>   
   >   
   >   
   > Whether you think one interpretation is wrong is irrelevant.  What is   
   > relevant is that that's how everyone else including Sipser interpreted   
   > those words, so you lie by implying that he agrees with your   
   > interpretation.   
   >   
      
      
        If simulating halt decider H correctly simulates its   
        input D until H correctly determines that its simulated D   
        would never stop running unless aborted then   
      
        H can abort its simulation of D and correctly report that D   
        specifies a non-halting sequence of configurations.   
      
      
   There are only two possible ways to interpret those words   
   and one of them is wrong. The one that is not wrong is the   
   way that I interpret them.   
      
   --   
   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)