XPost: comp.theory, sci.math, sci.lang   
   XPost: comp.lang.prolog   
   From: polcott333@gmail.com   
      
   On 2/9/2026 6:51 AM, Richard Damon wrote:   
   > On 2/7/26 11:59 PM, olcott wrote:   
   >> On 2/7/2026 8:47 PM, Tristan Wibberley wrote:   
   >>> On 07/02/2026 00:10, olcott wrote:   
   >>>> When I refer to a formal system I am referring to   
   >>>> Russell's atomic facts written down and placed in   
   >>>> a simple Type Hierarchy.   
   >>>   
   >>> Is that, in effect, the conventional meaning of "formal system"? It is   
   >>> not normally expressed so, see Curry and Feys.   
   >>>   
   >>   
   >> It is the axiomatic foundation of this:   
   >> "true on the basis of meaning expressed in language"   
   >> reliably computable for the entire body of knowledge.   
   >>   
   >   
   > No, because that doesn't exist.   
   >   
   > The problem is "True" can't be computable in a system that handles all   
   > knowledge, as you have been shown.   
   >   
   > Your problem is you just don't understand what you are talking about, as   
   > truth is a concept you, as a pathological liar, can't understand.   
      
   I warned you about disrespect   
      
   --   
   Copyright 2026 Olcott

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

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