Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!sics.se!sics.se!torkel
From: torkel@sics.se (Torkel Franzen)
Newsgroups: comp.ai.philosophy
Subject: Re: Minds, machines, and Godel
Message-ID: <1991Jan17.191340.28824@sics.se>
Date: 17 Jan 91 19:13:40 GMT
References: <91Jan16.135532edt.1132@neuron.ai.toronto.edu>
	<1991Jan17.040803.8205@bronze.ucs.indiana.edu>
	<JMC.91Jan16213907@DEC-Lite.Stanford.EDU>
	<1991Jan17.170401.8536@bronze.ucs.indiana.edu>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
Lines: 8
In-Reply-To: chalmers@bronze.ucs.indiana.edu's message of 17 Jan 91 17:04:01 GMT

In article <1991Jan17.170401.8536@bronze.ucs.indiana.edu> chalmers@bronze.ucs.
indiana.edu (David Chalmers) writes:

   >Godelize the entire system.  This will give a statement that it cannot
   >generate which we can see to be true.

  We have no grounds whatever for claiming that we can see the Godel sentence
of the system to be true.