home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / math / 15460 < prev    next >
Encoding:
Internet Message Format  |  1992-11-24  |  2.0 KB
  1. Path: sparky!uunet!wupost!waikato.ac.nz!maj
  2. From: maj@waikato.ac.nz
  3. Newsgroups: sci.math
  4. Subject: Re: Counterfactuals.
  5. Message-ID: <1992Nov24.171907.12417@waikato.ac.nz>
  6. Date: 24 Nov 92 17:19:06 +1300
  7. References: <By7BIB.Jwt@cantua.canterbury.ac.nz>
  8. Organization: University of Waikato, Hamilton, New Zealand
  9. Lines: 35
  10.  
  11. In article <By7BIB.Jwt@cantua.canterbury.ac.nz>, wft@math.canterbury.ac.nz (Bill Taylor) writes:
  12. [stuff deleted]
  13. > 
  14. > So what happens to these results of the "wrong" sort, when and if the 
  15. > conditioning result is decided.  Do they suddenly become uninteresting ? Do
  16. > they suddenly lose all their information content, or do they still retain
  17. > some ?
  18. > 
  19. > ( Perhaps they should be solemnly excised from all copies ofjournals, like
  20. > the Stalinesque instructions to encyclopaedia owners when a politician
  21. > suddenly fell from favor...... ).
  22. > 
  23. > Well, it's a pretty vague question; but perhaps someone can think of a pretty
  24. > vague but sensible answer ?
  25. > 
  26. Not to answer you, but to add a [possibly related] question.
  27. I have often wondered about the possibility of a system of
  28. statements being inconsistent, but _almost consistent_ in
  29. the sense that the shortest proof of a contradiction is
  30. very, very, long. This might be vaguely related to a concept
  31. of the _value_ of a statement, being the average factor by
  32. which proofs of a set of key theorems are shortened when the
  33. statement is assumed.
  34.  
  35. > ------------------------------------------------------------------------------
  36. >               Bill Taylor              wft@math.canterbury.ac.nz
  37. > ------------------------------------------------------------------------------
  38. >                    There's no future in living in the past. 
  39. > ------------------------------------------------------------------------------
  40. -- 
  41. Murray A. Jorgensen [ maj@waikato.ac.nz ]    University of Waikato
  42. Department of Mathematics and Statistics     Hamilton, New Zealand      
  43. __________________________________________________________________
  44. 'Tis the song of the Jubjub! the proof is complete,
  45. if only I've stated it thrice.'
  46.