home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 261,340 of 262,912   
   Chris M. Thomasson to Tristan Wibberley   
   Re: New formal foundation for correct re   
   26 Nov 25 20:05:26   
   
   XPost: sci.math, comp.theory   
   From: chris.m.thomasson.1@gmail.com   
      
   On 11/26/2025 11:34 AM, Tristan Wibberley wrote:   
   > On 26/11/2025 19:16, Tristan Wibberley wrote:   
   >> On 25/11/2025 23:14, Python wrote:   
   >>   
   >>> ‘Incorrect Form – Please Rephrase Within System Limits.’ Problem   
   solved.   
   >>   
   >> Delete that!   
   >   
   > That was pedagogical. "Delete that!" is not a proposition, it is neither   
   > true, false, Provable, nor Derivable. It's not even reducible to "At   
   > [some instant code] I order you to delete that with exclamation."   
      
   The system says okay and deletes everything. It says got that.   
      
      
   >   
   > It /is/ of the incorrect form and is not contained in the body of human   
   > knowledge.   
   >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca