home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / c / 16443 < prev    next >
Encoding:
Text File  |  1992-11-13  |  2.0 KB  |  51 lines
  1. Newsgroups: comp.lang.c
  2. Path: sparky!uunet!europa.asd.contel.com!darwin.sura.net!wupost!sdd.hp.com!sgiblab!rtech!odinba!dan
  3. From: dan@BofA.com (Dan Brockman)
  4. Subject: Re: Godel's Proof (was Re: Software design =/= Programming)
  5. Message-ID: <1992Nov13.052153.1135@BofA.com>
  6. Organization: Bank of America, Capital Products, RMTG #5906
  7. References: <LOEGEL.92Nov9134531@fegatello.ssc.gov> <BxHz2v.EK4@sci.kun.nl> <4002@eastman.UUCP>
  8. Date: Fri, 13 Nov 92 05:21:53 GMT
  9. Lines: 40
  10.  
  11. Newsgroups: comp.lang.c
  12. Subject: Re: Godel's Proof (was Re: Software design =/= Programming)
  13. Summary: 
  14. Expires: 
  15. References: <LOEGEL.92Nov9134531@fegatello.ssc.gov> <BxHz2v.EK4@sci.kun.nl> <4002@eastman.UUCP>
  16. Sender: 
  17. Followup-To: 
  18. Distribution: 
  19. Organization: Bank of America, Capital Products, RMTG #5906
  20. Keywords: 
  21.  
  22.  
  23.  
  24.  
  25. In article <4002@eastman.UUCP> vec@alnitak.Kodak.COM (Vance Cochrane) writes:
  26. >In article <BxHz2v.EK4@sci.kun.nl>, hansm@cs.kun.nl (Hans Mulder) writes:
  27. >>In <LOEGEL.92Nov9134531@fegatello.ssc.gov> loegel@fegatello.ssc.gov (George J. Loegel) writes:
  28. >>>From the McGraw-Hill Dictionary of Science and Technology:
  29. >>>Godel's Proof: Any formal arithmetical system is incomplete in the
  30. >>>sense that, given any consistent set of arithmetical axioms, there are
  31. >>>true statements in the resulting arithmetical system that cannot be
  32. >>>derived from these axioms.
  33. >
  34. >WHAT DOES THIS HAVE TO DO WITH THE C PROGRAMMING LANGUAGE !!!!!
  35. >ANSWER:
  36. >NOTHING.
  37.  
  38. I have wondered whether there was not a fundamental problem of 
  39. Godelian sort in C++ by treating everything as an object, though
  40. I've not been able to articulate my concern clearly.  Something
  41. along the lines of C++ requiring an endless supply of keywords
  42. or infinitely many objects or maybe I am not thinking clearly
  43. about this or ...
  44.  
  45.  
  46. -- 
  47.  --------------------------------------------------------------
  48.  Daniel Brockman             tel 415-953-0406, fax 415-622-2892
  49.  Bank of America, Dept 5906, 555 Calif St
  50.  San Francisco 94104 USA    email uunet!odinba!dan dan@BofA.COM
  51.