XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 11/20/2025 2:49 PM, Tristan Wibberley wrote:   
   > On 20/11/2025 03:24, olcott wrote:   
   >> On 11/19/2025 2:55 PM, Kaz Kylheku wrote:   
   >>> Your three pages full of nothng, titled Minimal Type Theory,   
   >>> don't contain anything original.   
   >>>   
   >>   
   >> It directly encodes self-reference that no other   
   >> formal system has ever done   
   >   
   > Uhh, no, it's typical.   
   >   
   >   
      
   Provide a concrete example of:   
   "This sentence is not true"   
   in First Order Logic or any other system   
   besides Minimal Type Theory and Prolog.   
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)