XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 11/26/2025 1:46 PM, Tristan Wibberley wrote:   
   > On 26/11/2025 15:27, olcott wrote:   
   >> This is formalized in the Prolog programming language   
   >> ?- LP = not(true(LP)).   
   >> LP = not(true(LP)).   
   >> ?- unify_with_occurs_check(LP, not(true(LP))).   
   >> false.   
   >   
   > Why do you keep posting that?   
   >   
      
   Until it is accepted or someone correctly shows   
   how it does not once-and-for-all resolve   
   the Liar Paradox I will keep posting it.   
      
   The ONLY way that I can possibly have   
   any success with these kind of things   
   is to have 1000-fold more persistence   
   than the next most persistent person.   
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   This required establishing a new foundation   
   for correct reasoning.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)