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.