Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!apple!usc!jarthur!uunet!mcsun!ukc!keele!nott-cs!ucl-cs!news From: G.Joly@cs.ucl.ac.uk Newsgroups: comp.ai.philosophy Subject: Re: Minds, machines, and Godel Message-ID: <1388@ucl-cs.uucp> Date: 29 Jan 91 10:52:02 GMT Sender: news@cs.ucl.ac.uk Lines: 3 I apologise, that should read Paul Erdo\"os ``A mathematician is machine for turning coffee into theorems'' -