home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / math / 17933 < prev    next >
Encoding:
Internet Message Format  |  1993-01-10  |  1.5 KB
  1. Xref: sparky sci.math:17933 sci.philosophy.tech:4721
  2. Newsgroups: sci.math,sci.philosophy.tech
  3. Path: sparky!uunet!zaphod.mps.ohio-state.edu!howland.reston.ans.net!spool.mu.edu!news.cs.indiana.edu!noose.ecn.purdue.edu!mentor.cc.purdue.edu!hrubin
  4. From: hrubin@mentor.cc.purdue.edu (Herman Rubin)
  5. Subject: Re: Numbers and sets
  6. Message-ID: <C0nCwx.4KH@mentor.cc.purdue.edu>
  7. Organization: Purdue University Statistics Department
  8. References: <1992Dec23.175145.18528@guinness.idbsu.edu> <1992Dec27.035413.18857@husc3.harvard.edu> <1ioee8INN9sc@bang.hal.COM>
  9. Date: Sun, 10 Jan 1993 16:38:56 GMT
  10. Lines: 22
  11.  
  12. In article <1ioee8INN9sc@bang.hal.COM> landman@hal.COM (Howard Landman) writes:
  13. >>>>In article <1992Dec19.140927.18700@husc3.harvard.edu>,
  14. >>>>zeleny@husc10.harvard.edu (Michael Zeleny) writes:
  15.  
  16. >>MZ:
  17. >>>>>The Axioms of Foundation and Choice are analytically
  18. >>>>>true of sets;
  19.  
  20. >At the risk of appearing to agree with Bill Taylor ...
  21.  
  22. >How can anyone say this when it's been known for a couple of decades that
  23. >the Axiom of Choice is independent of the other axioms of set theory?
  24. >That is, you can assume it's true and get a consistent theory, but you
  25. >can also assume it's false and get a consistent theory.
  26.  
  27. It has been known for much longer that the Axiom of Foundation is likewise
  28. independent.  
  29. -- 
  30. Herman Rubin, Dept. of Statistics, Purdue Univ., West Lafayette IN47907-1399
  31. Phone: (317)494-6054
  32. hrubin@snap.stat.purdue.edu (Internet, bitnet)  
  33. {purdue,pur-ee}!snap.stat!hrubin(UUCP)
  34.