XPost: comp.theory, sci.math, comp.ai.philosophy   
   From: polcott333@gmail.com   
      
   On 12/26/2025 10:50 PM, Tristan Wibberley wrote:   
   > On 27/12/2025 03:19, olcott wrote:   
   >> Whenever it can be verified that correct semantic   
   >> entailment is applied to the semantic meaning of   
   >> expressions of language then what-so-ever conclusion   
   >> is derived is a necessary consequence of this   
   >> expression of language.   
   >   
   > "the" applied to a continuum. How do you trust a system that does such a   
   > verification? It's related to LLMs so closely itself.   
   >   
      
   It is not how you trust such a system that does   
   such a verification. You yourself verify that   
   the semantic entailment is correct.   
      
   That it can show every tiny step and paraphrase   
   its understanding of these steps shows that it   
   has the actual equivalent of human understanding.   
      
   --   
   Copyright 2025 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning expressed in language"
   
   reliably computable.

   
      
   This required establishing a new foundation
   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)