home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / c / 16304 < prev    next >
Encoding:
Internet Message Format  |  1992-11-10  |  1.8 KB
  1. Xref: sparky comp.lang.c:16304 comp.lang.c++:16064 comp.lang.pascal:6472 comp.lang.misc:3578
  2. Path: sparky!uunet!ferkel.ucsb.edu!taco!rock!stanford.edu!ames!sun-barr!cs.utexas.edu!ut-emx!ibmchs!auschs!portal.austin.ibm.com!awdprime.austin.ibm.com!testsys.austin.ibm.com!mbrown
  3. From: mbrown@testsys.austin.ibm.com (Mark Brown)
  4. Newsgroups: comp.lang.c,comp.lang.c++,comp.lang.pascal,comp.lang.misc
  5. Subject: Re: Godel's Proof (was Re: Software design =/= Programming)
  6. Message-ID: <1992Nov10.193449.17264@awdprime.austin.ibm.com>
  7. Date: 10 Nov 92 19:34:49 GMT
  8. References: <1992Nov8.031423.16207@ucc.su.OZ.AU> <1992Nov9.144550.28811@us-es.sel.de> <LOEGEL.92Nov9134531@fegatello.ssc.gov>
  9. Sender: news@awdprime.austin.ibm.com (USENET News)
  10. Organization: IBM Corp., Austin TX.
  11. Lines: 23
  12.  
  13. | loegel@sscvx1.ssc.gov writes:
  14. |From the McGraw-Hill Dictionary of Science and Technology:
  15. |Godel's Proof: Any formal arithmetical system is incomplete in the
  16. |
  17. |The full proof *is* wonderful -- we took six weeks going through it in
  18. |class. Also, Raymond Smullyan has just published a book (Oxford Press)
  19. |where he gives *three* different proofs of the Incompleteness Theorem.
  20. |Smullyan is a wonderful author (e.g. "Forever Undecided : a puzzle
  21. |guide to Godel" and "To Mock a Mockingbird") and I recommend any of
  22. |the books. 
  23.  
  24. Shame on you for not recommending GODEL, ESCHER, BACH: An Eternal Golden
  25. Braid, by Douglas Hofstadter.
  26.  
  27. Not only a good explanation of Godel, but he ties it back into
  28. programming and AI.
  29.  
  30. mark
  31. -- 
  32. Mark Brown       IBM PSP Austin, TX.|Make it right before you make it faster.
  33. (512) 838-3926   VNET: MBROWN@AUSVMQ|Keep it right when you make it faster.
  34. MAIL: mbrown@testsys.austin.ibm.com |Make it clear before you make it faster.
  35. DISCLAIMER: My views may be, and often are, independent of IBM official policy.
  36.