XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: polcott333@gmail.com   
      
   This may finally justify Ben's Objection   
      
      
        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.   
      
      
   I certainly will not quote professor Sipser on this change   
   unless and until he agrees to it.   
      
        H can abort its simulation of D and correctly report   
        that [its simulated] D specifies a non-halting sequence   
        of configurations.   
      
   Because the whole paragraph is within the context of   
   simulating halt decider H and its simulated input D it   
   seems unreasonable yet possible to interpret the last   
   D as a directly executed D.   
      
      
      
   --   
   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)