XPost: comp.theory, sci.math, comp.ai.philosophy   
   From: polcott333@gmail.com   
      
   On 11/25/2025 2:05 PM, dart200 wrote:   
   > On 11/25/25 10:46 AM, Kaz Kylheku wrote:   
   >> On 2025-11-25, olcott  wrote:   
   >>> On 11/25/2025 11:42 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,   
   >>>   
   >>> Liar, Liar Pants on Fire !!!   
   >>   
   >> I made the code public; another person was able to build and get the   
   >> same results.   
   >>   
   >> Yes, it's a growing conspiracy against you, like the whole thing about   
   >> the world being round.   
   >   
   > it is kinda nuts how uniformly retarded people are about this   
   >   
      
   I am working on building a foundation that can be   
   published in a peer reviewed journal. That is only   
   possible because of the excellent feedback that I   
   have received from LLM systems. Every conversation   
   that I have with an LLM system is brand new. This   
   allows me to present my view ever more succinctly.   
      
   It turns out that my new formal foundation for   
   correct reasoning easily utterly eliminates   
   all undecidability and undefinability and it   
   does this by simply fully integrating semantics   
   syntactically in its formal language.   
      
   Both Montague Grammar and the CycL language   
   of the Cyc project already do this.   
      
   Semantic logical entailment is the only inference   
   step. My system basically extends the syllogism   
   to cover the entire body of all knowledge that   
   can be expressed in language.   
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   This required establishing a new foundation   
   for correct reasoning.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)