XPost: sci.math, comp.theory   
   From: polcott333@gmail.com   
      
   On 11/25/2025 6:57 PM, Python wrote:   
   > Le 26/11/2025 à 01:53, olcott a écrit :   
   >> 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.   
   >   
   > Montague Grammar doesn’t save you from Gödel any more than grammar books   
   > save you from gravity — encoding meaning as syntax doesn’t magically   
   > break diagonalization.   
      
   When semantics is 100% completely integrated into   
   semantics (the way that true on the basis of meaning   
   expressed in language really is) with no need for   
   interpretation because every unique sense meaning   
   has its own unique GUID then true and unprovable   
   very naturally cannot co-exist.   
      
   "Body of knowledge expressed in language" is the   
   Olcott correction to the Analytic side of the   
   analytic synthetic distinction.   
   https://en.wikipedia.org/wiki/Analytic%E2%80%93synthetic_distinction   
      
   Unprovable(x) merely means   
   x ∉ "Body of knowledge expressed in language"   
   AKA Analytic(Olcott)   
      
   --   
   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)