From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!think.com!ames!ncar!noao!arizona!amethyst!organpipe.uug.arizona.edu!NSMA.AriZonA.EdU!bill Thu Apr 16 11:34:46 EDT 1992
Article 5121 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!think.com!ames!ncar!noao!arizona!amethyst!organpipe.uug.arizona.edu!NSMA.AriZonA.EdU!bill
>From: bill@NSMA.AriZonA.EdU (Bill Skaggs)
Newsgroups: comp.ai.philosophy
Subject: Re: Godel's Incompleteness Theorm
Message-ID: <1992Apr15.235736.26829@organpipe.uug.arizona.edu>
Date: 15 Apr 92 23:57:36 GMT
References: <1992Apr15.160747.9350@watdragon.waterloo.edu>
Sender: news@organpipe.uug.arizona.edu
Reply-To: bill@NSMA.AriZonA.EdU (Bill Skaggs)
Organization: Center for Neural Systems, Memory, and Aging
Lines: 10

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


