From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!sun-barr!ames!elroy.jpl.nasa.gov!usc!zaphod.mps.ohio-state.edu!malgudi.oar.net!uoft02.utoledo.edu!desire.wright.edu!wright!news Thu Apr 30 15:22:37 EDT 1992
Article 5247 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:5247 sci.logic:1212
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!sun-barr!ames!elroy.jpl.nasa.gov!usc!zaphod.mps.ohio-state.edu!malgudi.oar.net!uoft02.utoledo.edu!desire.wright.edu!wright!news
Newsgroups: comp.ai.philosophy,sci.logic
Subject: Re: Understanding Logic (was re: Godel Incompleteness Theorm)
Message-ID: <1992Apr23.184300.26950@cs.wright.edu>
>From: tkprasad@valhalla.wright.edu (Thirunarayan Krishnaprasad)
Date: Thu, 23 Apr 1992 18:43:00 GMT
Reply-To: tkprasad@valhalla.wright.edu
Sender: news@cs.wright.edu (USENET News System)
References: <1992Apr22.124607.11418@husc3.harvard.edu>
Organization: Wright State University
Lines: 25

>From article <1992Apr22.124607.11418@husc3.harvard.edu>, by zeleny@widder.harvard.edu (Mikhail Zeleny):
> In article <1992Apr22.010037.21305@watdragon.waterloo.edu> 
> wlfong@logos.waterloo.edu (Philip W. L. Fong) writes:
> 
....


My EMAIL to Philip Wong was NOT meant to be a POSTING.
I wanted to convey to him, that for a beginner, the books
GODEL, ESCHER, BACH and GODEL'S PROOF are a good starting 
point as they do a good job of explaining the basic ideas. 
I do realize that after an informal understanding of the
underlying ideas, one needs the kind of  rigorous proofs 
given in the textbooks on FOL. My statements have been 
interpreted out of context. In fact, I owe  a lot to 
Enderton's book for whatever I know in logic. I do not 
think I deserve the slanderous remarks from Michael Zeleny,
for I did not mean to be disrespectful to anyone. My EMAIL
has been blown out of proportion.

Prasad
(tkprasad@cs.wright.edu)





