home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / c / 16079 < prev    next >
Encoding:
Internet Message Format  |  1992-11-07  |  1.8 KB

  1. Xref: sparky comp.lang.c:16079 comp.lang.c++:15867 comp.lang.pascal:6377 comp.lang.misc:3523
  2. Newsgroups: comp.lang.c,comp.lang.c++,comp.lang.pascal,comp.lang.misc
  3. Path: sparky!uunet!zaphod.mps.ohio-state.edu!saimiri.primate.wisc.edu!ames!decwrl!concert!sas!mozart.unx.sas.com!sasghm
  4. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  5. Subject: Re: Software design =/= Programming
  6. Originator: sasghm@theseus.unx.sas.com
  7. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  8. Message-ID: <BxAsyI.Hyw@unx.sas.com>
  9. Date: Fri, 6 Nov 1992 14:15:54 GMT
  10. References: <mazz.719989080@pluto> <josef.720690811@uranium> <1992Nov04.073218.11970@cadlab.sublink.org> <1dcuutINNi8t@agate.berkeley.edu>
  11. Nntp-Posting-Host: theseus.unx.sas.com
  12. Organization: SAS Institute Inc.
  13. Lines: 22
  14.  
  15.  
  16. In article <1dcuutINNi8t@agate.berkeley.edu>, faustus@ygdrasil.CS.Berkeley.EDU (Wayne A. Christopher) writes:
  17. |> In article <1992Nov04.073218.11970@cadlab.sublink.org> martelli@cadlab.sublink.org (Alex Martelli) writes:
  18. |> > The point of Goedel's Theorem is, that for *ANY* formal system "powerful
  19. |> > enough" ... there will be *true* statements about the formal
  20. |> > systems that cannot be proven from that set of axioms!!!
  21. |> 
  22. |> Not exactly -- what it says is that for any set of axioms A there will
  23. |> be statements S such that A does not imply S and A does not imply not
  24. |> S.  The notion of truth doesn't come into it, since in a formal system
  25. |> either something is provable or isn't.
  26. |> 
  27. |>     Wayne
  28.  
  29. Since the systems in question are classically two-valued, then either
  30. S is true or ~S is true.  While what you say about Goedel's theorem
  31. is correct, truth *does* "come into it" quite easily.  See Tarski's
  32. theorem.
  33. -- 
  34. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  35. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  36. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  37.