home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / physics / 12010 < prev    next >
Encoding:
Internet Message Format  |  1992-07-29  |  2.0 KB
  1. Path: sparky!uunet!gatech!rutgers!dziuxsolim.rutgers.edu!ruhets.rutgers.edu!bweiner
  2. From: bweiner@ruhets.rutgers.edu (Benjamin Weiner)
  3. Newsgroups: sci.physics
  4. Subject: Re: Unprovable true statements (was Structure of Time)
  5. Message-ID: <Jul.29.19.56.44.1992.22038@ruhets.rutgers.edu>
  6. Date: 29 Jul 92 23:56:45 GMT
  7. References: <1992Jul28.102429.1@tnclus.tele.nokia.fi> <76738@ut-emx.uucp> <1992Jul29.180144.19705@linus.mitre.org>
  8. Organization: Rutgers Univ., New Brunswick, N.J.
  9. Lines: 32
  10.  
  11. Dave Chaloux writes:
  12. >Yaron Sheffer writes:
  13. >>This one's easy: Truth is measureable in the lab, or observable in the
  14. >>Universe, and in any case should be consistent and causal with anything
  15. >>that we have ever observed/measured ...
  16. >
  17. >I was under the very definite impression that mathematicians have shown that
  18. >the number of true statements is a larger order of infinity than the number of
  19. >proofs and that therefore there are true statements that cannot be proved.
  20. >If I am wrong, I'm sure this will be pointed out 8), but if true this should
  21. >make one think twice about statements like the above.
  22.  
  23. If you're talking about incompleteness theorems, I'm not sure I would
  24. phrase it the way you did, but it is in general true that with a finite
  25. system of axioms there are statements which are true but cannot be
  26. proved (thus the axioms are incomplete, hence the name).  
  27.  
  28. However, Yaron said that all true things ought to be
  29. _consistent_ which is a far cry from being provable.  In fact a
  30. statement inconsistent with your axioms is generally regarded as
  31. "false"  (within that system of axioms that is).  There are not too
  32. many true statements which are false.  In any case, what Godel-
  33. theorems mean for something so logically lumpy as experimental
  34. science isn't very clear.
  35.  
  36. Personally I rather doubt that "Truth is measurable in the lab,"
  37. though, and have a little trouble with Truth-with-a-capital-T,
  38. but maybe that just shows that I was never cut out to work on
  39. quantum gravity.
  40.  
  41. Take with more salt then usual, I'm not a very good logician.
  42. Ben Weiner
  43.