XPost: comp.theory, sci.math, comp.ai.philosophy   
   From: mikko.levanto@iki.fi   
      
   olcott kirjoitti 25.11.2025 klo 2.53:   
   > Eliminating undecidability and mathematical incompleteness   
   > merely requires discarding model theory and fully integrating   
   > semantics directly into the syntax of the formal language.   
   >   
   > The only inference step allowed is semantic logical   
   > entailment and this is performed syntactically. A formal   
   > language such as Montague Grammar or CycL of the Cyc   
   > project can encode the semantics of anything that can   
   > be expressed in language.   
      
   The resulting theory is not formal unless both the definition of   
   semantics and the definition of semantic logical entailment are   
   fully formal.   
      
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)