From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!watserv1!watdragon!logos.waterloo.edu!wlfong Thu Apr 16 11:34:38 EDT 1992
Article 5108 of comp.ai.philosophy:
Newsgroups: comp.ai.philosophy
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!watserv1!watdragon!logos.waterloo.edu!wlfong
>From: wlfong@logos.waterloo.edu (Philip W. L. Fong)
Subject: Godel's Incompleteness Theorm
Message-ID: <1992Apr15.160747.9350@watdragon.waterloo.edu>
Sender: news@watdragon.waterloo.edu (USENET News System)
Organization: University of Waterloo
Date: Wed, 15 Apr 1992 16:07:47 GMT
Lines: 9

I am interested in knowing more about Godel's Incompleteness Theorm, especially
the proof and its implication on the limitation of human/artificial 
intelligence.  However I am not a theory person and I don't think I will
understand Godel's original document.  Is there any easy-to-comprehend 
text/reference (for an average CS student) which covers the proof and 
discusses the implication of the theory?

Philip



