... darkrealms ...

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 262,775 of 262,912

olcott to Mikko

Re: The Halting Problem asks for too muc

01 Feb 26 09:18:03

   [continued from previous message]   
      
   --   
   Copyright 2026 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning expressed in language"
   
   reliably computable for the entire body of knowledge.

   
      
   This required establishing a new foundation
   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)

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