Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles $Revision: 1.7.0.8 $; site uiucdcsb
Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxn!ihnp4!inuxc!pur-ee!uiucdcsb!grunwald
From: grunwald@uiucdcsb.CS.UIUC.EDU
Newsgroups: net.cog-eng
Subject: Re: Godel, Escher, Bach
Message-ID: <19000007@uiucdcsb>
Date: Tue, 29-Oct-85 15:53:00 EST
Article-I.D.: uiucdcsb.19000007
Posted: Tue Oct 29 15:53:00 1985
Date-Received: Sat, 2-Nov-85 00:29:32 EST
References: <2336@flame.warwick.UUCP>
Lines: 14
Nf-ID: #R:flame.warwick.UUCP:-233600:uiucdcsb:19000007:000:652
Nf-From: uiucdcsb.CS.UIUC.EDU!grunwald    Oct 29 14:53:00 1985


I thought GEB was a good introduction to certain formalisms which some people
have a difficult time understandning.

A friend of mine is an anthropologist who abuses the concept of Godels
incompleteness theorem, stating that it illustrates the fact that no
complete theory of human cognition can be devised. Through GEB, I got the
point through that you need to be able to devise an isomorphism between
the propositional calculus & human cognition before you could begin to
make such claims. 

So, for someone who knows a lot about the field, perhaps it is baboosh, but
for people with limited theory background, it's a useful vehicle for
explination.