XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 11/14/2025 7:09 AM, Tristan Wibberley wrote:   
   > On 14/11/2025 02:29, olcott wrote:   
   >   
   >> This sentence is not true: "This sentence is not true" is true   
   >> is the essence of the Tarski Undefinability theorem.   
   >   
   > Once again, you've just guessed at a response instead of trying to   
   > understand.   
   >   
      
   This sentence is not true: "This sentence is not true" is true.   
      
   It took me four years to simplify Tarski's proof   
   down to that.   
      
   Here is his actual proof   
   https://liarparadox.org/Tarski_247_248.pdf   
   https://liarparadox.org/Tarski_275_276.pdf   
      
   Here is what cancels his proof   
      
   ?- LP = not(true(LP)).   
   LP = not(true(LP)).   
   ?- unify_with_occurs_check(LP, not(true(LP))).   
   false.   
      
      
      
   >   
   > --   
   > 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)