home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2059 < prev    next >
Encoding:
Internet Message Format  |  1992-11-16  |  2.4 KB
  1. Xref: sparky sci.logic:2059 sci.math:15058
  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: <1992Nov16.164912.5597@guinness.idbsu.edu>
  7. Sender: usenet@guinness.idbsu.edu (Usenet News mail)
  8. Nntp-Posting-Host: garnet
  9. Organization: Boise State University
  10. References: <1992Nov14.141234.26280@email.tuwien.ac.at> <1992Nov15.220359.21971@guinness.idbsu.edu> <1992Nov15.191744.17481@husc3.harvard.edu>
  11. Date: Mon, 16 Nov 1992 16:49:12 GMT
  12. Lines: 54
  13.  
  14. In article <1992Nov15.191744.17481@husc3.harvard.edu> zeleny@husc10.harvard.edu (Michael Zeleny) writes:
  15. >In article <1992Nov15.220359.21971@guinness.idbsu.edu>
  16. >holmes@garnet.idbsu.edu (Randall Holmes) writes:
  17. >
  18. >>In article <1992Nov14.141234.26280@email.tuwien.ac.at>
  19. >>zach@csdec1.tuwien.ac.at writes:
  20. >
  21. >>>In article <1992Nov12.204959.17389@husc3.harvard.edu>,
  22. >>>zeleny@husc10.harvard.edu (Michael Zeleny) writes:
  23. >
  24. >MZ:
  25. >>>>I offer Post's problem as a counterexample.  Also, it doesn't seem
  26. >>>>that there could be a solution for "P =? NP" that would render the
  27. >>>>problem silly in retrospect.
  28. >
  29. >RZ:
  30. >>>Oh yes: Prove P=NP is independent of ZFC. It actuall HAS
  31. >>>been shown independent in some weak arithmetics.
  32. >
  33. >Funny, I would have thought independence to be indicative of
  34. >foundational profundity, rather than triviality.
  35. >
  36. >>>-- 
  37. >>>Richard Zach                         Technische Universitaet Wien
  38. >>>[zach@csdec1.tuwien.ac.at]     Abteilung fuer Formale Logik 185.2
  39. >
  40. >RH:
  41. >>Wouldn't that actually answer the question?
  42. >
  43. >Only from the standpoint of a formalist.
  44.  
  45. No, I think it might answer it from a realist standpoint, but I'm
  46. having trouble chasing quantifiers around in my head; I can't tell
  47. without sitting down and thinking about it, and I have things to do...
  48. I was hoping that someone would know the answer.
  49.  
  50.  
  51. >
  52. >>-- 
  53. >>The opinions expressed             --Sincerely,
  54. >>above are not the "official"         M. Randall Holmes
  55. >>opinions of any person             Math. Dept., Boise State Univ.
  56. >>or institution.                 holmes@opal.idbsu.edu
  57. >
  58. >cordially,
  59. >mikhail zeleny@husc.harvard.edu
  60. >" -- I shall speak bluntly, because life is short."
  61.  
  62.  
  63. -- 
  64. The opinions expressed        |     --Sincerely,
  65. above are not the "official"    |     M. Randall Holmes
  66. opinions of any person        |     Math. Dept., Boise State Univ.
  67. or institution.            |     holmes@opal.idbsu.edu
  68.