home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / math / 15459 < prev    next >
Encoding:
Text File  |  1992-11-24  |  1.6 KB  |  37 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!comp.vuw.ac.nz!canterbury.ac.nz!math!wft
  3. From: wft@math.canterbury.ac.nz (Bill Taylor)
  4. Subject: Counterfactuals.
  5. Message-ID: <By7BIB.Jwt@cantua.canterbury.ac.nz>
  6. Nntp-Posting-Host: sss330.canterbury.ac.nz
  7. Organization: Department of Mathematics, University of Canterbury
  8. Date: Tue, 24 Nov 1992 03:39:46 GMT
  9. Lines: 26
  10.  
  11. The recent discussion about whether P=NP made me wonder.....
  12.  
  13. There are quite a number of theorems beginning, "if P =|= NP then..."; and
  14. presumably masses beginning "if P = NP then..." .
  15.  
  16. In a different area, number theory, there are a great many theorems beginning
  17. "if Riemann's hypothesis is true then...",  and presumably one or two beginning
  18. "if Riemann's hypothesis is false then...." .
  19.  
  20. So what happens to these results of the "wrong" sort, when and if the 
  21. conditioning result is decided.  Do they suddenly become uninteresting ? Do
  22. they suddenly lose all their information content, or do they still retain
  23. some ?
  24.  
  25. ( Perhaps they should be solemnly excised from all copies ofjournals, like
  26. the Stalinesque instructions to encyclopaedia owners when a politician
  27. suddenly fell from favor...... ).
  28.  
  29. Well, it's a pretty vague question; but perhaps someone can think of a pretty
  30. vague but sensible answer ?
  31.  
  32. ------------------------------------------------------------------------------
  33.               Bill Taylor              wft@math.canterbury.ac.nz
  34. ------------------------------------------------------------------------------
  35.                    There's no future in living in the past. 
  36. ------------------------------------------------------------------------------
  37.