XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 11/16/2025 11:13 AM, joes wrote:   
   > Am Sun, 16 Nov 2025 10:45:04 -0600 schrieb olcott:   
   >> On 11/16/2025 10:24 AM, joes wrote:   
   >>> Am Sun, 16 Nov 2025 10:15:43 -0600 schrieb olcott:   
   >   
   >>>> The question is not:   
   >>>> Can H reach its own final halt state?   
   >>>> The question is:   
   >>>> Can D simulated by H reach its simulated final halt state?   
   >>>   
   >>> The second includes the first.   
   >>>   
   >> It in not the job of H to report on its own behavior. H is the test   
   >> program that only reports on the program under test.   
   >   
   > Yes it is. H, as a part of D, is also under test. That’s why you’re   
   > simulating it.   
   >   
      
   When an input cheats and calls its own decider   
   the decider cannot allow itself to be conned   
   thus still must report that D simulated by H   
   cannot possibly terminate normally.   
      
   My 28 year long goal has been to make   
   "true on the basis of meaning" computable.   
      
   --   
   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)