XPost: comp.theory   
   From: polcott333@gmail.com   
      
   On 11/25/2025 11:29 AM, Kaz Kylheku wrote:   
   > On 2025-11-06, olcott  wrote:   
   >> D simulated by H cannot possibly reach its own   
   >> simulated final halt state.   
   >   
   > It has been shown /wth code/ that D simulated by H reaches its return,   
   > possible even in your horribly incorrect program that fails to conform   
   > to the requirements for exploring the halting problem.   
   >   
      
   news://news.eternal-september.org/20251104183329.967@kylheku.com   
   On 11/4/2025 8:43 PM, Kaz Kylheku wrote:   
    > On 2025-11-05, olcott  wrote:   
    >>   
    >> The whole point is that D simulated by H   
    >> cannot possbly reach its own simulated   
    >> "return" statement no matter what H does.   
    >   
    > Yes; this doesn't happen while H is running.   
    >   
    > So while H does /something/, no matter what H does,   
    > that D simulation won't reach the return statement.   
    >   
      
   Until five people from comp.lang.c call you out   
   on this they will remain in the loop   
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)