XPost: sci.math, comp.theory   
   From: polcott333@gmail.com   
      
   On 11/25/2025 9:03 PM, Python wrote:   
   > Le 26/11/2025 à 04:01, olcott a écrit :   
   >> You insist on making sure to continue to   
   >> fail to understand the deep meaning of the   
   >> occurs_check.   
   >   
   > Peter, the occurs_check does not carry any “deep meaning.”   
   > It is a mechanical guard in Prolog that prevents the construction of   
   > infinite data structures.   
   >   
   > That’s all.   
      
   Because the expression is semantically unsound   
   because the evaluation of the expression would   
   remain stuck in an infinite loop forever never   
   to be resolved to a truth value.   
      
   *SEMANTICALLY UNSOUND* is the deep meaning.   
      
      
   --   
   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)