home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2050 < prev    next >
Encoding:
Internet Message Format  |  1992-11-15  |  1.8 KB
  1. Xref: sparky sci.logic:2050 sci.math:15007
  2. Path: sparky!uunet!think.com!hsdndev!husc-news.harvard.edu!husc10.harvard.edu!zeleny
  3. From: zeleny@husc10.harvard.edu (Michael Zeleny)
  4. Newsgroups: sci.logic,sci.math
  5. Subject: Re: Logic and Mathematicians
  6. Message-ID: <1992Nov15.191744.17481@husc3.harvard.edu>
  7. Date: 16 Nov 92 00:17:43 GMT
  8. References: <1992Nov12.204959.17389@husc3.harvard.edu> <1992Nov14.141234.26280@email.tuwien.ac.at> <1992Nov15.220359.21971@guinness.idbsu.edu>
  9. Organization: The Phallogocentric Cabal
  10. Lines: 39
  11. Nntp-Posting-Host: husc10.harvard.edu
  12.  
  13. In article <1992Nov15.220359.21971@guinness.idbsu.edu>
  14. holmes@garnet.idbsu.edu (Randall Holmes) writes:
  15.  
  16. >In article <1992Nov14.141234.26280@email.tuwien.ac.at>
  17. >zach@csdec1.tuwien.ac.at writes:
  18.  
  19. >>In article <1992Nov12.204959.17389@husc3.harvard.edu>,
  20. >>zeleny@husc10.harvard.edu (Michael Zeleny) writes:
  21.  
  22. MZ:
  23. >>>I offer Post's problem as a counterexample.  Also, it doesn't seem
  24. >>>that there could be a solution for "P =? NP" that would render the
  25. >>>problem silly in retrospect.
  26.  
  27. RZ:
  28. >>Oh yes: Prove P=NP is independent of ZFC. It actuall HAS
  29. >>been shown independent in some weak arithmetics.
  30.  
  31. Funny, I would have thought independence to be indicative of
  32. foundational profundity, rather than triviality.
  33.  
  34. >>-- 
  35. >>Richard Zach                         Technische Universitaet Wien
  36. >>[zach@csdec1.tuwien.ac.at]     Abteilung fuer Formale Logik 185.2
  37.  
  38. RH:
  39. >Wouldn't that actually answer the question?
  40.  
  41. Only from the standpoint of a formalist.
  42.  
  43. >-- 
  44. >The opinions expressed             --Sincerely,
  45. >above are not the "official"         M. Randall Holmes
  46. >opinions of any person             Math. Dept., Boise State Univ.
  47. >or institution.                 holmes@opal.idbsu.edu
  48.  
  49. cordially,
  50. mikhail zeleny@husc.harvard.edu
  51. " -- I shall speak bluntly, because life is short."
  52.