XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: polcott333@gmail.com   
      
   On 11/25/2025 9:50 AM, Bonita Montero wrote:   
   > Am 25.11.2025 um 16:47 schrieb olcott:   
   >> On 11/25/2025 9:20 AM, Bonita Montero wrote:   
   >>> 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.   
      
   > It don't matters if you're correct. There's no benefit in discussing   
   > such a theoretical topic for years. You won't even stop if everyone   
   > tells you're right.   
      
   My whole purpose of this has been to establish a   
   new foundation for correct reasoning that gets rid   
   of Gödel Incompleteness and Tarski Undefinability   
   such that Boolean True(Language L Expression E) is   
   consistent and correct for the whole body of   
   knowledge that can be expressed in language.   
      
   The timing for such a system is perfect because it   
   could solve the LLM AI reliability issues. Once   
   it does that I will no longer need to talk about   
   it on conventional forums. At that point all of   
   my talks will be formal presentations at symposiums.   
      
   >>   
   >> 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)