XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 8/1/2025 10:26 AM, joes wrote:   
   > Am Fri, 01 Aug 2025 10:12:35 -0500 schrieb olcott:   
   >>   
   >> If there is an actual *premature abort* then there is a specific point   
   >> in the execution trace where DDD correctly simulated by HHH stops   
   >> running without ever being aborted.   
   >   
   > Yes, after 12 instructions of DDD only or just before the third   
   > recursive simulation.   
   >   
   Everyone keeps dishonestly changing my words from   
   (a) DDD correctly simulated by HHH (can't possibly halt)   
   (b) The directly executed DDD (that halts).   
      
   Turing machine deciders do not have directly executed   
   Turing machines in their domain. They only have finite   
   string machine description in their domain.   
      
   This means that when the behavior specified by the correct   
   simulation of the input disagrees with the behavior of the   
   direct execution of DDD() it is the behavior specified by   
   the input that overrules and supersedes.   
      
   --   
   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)