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 261,107 of 262,912   
   Richard Heathfield to Mike Terry   
   Re: homework assignment for the group: m   
   20 Nov 25 21:09:50   
   
   XPost: comp.theory   
   From: rjh@cpax.org.uk   
      
   On 20/11/2025 20:53, Mike Terry wrote:   
      
      
      
   > I think you're just saying that HP cannot be solved by having two   
   > deciders e.g. my H0/H1, such that given any input M, one of H0/H1   
   > decides M correctly.  That's true, as the HP asks for /one/ TM   
   > decider, not two, and crucially we don't have a way to combine   
   > H0/H1 into a single decider that satisfies HP.   
      
      
      
   Let's say we did.   
      
   It would necessarily have its own diagonal case, which it   
   couldn't solve.   
      
   The End.   
      
   --   
   Richard Heathfield   
   Email: rjh at cpax dot org dot uk   
   "Usenet is a strange place" - dmr 29 July 1999   
   Sig line 4 vacant - apply within   
      
   --- 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