Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!ukc!warwick!nott-cs!ucl-cs!news
From: G.Joly@cs.ucl.ac.uk (Gordon Joly)
Newsgroups: comp.ai.philosophy
Subject: Re: Minds, machines, and Godel
Message-ID: <1387@ucl-cs.uucp>
Date: 28 Jan 91 17:35:59 GMT
Sender: news@cs.ucl.ac.uk
Lines: 20


In article <2291@sirius.ucs.adelaide.edu.au> Jon Baxter

> To do this all one has to consider is a mathemetician who feeds her
> "proofs" to another very large group of mathematicians that reject
> anything they decide is invalid. The system consisting of the original
> mathematician plus her "vetters" can be made virtually as reliable as you
> like, so simulate the lot of them on a Turing machine and you have got
> yourself an error-free "mathematician".

One thing is missing:-

``A mathematician is machine for turning coffee into theorems'' -
John Erd\"os.

Gordon Joly                                       +44 71 387 7050 ext 3716
Internet: G.Joly@cs.ucl.ac.uk          UUCP: ...!{uunet,ukc}!ucl-cs!G.Joly
Computer Science, University College London, Gower Street, LONDON WC1E 6BT

           Email: Les jeux sans frontiers du monde