XPost: comp.theory, sci.logic, sci.math   
   XPost: sci.lang   
   From: news.x.richarddamon@xoxy.net   
      
   On 1/15/26 12:30 AM, olcott wrote:   
   > On 1/14/2026 9:44 PM, Richard Damon wrote:   
   >> On 1/14/26 4:36 PM, olcott wrote:   
   >>> Interpreting incompleteness as a gap between mathematical truth and   
   >>> proof depends on truth-conditional semantics; once this is replaced   
   >>> by proof-theoretic semantics a framework not yet sufficiently   
   >>> developed at the time of Gödel’s proof the notion of such a gap   
   >>> becomes unfounded.   
   >>>   
   >>   
   >> But that isn't what Incompleteness is about, so you are just showing   
   >> your ignorance of the meaning of words.   
   >>   
   >> You can't just "change" the meaning of truth in a system.   
   >>   
   >   
   > Yet that is what happens when you replace the foundational basis   
   > from truth-conditional semantics to proof-theoretic semantics.   
      
   Which isn't allowed.   
      
   You don't seem to understand that "changing the basis" means you have a   
   different system.   
      
   Yes, you can define such a system, but then your first step is to show   
   that your new system is actually useful.   
      
   All you are doing is showing that you don't understand what semantics   
   actually means.   
      
   My guess is your system is about a useful as a sports car with all 4   
   wheels removed.   
      
   >   
   >> I guess your problme is you don't understand what Truth actually is.   
   >>   
   >> YOUR "gap" in understand is enormous.   
   >   
   >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)