XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 12/29/2025 9:08 AM, Bonita Montero wrote:   
   > 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.   
   >   
      
   That you say that without bothering to understand   
   the full depth of what I am saying is very callous.   
      
   --   
   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)