XPost: comp.theory, sci.logic, sci.math   
   From: Bonita.Montero@gmail.com   
      
   Am 28.12.2025 um 01:54 schrieb olcott:   
   > 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))   
   > "true on the basis of meaning expressed in language"   
   > is reliably computable by the above formalism.   
   > I have thought this through for 30,000 hours over   
   > 28 years.   
      
   If you thought about 30.000 hours the last three decades   
   you're manic and delusional.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)