... darkrealms ...

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

comp.ai.philosophy

Perhaps we should ask SkyNet about this

59,235 messages

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

Message 58,446 of 59,235

Mikko to All

Re: Rejecting expressions of formal lang

27 Nov 25 10:22:40

   XPost: comp.theory, sci.logic, sci.math   
   From: mikko.levanto@iki.fi   
      
   Tristan Wibberley kirjoitti 26.11.2025 klo 21.46:   
   > On 26/11/2025 15:27, olcott wrote:   
   >> This is formalized in the Prolog programming language   
   >> ?- LP = not(true(LP)).   
   >> LP = not(true(LP)).   
   >> ?- unify_with_occurs_check(LP, not(true(LP))).   
   >> false.   
   >   
   > Why do you keep posting that?   
      
   In order to distract from the facts he doesn't want to face.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)

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