XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: polcott333@gmail.com   
      
   On 11/25/2025 9:20 AM, Bonita Montero wrote:   
   > Am 06.11.2025 um 21:48 schrieb olcott:   
   >> D simulated by H cannot possibly reach its own   
   >> simulated final halt state.   
   >>   
   >> I am not going to talk about any non-nonsense of   
   >> resuming a simulation after we already have this   
   >> final answer.   
   >>   
   >> We just proved that the input to H(D) specifies   
   >> non-halting. Anything beyond this is flogging a   
   >> dead horse.   
   >>   
   >>   
   >> 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.   
   >> >   
   >>   
   > What you do is like thinking in circles before falling asleep.   
   > It never ends. You're gonna die with that for sure sooner or later.   
   >   
      
   I now have four different LLM AI models that prove   
   that I am correct on the basis that they derive the   
   proof steps that prove that I am correct.   
      
   Even Kimi that was dead set against me now fully   
   understands my new formal foundation for correct   
   reasoning.   
      
   --   
   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)