From: mikko.levanto@iki.fi   
      
   On 15/01/2026 17:04, Tristan Wibberley wrote:   
   > On 15/01/2026 09:48, Mikko wrote:   
   >   
   >> As meaning is not computable, how can "true on the balsis of meaning"   
   >> be commputable?   
   >   
   > There are formalised notions of meaning relying on relations between   
   > finite strings. It is not helpful that the word "meaning" is used there   
   > but so it is.   
      
   The problem is that an expression has many meanings. It is possible to   
   formalize some of the meanings but the other ones are still there.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)