From: fateman@cs.berkeley.edu   
      
   On 4/12/2017 5:54 PM, Clark Smith wrote:   
   > On Wed, 12 Apr 2017 16:43:24 -0700, Richard Fateman wrote:   
      
   >   
   > 	About your comment - can you please elaborate on your assertion   
   > that it is not an algorithm?   
   >   
   This has been discussed at great length. You can jump into   
   one previous discussion at   
   http://mathforum.org/kb/thread.jspa?forumID=13&threadID=106300&m   
   ssageID=546282#546282   
      
   or use google to find other discussions.  A true algorithm cannot depend   
   on obtaining results from computations that are (sometimes) undecidable.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)