XPost: sci.math, comp.theory   
   From: polcott333@gmail.com   
      
   On 11/25/2025 6:47 PM, Kaz Kylheku wrote:   
   > On 2025-11-25, olcott  wrote:   
   >> Gödel incompleteness can only exist in systems that divide   
   >> their syntax from their semantics ...   
   >   
   > And, so, just confuse syntax for semantics, and all is fixed!   
   >   
      
   Things such as Montague Grammar are outside of your   
   current knowledge. It is called Montague Grammar   
   because it encodes natural language semantics as pure   
   syntax.   
      
   1940s–present   
   Gödel 1944   
   Kurt Gödel in his 1944 Russell's mathematical logic gave the following   
   definition of the "theory of simple types" in a footnote:   
      
   By the theory of simple types I mean the doctrine which says that the   
   objects of thought (or, in another interpretation, the symbolic   
   expressions) are divided into types, namely: individuals, properties of   
   individuals, relations between individuals, properties of such   
   relations, etc. (with a similar hierarchy for extensions), and that   
   sentences of the form: " a has the property φ ", " b bears the relation   
   R to c ", etc. are meaningless, if a, b, c, R, φ are not of types   
   fitting together.   
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   This required establishing a new foundation   
   for correct reasoning.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)