From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!think.com!yale.edu!jvnc.net!darwin.sura.net!Sirius.dfn.de!zrz.tu-berlin.de!news.netmbx.de!Germany.EU.net!mcsun!uknet!warwick!nott-cs!ucl-cs!news Wed Apr 22 12:04:20 EDT 1992
Article 5173 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!think.com!yale.edu!jvnc.net!darwin.sura.net!Sirius.dfn.de!zrz.tu-berlin.de!news.netmbx.de!Germany.EU.net!mcsun!uknet!warwick!nott-cs!ucl-cs!news
>From: G.Joly@cs.ucl.ac.uk (Gordon Joly)
Newsgroups: comp.ai.philosophy
Subject: Re: Godel's Incompleteness Theorm
Message-ID: <2484@ucl-cs.uucp>
Date: 21 Apr 92 15:22:11 GMT
Sender: news@cs.ucl.ac.uk
Lines: 31


> 
> In article <1992Apr15.160747.9350@watdragon.waterloo.edu> 
> wlfong@logos.waterloo.edu (Philip W. L. Fong) writes:
> >      Is there any easy-to-comprehend 
> >text/reference (for an average CS student) which covers [Godel's] proof 
> >and discusses the implication of the theory?
> 
>   Far and away the best thing to read is Hofstadter's "Goedel,
> Escher, Bach: An Eternal Golden Braid."
> 
> 	-- Bill

Well, first have a skim through this, then read one of the other texts
that have been mentioned, then go back to GEB. Then, you will be as
ready to meet your maker:-) Also, you may need this word as part of
your study:

DEFINE grok
DEFINITION 0
grok \'gro-\ \'gru:\ \'gro-w\ \'gro-(-*)r\ vb or grokked;  or grok.ing
   [ME groken, fr. OE gro-kan; akin to OHG gruokan] 1: to think in a
   certain way - possibly `GROK - Grok's Recurisve OK?'' (obscure) 2:
   a new departure in thought.

Gordon.
____

Gordon Joly                                       +44 71 387 7050 ext 3703
Internet: G.Joly@cs.ucl.ac.uk        UUCP: ...!{uunet,uknet}!ucl-cs!G.Joly
Computer Science, University College London, Gower Street, LONDON WC1E 6BT


