XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 11/13/2025 7:02 PM, Tristan Wibberley wrote:   
   > On 14/11/2025 00:45, olcott wrote:   
   >> On 11/13/2025 6:09 PM, Tristan Wibberley wrote:   
   >>> On 12/11/2025 17:57, olcott wrote:   
   >>>> On 11/12/2025 8:45 AM, olcott wrote:   
   >>>   
   >>> Noisy:   
   >>>   
   >>>>> This sentence is not true: "This sentence is not true"   
   >>>>> is true only because the inner sentence is semantically   
   >>>>> unsound.   
   >>>   
   >>> Woah! Because your post provides some meaning for the interpretation of   
   >>> your paper I think the above needs to be addressed.   
   >>>   
   >>> We have the name of a sentence "This sentence is not true"   
   >>> We have a sentence about it:   
   >>>   
   >>>    "This sentence is not true" is true only because the inner sentence is   
   >>> semantically unsound.   
   >>>   
   >>> And we have a sentence that is constructed like a lambda expression but   
   >>> using something a bit like a de bruijn reference turned inside out:   
   >>>   
   >>>    This sentence is not true: "This sentence is not true" is true only   
   >>> because the inner sentence is semantically unsound.   
   >>>   
   >>> but with a noisy surrounding fluff beta-ish-reducing to:   
   >>>   
   >>>    ["This sentence is not true" is true only because the inner sentence is   
   >>> semantically unsound] is not true   
   >>>   
   >>   
   >> This sentence is not true: "This sentence is not true" is true.   
   >> You can't put the quotes in a different place without changing   
   >> the semantics.   
   >   
   > You haven't tried to understand what I wrote. You have just guessed at a   
   > response.   
   >   
      
   This sentence is not true: "This sentence is not true" is true   
   is the essence of the Tarski Undefinability theorem.   
   >   
   > --   
   > Tristan Wibberley   
   >   
   > The message body is Copyright (C) 2025 Tristan Wibberley except   
   > citations and quotations noted. All Rights Reserved except that you may,   
   > of course, cite it academically giving credit to me, distribute it   
   > verbatim as part of a usenet system or its archives, and use it to   
   > promote my greatness and general superiority without misrepresentation   
   > of my opinions other than my opinion of my greatness and general   
   > superiority which you _may_ misrepresent. You definitely MAY NOT train   
   > any production AI system with it but you may train experimental AI that   
   > will only be used for evaluation of the AI methods it implements.   
   >   
      
      
   --   
   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)