From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!uunet!mcsun!sunic2!sics.se!sics.se!torkel Sun May 31 19:04:23 EDT 1992
Article 5932 of comp.ai.philosophy:
Newsgroups: comp.ai.philosophy
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!uunet!mcsun!sunic2!sics.se!sics.se!torkel
>From: torkel@sics.se (Torkel Franzen)
Subject: Re: penrose
In-Reply-To: sarima@tdatirv.UUCP's message of 26 May 92 19:29:43 GMT
Message-ID: <1992May27.074252.7966@sics.se>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
References: <2524@ucl-cs.uucp> <1992May1.025230.8835@news.media.mit.edu>
	<1992May6.220605.26774@unixg.ubc.ca>
	<1992May8.015202.10792@news.media.mit.edu>
	<1992May18.194416.27171@hellgate.utah.edu> <27@tdatirv.UUCP>
	<atten.706786286@groucho.phil.ruu.nl> <31@tdatirv.UUCP>
Date: Wed, 27 May 1992 07:42:52 GMT
Lines: 16

In article <31@tdatirv.UUCP> sarima@tdatirv.UUCP (Stanley Friesen) writes:

   >Except, in that case his conclusions do not follow.  It is possible to
   >construct a TM that can recognise the Goedel sentences in a formal system
   >from any of a given countable subset of possible formal systems.

  It's unclear what you mean by this, but it can hardly be correct.

   >Note, our minds differ from a mathematical TM in that we routinely use the
   >partial outputs, rather than the post-termination outputs, and there does
   >not seem to be a normal STOP instruction in the input tape (I do not know
   >of many people who have died of 'brain failure').

  Dylan Thomas died, according to the death certificate, of "insult
to the brain". Since people don't die from having their minds insulted,
this proves that minds are different from brains.


