From newshub.ccs.yorku.ca!torn!cs.utexas.edu!ut-emx!ibmchs!auschs!portal.austin.ibm.com!awdprime.austin.ibm.com!hwperform.austin.ibm.com!zazen Fri Oct 30 15:17:53 EST 1992
Article 7417 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!torn!cs.utexas.edu!ut-emx!ibmchs!auschs!portal.austin.ibm.com!awdprime.austin.ibm.com!hwperform.austin.ibm.com!zazen
>From: zazen@hwperform.austin.ibm.com (East Coker)
Newsgroups: comp.ai.philosophy
Subject: Re: Human intelligence vs. Machine intelligence
Message-ID: <1992Oct26.200146.967@awdprime.austin.ibm.com>
Date: 26 Oct 92 20:01:46 GMT
References: <1992Oct15.171636.10178@oracorp.com> <SMAILL.92Oct17175821@hope.aisb.ed.ac.uk>
Sender: news@awdprime.austin.ibm.com (USENET News)
Organization: Is God a Taoist?
Lines: 25

In article <SMAILL.92Oct17175821@hope.aisb.ed.ac.uk> smaill@aisb.ed.ac.uk (Alan Smaill) writes:
>In article <1992Oct15.171636.10178@oracorp.com> daryl@oracorp.com (Daryl McCullough) writes:

>   The mistake Penrose makes is in assuming that because something is
>   true, then there exists a proof (or a convincing argument) that it is
>   true. A theory T can be consistent without our being able to give a good
>   argument for why it is consistent.
>
>I'd be surprised if the sort of constructivist attitude you attribute to
>Penrose here is one that he holds, given his total lack of sympathy for
>Brouwer et al in his book.

I agree with Alan's statement.

I wonder if any of Penrose, Dennett, Searle et cetera on the net? It
would be interesting to know what their current thoughts are. It seems
reasonable to think that some of them may have changed their views.

In particular, I would like to hear Penrose's comments on the discussion
has transpired recently on this group. Especially regarding the quantum
gravitation effects on consciouness that he has proposed.
-- 
East Coker
"In my beginning is my end .... In my end is my beginning" --- T S Eliot
(my opinions alone)


