XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: 643-408-1753@kylheku.com   
      
   On 2025-10-03, olcott  wrote:   
   > On 10/3/2025 6:25 PM, Kaz Kylheku wrote:   
   >> So anyway, in the diagonal trick used for reasoning about halting,   
   >> the self-reference is much more like:   
   >>   
   >>    This sentence has four words.   
   >>   
   >> than it is like:   
   >>   
   >>    This sentence is false.   
   >>   
   >   
   > Incorrect.   
   >   
   > For the set of H/P pairs of   
   > decider H and input P:   
   > If H says halts then P loops   
   > If H says loops then P halts   
   > making H(P) always incorrect.   
      
   Nope, it's like (from my Lisp session):   
      
     7> (len "This string has thirty-eight characters")   
     39   
      
   Oops, the sentence is wrong; let's fix it to "nine":   
      
     8> (len "This string has thirty-nine characters")   
     38   
      
   Oops, now it's thirty-eight like it said originally ...   
      
   But we can just regard either sentence as incorrect and be done with it;   
   there is no issue assigning a truth value.   
      
   The sentence is talking self-referentially about a property other than   
   its truth value, so the pathological ingredient from the Liar Paradox is   
   absent.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)