XPost: sci.math, comp.theory, comp.ai.philosophy   
   From: polcott333@gmail.com   
      
   On 1/18/2026 7:24 PM, Python wrote:   
   > Le 19/01/2026 à 00:41, olcott a écrit :   
   > ..   
   >> I already just said that the proof and refutation of   
   >> Goldbach are outside the scope of PA axioms.   
   >>   
   >> Any proof or refutation of Goldbach would have to use   
   >> principles stronger than the axioms of PA, because PA   
   >> itself does not currently derive either direction.   
   >   
   > "currently" ? ?  What kind of language is that? PA is what it is, it not   
   > changing with time !   
   >   
   > You could have said that about Fermat's theorem back in the day... It   
   > happens not to be the case.   
   >   
   > You are out of reason, Peter. Not only a liar, an hypocrite, but a fool.   
   >   
      
   If its truth value cannot be determined in a finite   
   number of steps then it is not a truth bearer in PA,   
   otherwise it is a truth-bearer in PA with an unknown value.   
      
      
      
   --   
   Copyright 2026 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning expressed in language"
   
   reliably computable.

   
      
   This required establishing a new foundation
   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)