home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / c / 16290 < prev    next >
Encoding:
Internet Message Format  |  1992-11-10  |  1.7 KB
  1. Xref: sparky comp.lang.c:16290 comp.lang.c++:16048 comp.lang.pascal:6464 comp.lang.misc:3572
  2. Path: sparky!uunet!spool.mu.edu!caen!zaphod.mps.ohio-state.edu!rpi!newsserver.pixel.kodak.com!kodak!eastman!alnitak!vec
  3. From: vec@alnitak.Kodak.COM (Vance Cochrane)
  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: <4002@eastman.UUCP>
  7. Date: 10 Nov 92 16:24:45 GMT
  8. References: <josef.720690811@uranium>     <1992Nov04.073218.11970@cadlab.sublink.org>     <1dcuutINNi8t@agate.berkeley.edu> <1992Nov8.031423.16207@ucc.su.OZ.AU>     <1992Nov9.144550.28811@us-es.sel.de> <LOEGEL.92Nov9134531@fegatello.ssc.gov> <BxHz2v.EK4@sci.kun.nl>
  9. Sender: news@eastman.UUCP
  10. Followup-To: comp.lang.c
  11. Organization: Eastman Kodak Co., Rochester, NY
  12. Lines: 19
  13.  
  14. In article <BxHz2v.EK4@sci.kun.nl>, hansm@cs.kun.nl (Hans Mulder) writes:
  15. >In <LOEGEL.92Nov9134531@fegatello.ssc.gov> loegel@fegatello.ssc.gov (George J. Loegel) writes:
  16. >>From the McGraw-Hill Dictionary of Science and Technology:
  17. >>Godel's Proof: Any formal arithmetical system is incomplete in the
  18. >>sense that, given any consistent set of arithmetical axioms, there are
  19. >>true statements in the resulting arithmetical system that cannot be
  20. >>derived from these axioms.
  21.  
  22. WHAT DOES THIS HAVE TO DO WITH THE C PROGRAMMING LANGUAGE !!!!!
  23. ANSWER:
  24. NOTHING.
  25. -- 
  26. +------------------------------------------------------+
  27. + Vance Cochrane                Email: vec@Kodak.COM   +
  28. + Research Laboratories            Voice: (716) 722-3709  +
  29. + Eastman Kodak Company            Fax:   (716) 477-8681  +
  30. + Rochester, NY 14650-1826                             +
  31. + USA                                                  +
  32. +------------------------------------------------------+
  33.