home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2049 < prev    next >
Encoding:
Internet Message Format  |  1992-11-15  |  1.4 KB
  1. Xref: sparky sci.logic:2049 sci.math:15006
  2. Newsgroups: sci.logic,sci.math
  3. Path: sparky!uunet!pmafire!mica.inel.gov!guinness!garnet.idbsu.edu!holmes
  4. From: holmes@garnet.idbsu.edu (Randall Holmes)
  5. Subject: Re: Logic and Mathematicians
  6. Message-ID: <1992Nov15.220359.21971@guinness.idbsu.edu>
  7. Sender: usenet@guinness.idbsu.edu (Usenet News mail)
  8. Nntp-Posting-Host: garnet
  9. Organization: Boise State University
  10. References: <1992Nov11.204655.7342@email.tuwien.ac.at> <1992Nov12.204959.17389@husc3.harvard.edu> <1992Nov14.141234.26280@email.tuwien.ac.at>
  11. Date: Sun, 15 Nov 1992 22:03:59 GMT
  12. Lines: 21
  13.  
  14. In article <1992Nov14.141234.26280@email.tuwien.ac.at> zach@csdec1.tuwien.ac.at writes:
  15. >In article <1992Nov12.204959.17389@husc3.harvard.edu>, zeleny@husc10.harvard.edu (Michael Zeleny) writes:
  16. >|> I offer Post's problem as a counterexample.  Also, it doesn't seem
  17. >|> that there could be a solution for "P =? NP" that would render the
  18. >|> problem silly in retrospect.
  19. >
  20. >Oh yes: Prove P=NP is independent of ZFC. It actuall HAS
  21. >been shown independent in some weak arithmetics.
  22. >
  23. >-- 
  24. >Richard Zach                         Technische Universitaet Wien
  25. >[zach@csdec1.tuwien.ac.at]     Abteilung fuer Formale Logik 185.2
  26.  
  27. Wouldn't that actually answer the question?
  28.  
  29.  
  30. -- 
  31. The opinions expressed        |     --Sincerely,
  32. above are not the "official"    |     M. Randall Holmes
  33. opinions of any person        |     Math. Dept., Boise State Univ.
  34. or institution.            |     holmes@opal.idbsu.edu
  35.