home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / math / 18016 < prev    next >
Encoding:
Internet Message Format  |  1993-01-11  |  1.2 KB
  1. Xref: sparky sci.math:18016 alt.philosophy.objectivism:558
  2. Newsgroups: sci.math,alt.philosophy.objectivism
  3. Path: sparky!uunet!cs.utexas.edu!sdd.hp.com!swrinde!emory!gatech!concert!rock!taco!auerbach
  4. From: auerbach@ncsu.edu (David D Auerbach)
  5. Subject: Re: godel theorem and godel theorem ....(Re: Where's
  6. Message-ID: <auerbach.726812032@news.ncsu.edu>
  7. Sender: news@ncsu.edu (USENET News System)
  8. Organization: North Carolina State University
  9. References: <1993Jan10.232815.14733@athena.mit.edu> <C0ptu7.3Hz@smsc.sony.com>
  10. Date: Tue, 12 Jan 1993 04:13:52 GMT
  11. Lines: 12
  12.  
  13. An incredibly nice book on the Godel theorems, very very clean has just
  14. come out--Smullyan: Godel's Incompleteness Theorems.  It is very uptodate
  15. in using "technology" that avoids doing extra mathematics and in giving
  16. abstract (i.e. operator, i.e. we don't need your stinking quantifiers)
  17. versions of various flavors of the proof.  Very elegant and some nice
  18. connections with the truth results that I hadn't known about (perhaps not
  19. a remarkable claim), namely Askanas' Theorem.  
  20. Bonuses are an accurate treatment of the Second Theorem and of the Rosser
  21. systems. 
  22. Smullyans 135 pages should erase some of the confusions evident in some of
  23. this thread.  
  24.  
  25.