Newsgroups: comp.ai.philosophy,sci.philosophy.tech
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!yeshua.marcam.com!usc!howland.reston.ans.net!EU.net!uknet!bailgate!roborough.gpsemi.com!whipp
From: whipp@roborough.gpsemi.com (David Whipp.)
Subject: Re: Penrose's new book
Message-ID: <Cy9tru.D2u@lincoln.gpsemi.com>
Sender: usenet@lincoln.gpsemi.com (usnet account)
Nntp-Posting-Host: psupw22.roborough.gpsemi.com
Organization: GEC Plessey Semiconductors
References: <37v6ac$pa8@lyra.csx.cam.ac.uk> <1994Oct18.110514.16731@math.ucla.edu> <385oqf$b32@lyra.csx.cam.ac.uk> <1994Oct21.210340.28435@math.ucla.edu>
Date: Wed, 26 Oct 1994 08:19:05 GMT
Lines: 24
Xref: glinda.oz.cs.cmu.edu comp.ai.philosophy:21375 sci.philosophy.tech:16182

In article <1994Oct21.210340.28435@math.ucla.edu>, zeleny@oak.math.ucla.edu (Michael Zeleny) writes:
[in the context of Godel]
|> >Logic is largely irrelevant to intelligence, consciousness
|> >and what makes us human in general. Get it straight - we evolved by natural 
|> >selection - we weren't designed, verified, or guaranteed to be consistent.
|> >No one ever contemplated or proved the validity of the algorithms
|> >that are us. There is no proof that our algorithms work, terminate, halt
|> >or are free from error. But so what? They helped us survive anyway!
|> 
|> Consider a total mathematical model of human performance -- guaranteed
|> to be consistent, for the simple reason that you cannot do and not do
|> P at once.

But will this mathematical model form a complete system? Surely a model
of the brain (or any intelligence) must include interaction with its
environment, and so does not form a closed system. If the entire universe
is included in the model then you will find that the brain can 'know' P
to be true, when in fact it is false.

-- 
                    David P. Whipp.            <whipp@roborough.gpsemi.com>
Not speaking for:   -------------------------------------------------------
 G.E.C. Plessey     Due to transcription and transmission errors, the views
 Semiconductors     expressed here may not reflect even  my  own  opinions!
