XPost: sci.math, comp.theory   
   From: polcott333@gmail.com   
      
   On 11/25/2025 6:04 PM, Python wrote:   
   > Peter, every time someone points out that your system breaks Gödel by   
   > redefining truth as “things my system proves,” you reply that this is   
   “a   
   > fundamentally different foundation,” as if giving a new name to the   
   > floor suddenly allowed you to float.   
   >   
   > Your new line — “Gödel incompleteness can only exist when syntax and   
   > semantics are divided” — is just the same move in a new hat. Gödel’s   
   > original 1931 proof is purely syntactic, requires zero model theory, and   
   > works even if you paint “SEMANTICS” on the side of the syntax with a big   
   > red brush. The diagonal argument doesn’t care about your ontology, your   
   > types, your Prolog unification, or how many decades you’ve stared at it.   
   >   
   > This is the whole problem: every time the theorem bites, you amputate   
   > the part of mathematics that hurts and say, “See, no wound!” You’ve   
   > solved incompleteness the same way a surgeon would solve mortality by   
   > outlawing death certificates.   
   >   
   > Your system makes True(x) computable exactly the way a shredder makes   
   > archival integrity computable: anything inconvenient simply becomes “not   
   > in the body of general knowledge expressible in language.” If Gödel   
   > sentences don’t fit, the bin is right there.   
   >   
   > That’s not “integrating semantics.”   
   > That’s declaring all troublesome meanings illegal.   
   >   
      
   Perhaps you do not fully understand exactly what   
   semantic logical entailment is thus cannot directly   
   see how and why this totally eliminates undecidability   
   and undefinability. I have spent at least five full   
   time years on this one thing.   
      
   > It’s a bold philosophical stance, sure.   
   > But it’s not mathematics.   
      
   It is a brand new provably correct foundation   
   for correct reasoning that corrects all of the   
   shortcoming and incoherence of logic and math.   
      
      
   --   
   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)