XPost: comp.theory, sci.math, comp.ai.philosophy   
   From: pa@see.signature.invalid   
      
   In sci.logic Tristan Wibberley  wrote:   
      
   > [ ... ]   
   > Then he defines a new system "P" which he uses to get even more muddled,   
   > leaves out the crucial elements of his proof because it's too easy to   
   > get wrong,   
      
   Gödel, muddled? He was the most meticulous sonovabitch that ever   
   lived!   
      
      
   > and Stephen Meyer says he does get it wrong; he seems to be   
   > the only person in the world that ever checked.   
      
   People have misunderstood Gödel and proved it by their comments.   
   I don't know who Stephen Meyer is; my money is on Gödel.   
      
   --   
   pa at panix dot com   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)