From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!csd.unb.ca!morgan.ucs.mun.ca!nstn.ns.ca!news.cs.indiana.edu!spool.mu.edu!sol.ctr.columbia.edu!usc!zaphod.mps.ohio-state.edu!mips!darwin.sura.net!jvnc.net!netnews.upenn.edu!sy Wed Apr 22 12:03:53 EDT 1992
Article 5132 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!csd.unb.ca!morgan.ucs.mun.ca!nstn.ns.ca!news.cs.indiana.edu!spool.mu.edu!sol.ctr.columbia.edu!usc!zaphod.mps.ohio-state.edu!mips!darwin.sura.net!jvnc.net!netnews.upenn.edu!sy
snext.library.upenn.edu
>From: peter@sysnext.library.upenn.edu (Peter C. Gorman)
Newsgroups: comp.ai.philosophy
Subject: Re: Godel's Incompleteness Theorm
Message-ID: <74659@netnews.upenn.edu>
Date: 17 Apr 92 16:48:12 GMT
Article-I.D.: netnews.74659
References: <1992Apr15.160747.9350@watdragon.waterloo.edu>
Sender: news@netnews.upenn.edu
Lines: 23
Nntp-Posting-Host: sysnext.library.upenn.edu

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 the proof and 
> discusses the implication of the theory?

I highly recommend the following:

Nagel, Ernest, and James R. Newman.  Godel's Proof.  New York: NYU Press,  
1958.  118 pp.

This is very readable, but doesn't skimp on the details relevant to the  
non-mathematician.  It gives a very good account of the historical and  
philosophical environment of the Proof, and is written in a clear and  
direct style.  I happened to find it on a remainders table in a bookstore  
for $1.  One of the best dollars I ever spent.

--
Peter Gorman
University of Pennsylvania
Library Systems Office
peter@sysnext.library.upenn.edu


