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 262,522 of 262,912   
   Mikko to Tristan Wibberley   
   Re: The Halting Problem asks for too muc   
   15 Jan 26 11:26:53   
   
   XPost: comp.theory, sci.math, comp.ai.philosophy   
   From: mikko.levanto@iki.fi   
      
   On 14/01/2026 16:55, Tristan Wibberley wrote:   
   > On 14/01/2026 08:53, Mikko wrote:   
   >> For a non-deterministic machine there are three possibilities: it may   
   >> halt always, sometimes, or never. THere is no oracle that can find the   
   >> right answer about every meachne that contains the same oracle.   
   >   
   >   
   > We well into Turing c-machine territory here aren't we?   
      
   It's the same with all machines.   
      
   --   
   Mikko   
      
   --- 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