XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   On 11/12/2025 8:45 AM, olcott wrote:   
   > Rejecting expressions of formal language   
   > having pathological self-reference   
   >   
   > Explained how expressions with pathological self   
   > reference can simply be rejected as semantically/   
   > syntactically unsound thus preventing undefinability,   
   > and undecidability.   
   >   
   > This sentence is not true: "This sentence is not true"   
   > is true only because the inner sentence is semantically   
   > unsound. The inner sentence is formalized in Minimal   
   > Type Theory as LP := ~True(LP).   
   > (where A := B means A is defined as B).   
   >   
   > https://philpapers.org/rec/OLCREO   
   >   
   > Can someone review my actual reasoning   
   > elaborated in the paper?   
   >   
      
   *ChatGPT critique of the above paper*   
   https://chatgpt.com/share/6914ab34-4440-8011-9395-8bec2af5f82f   
      
   The huge advantages of LLM systems is that they do not   
   begin their review on the basis that [Olcott is wrong]   
   is an axiom. No humans have ever been able to do this   
   in thousands of reviews across dozens of forums.   
      
   --   
   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)