XPost: sci.math, comp.theory   
   From: dbush.mobile@gmail.com   
      
   On 11/26/2025 9:44 AM, olcott wrote:   
   > If every verbal thought that anyone every had and every verbal   
   > thought that anyone will ever have until the Earth is engulfed   
   > by the Sun was written down this would be a finite set. Don't   
   > bring religion into this it is only a distraction away form   
   > the point.   
   >   
   > You don't seem to understand the distinction between truth   
   > and knowledge. > True(L, x) tests for membership in the body   
   > of General_Knowledge. Elements not in this set are   
   > (a) False(L, x) defined as True(L, ~x)   
   > (b) unknown   
   > (c) semantically malformed   
      
   And (b) could always be unknown, making it or its inverse true and not   
   provable.   
      
   >   
   >> whereas arithmetic truth involves uncountably many possible functions   
   >> and a non-recursively   
   >   
   > If the Goldbach conjecture requires an infinite proof   
   > to resolve then its truth or falsity is not an element   
   > of the set of General_Knowledge.   
      
   In other words, either it or its inverse would be true and not provable.   
      
   > https://en.wikipedia.org/wiki/Goldbach%27s_conjecture   
   >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)