XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: polcott333@gmail.com   
      
   On 10/4/2025 12:02 AM, Kaz Kylheku wrote:   
   > 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):   
   >   
      
   How is it that you can disagree with verified facts?   
      
   Iterate over the set of H decider and P input   
   pairs where   
   If H says halts then P loops   
   If H says loops then P halts   
   Making whatever each H says incorrect.   
      
   >    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.   
   >   
      
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)