home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / c / 16269 < prev    next >
Encoding:
Internet Message Format  |  1992-11-10  |  1.6 KB
  1. Xref: sparky comp.lang.c:16269 comp.lang.c++:16021 comp.lang.pascal:6456 comp.lang.misc:3567
  2. Newsgroups: comp.lang.c,comp.lang.c++,comp.lang.pascal,comp.lang.misc
  3. Path: sparky!uunet!zaphod.mps.ohio-state.edu!cs.utexas.edu!tamsun.tamu.edu!zeus.tamu.edu!sam4628
  4. From: sam4628@zeus.tamu.edu
  5. Subject: Re: Godel's Proof (was Re: Software design =/= Programming)
  6. Message-ID: <10NOV199207251888@zeus.tamu.edu>
  7. News-Software: VAX/VMS VNEWS 1.41    
  8. Sender: news@tamsun.tamu.edu (Read News)
  9. Organization: Texas A&M University, Academic Computing Services
  10. References: <josef.720690811@uranium> <LOEGEL.92Nov9134531@fegatello.ssc.gov>
  11. Date: Tue, 10 Nov 1992 13:25:00 GMT
  12. Lines: 22
  13.  
  14. In article <LOEGEL.92Nov9134531@fegatello.ssc.gov>, loegel@sscvx1.ssc.gov writes...
  15. >From the McGraw-Hill Dictionary of Science and Technology:
  16. >Godel's Proof: Any formal arithmetical system is incomplete in the
  17. >sense that, given any consistent set of arithmetical axioms, there are
  18. >true statements in the resulting arithmetical system that cannot be
  19. >derived from these axioms.
  20.  
  21. [+ other stuff]
  22.  
  23.  
  24. OH MY GOODNESS - somebody let mathematicians on the net!!!!!
  25. AAARRRRGGGGHHHH!
  26.  
  27.  
  28. (_Lots_ of :-)'s   BTW, who decided that 'argh' is spelled 'argh'?)
  29.  
  30. ------------------------------------------------------------------------
  31. | Steven A. McCluney                 |"Strange women lying in ponds    |
  32. | sam4628@zeus.tamu.edu              | distributing swords is no basis |
  33. | I'm a grad student, so my opinions | for a system of government!"    |
  34. |    are worthless anyway            |          Dennis, to King Arthur |
  35. ------------------------------------------------------------------------
  36.