home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / c / 16246 < prev    next >
Encoding:
Internet Message Format  |  1992-11-09  |  1.2 KB
  1. Xref: sparky comp.lang.c:16246 comp.lang.c++:16001 comp.lang.pascal:6446 comp.lang.misc:3559
  2. Path: sparky!uunet!noc.near.net!hri.com!spool.mu.edu!darwin.sura.net!zaphod.mps.ohio-state.edu!uunet.ca!frumious!pat
  3. From: pat@frumious.uucp (Patrick Smith)
  4. Newsgroups: comp.lang.c,comp.lang.c++,comp.lang.pascal,comp.lang.misc
  5. Subject: Re: Software design =/= Programming
  6. Message-ID: <1992Nov10.005205.521@frumious.uucp>
  7. Date: 10 Nov 92 00:52:05 GMT
  8. References: <1dcuutINNi8t@agate.berkeley.edu> <1992Nov8.031423.16207@ucc.su.OZ.AU> <1992Nov9.144550.28811@us-es.sel.de>
  9. Reply-To: uunet.ca!frumious!pat
  10. Organization: None
  11. Lines: 20
  12.  
  13. reindorf@us-es.sel.de (Charles Reindorf) writes:
  14. |OK, riddle me this. If I get you right, then if a statement A
  15. |is provably undecidable,
  16. |you assume that it is true.
  17.  
  18. No, you can only make this assumption for some statements.
  19. For example, if A is of the form
  20.  
  21.    for all integers n, P(n) holds
  22.  
  23. where n is a proposition whenever P(n) is false, you can actually
  24. prove that P(n) is false, then you can conclude that if A is
  25. undecidable it must be true.  (Since if A were false, there would
  26. be a counterexample, but then you could prove that P(n) was false
  27. for that n, which proves ~A.)
  28.  
  29. -- 
  30. Patrick Smith
  31. uunet.ca!frumious!pat
  32. pat%frumious.uucp@uunet.ca
  33.