XPost: comp.theory, sci.logic, sci.math   
   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)