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