home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / physics / 14596 < prev    next >
Encoding:
Internet Message Format  |  1992-09-13  |  2.1 KB
  1. Xref: sparky sci.physics:14596 sci.math:11371
  2. Newsgroups: sci.physics,sci.math
  3. Path: sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!pratt
  4. From: pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt)
  5. Subject: Re: Report on Philosophies of Physicists
  6. Message-ID: <1992Sep13.234115.27540@CSD-NewsHost.Stanford.EDU>
  7. Sender: news@CSD-NewsHost.Stanford.EDU
  8. Organization: Computer Science Department,  Stanford University.
  9. References: <TORKEL.92Sep12080037@bast.sics.se> <1992Sep13.045114.17931@CSD-NewsHost.Stanford.EDU> <1992Sep13.220940.4850@infodev.cam.ac.uk>
  10. Date: Sun, 13 Sep 1992 23:41:15 GMT
  11. Lines: 26
  12.  
  13. In article <1992Sep13.220940.4850@infodev.cam.ac.uk> gjm11@cus.cam.ac.uk (G.J. McCaughan) writes:
  14. >In article <1992Sep13.045114.17931@CSD-NewsHost.Stanford.EDU> pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
  15. >
  16. >>was impressive given Koenig's very high reputation.)  A month later
  17. >>Zermelo was able to prove Cantor's continuum hypothesis assuming the
  18. >>Axiom of Choice, but despite the further uproar Zermelo's result
  19. >>produced, the eventual upshot was more to call AC into question than to
  20. >>resolve the continuum hypothesis.
  21. >
  22. >Are you sure about this? I mean, you don't say his proof was wrong or
  23. >anything, but I'm completely certain that not(CH) is consistent with AC.
  24. >In fact I can prove it. So errrm, do you mean that Zermelo was able to
  25. >think (wrongly) that he had proved CH using AC? or are we talking about
  26. >a radically different set theory to the one I'm thinking of? or what?
  27.  
  28. Sorry about that.  When you put a monkey at the keyboard you're more
  29. likely to get Usenet messages than Shakespeare.  Replace the last two
  30. instances of "continuum hypothesis" in my paragraph by "every set is
  31. well-ordered" (which later was shown to be equivalent to AC, leaving AC
  32. as the preferred representative of this and a number of other
  33. equivalent statements).
  34.  
  35. -- 
  36. ======================================================| God found the positive
  37. Vaughan Pratt   pratt@cs.Stanford.EDU   415-494-2545  | integers, zero was
  38. ======================================================| there when He arrived.
  39.