home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / c / 16054 < prev    next >
Encoding:
Internet Message Format  |  1992-11-06  |  1.2 KB
  1. Xref: sparky comp.lang.c:16054 comp.lang.c++:15847 comp.lang.pascal:6364 comp.lang.misc:3512
  2. Path: sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!sdd.hp.com!spool.mu.edu!agate!ygdrasil.CS.Berkeley.EDU!faustus
  3. From: faustus@ygdrasil.CS.Berkeley.EDU (Wayne A. Christopher)
  4. Newsgroups: comp.lang.c,comp.lang.c++,comp.lang.pascal,comp.lang.misc
  5. Subject: Re: Software design =/= Programming
  6. Date: 6 Nov 1992 05:14:05 GMT
  7. Organization: University of California, Berkeley
  8. Lines: 11
  9. Message-ID: <1dcuutINNi8t@agate.berkeley.edu>
  10. References: <mazz.719989080@pluto> <josef.720690811@uranium> <1992Nov04.073218.11970@cadlab.sublink.org>
  11. NNTP-Posting-Host: ygdrasil.cs.berkeley.edu
  12.  
  13. In article <1992Nov04.073218.11970@cadlab.sublink.org> martelli@cadlab.sublink.org (Alex Martelli) writes:
  14. > The point of Goedel's Theorem is, that for *ANY* formal system "powerful
  15. > enough" ... there will be *true* statements about the formal
  16. > systems that cannot be proven from that set of axioms!!!
  17.  
  18. Not exactly -- what it says is that for any set of axioms A there will
  19. be statements S such that A does not imply S and A does not imply not
  20. S.  The notion of truth doesn't come into it, since in a formal system
  21. either something is provable or isn't.
  22.  
  23.     Wayne
  24.