home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / c / 16163 < prev    next >
Encoding:
Internet Message Format  |  1992-11-08  |  2.0 KB
  1. Xref: sparky comp.lang.c:16163 comp.lang.c++:15927 comp.lang.pascal:6395 comp.lang.misc:3545
  2. Newsgroups: comp.lang.c,comp.lang.c++,comp.lang.pascal,comp.lang.misc
  3. Path: sparky!uunet!munnari.oz.au!metro!extro.ucc.su.OZ.AU!maxtal
  4. From: maxtal@extro.ucc.su.OZ.AU (John MAX Skaller)
  5. Subject: Re: Software design =/= Programming
  6. Message-ID: <1992Nov8.031423.16207@ucc.su.OZ.AU>
  7. Sender: news@ucc.su.OZ.AU
  8. Nntp-Posting-Host: extro.ucc.su.oz.au
  9. Organization: MAXTAL P/L C/- University Computing Centre, Sydney
  10. References: <josef.720690811@uranium> <1992Nov04.073218.11970@cadlab.sublink.org> <1dcuutINNi8t@agate.berkeley.edu>
  11. Date: Sun, 8 Nov 1992 03:14:23 GMT
  12. Lines: 27
  13.  
  14. In article <1dcuutINNi8t@agate.berkeley.edu> faustus@ygdrasil.CS.Berkeley.EDU (Wayne A. Christopher) writes:
  15. >In article <1992Nov04.073218.11970@cadlab.sublink.org> martelli@cadlab.sublink.org (Alex Martelli) writes:
  16. >> The point of Goedel's Theorem is, that for *ANY* formal system "powerful
  17. >> enough" ... there will be *true* statements about the formal
  18. >> systems that cannot be proven from that set of axioms!!!
  19. >
  20. >Not exactly -- what it says is that for any set of axioms A there will
  21. >be statements S such that A does not imply S and A does not imply not
  22. >S.  The notion of truth doesn't come into it, since in a formal system
  23. >either something is provable or isn't.
  24. >
  25. >    Wayne
  26.  
  27.     The notion of truth DOES come into it. The above is only the
  28. first part of the theorem. Statements which cannot be proved or disproved
  29. are called undecidable. Goedel showed that some undecidable statements
  30. can be proved to be undecidable (out side the system) and thus they
  31. must be true (since no counter examples exist). Thus there are true
  32. statements in mathematics which cannot be *formally* proved.
  33.  
  34.     The proof is truly wonderous to work through.
  35.  
  36. -- 
  37. ;----------------------------------------------------------------------
  38.         JOHN (MAX) SKALLER,         maxtal@extro.ucc.su.oz.au
  39.     Maxtal Pty Ltd, 6 MacKay St ASHFIELD, NSW 2131, AUSTRALIA
  40. ;--------------- SCIENTIFIC AND ENGINEERING SOFTWARE ------------------
  41.