XPost: comp.theory, sci.math, sci.lang   
   From: polcott333@gmail.com   
      
   On 12/8/2025 12:12 AM, Tristan Wibberley wrote:   
   > On 07/12/2025 10:42, Mikko wrote:   
   >> olcott kirjoitti 6.12.2025 klo 14.33:   
   >>> No one ever understands that my mathematical formal   
   >>> system includes the entire body of human general   
   >>> knowledge encoded in formalized English.   
   >   
   > Liar.   
   >   
   >> Maybe because it is well understood that no formal system that can   
   >> be presented includes the entire body of human general knowledge.   
   >>   
   >   
   > Unless it also includes everything that is not of human general   
   > knowledge. Infinite monkeys and so forth.   
   >   
   > Olcott already said it was a semantic tautology, after all. Which is a   
   > fancy way of saying that it's a system for universal semantic analysis   
   > so it contains all possible meaning associations including those that   
   > are of the body of human general knowledge.   
   >   
   > Once he said it was a semantic tautology it was not possible to be   
   > surprising.   
   >   
   > The difficult bit is as for a sculptor; to carve away those things that   
   > are /not/ wanted.   
   >   
      
   It only must be a finite set because I intend for is   
   to be stored and computable.   
      
   --   
   Copyright 2025 Olcott

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

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