XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 12/29/2025 1:50 PM, Bonita Montero wrote:   
   > Am 29.12.2025 um 16:25 schrieb olcott:   
   >> That you say that without bothering to understand   
   >> the full depth of what I am saying is very callous.   
   >   
   > If someone thinks 30.000 hours about a dozen lines of code he is sick.   
   >   
      
   My 28 year goal has been to make   
   "true on the basis of meaning expressed in language"   
   reliably computable.   
      
   *Here is a key element of that*   
   A system such all semantic meaning of the formal   
   system is directly encoded in the syntax of the   
   formal language of the formal system making   
   ∀x ∈ L (Provable(L,x) ≡ True(L,x))   
      
   --   
   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-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)