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