home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / math / 10183 < prev    next >
Encoding:
Internet Message Format  |  1992-08-12  |  1.6 KB
  1. Path: sparky!uunet!sun-barr!cs.utexas.edu!zaphod.mps.ohio-state.edu!uwm.edu!ogicse!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!DEBUBLY.SCANDAL.CS.CMU.EDU!sippy
  2. From: sippy+@CS.CMU.EDU (Jay Sipelstein)
  3. Newsgroups: sci.math
  4. Subject: Re: Expansion of set theory
  5. Message-ID: <1992Aug12.220157.12782@cs.cmu.edu>
  6. Date: 12 Aug 92 22:01:57 GMT
  7. Article-I.D.: cs.1992Aug12.220157.12782
  8. References: <1992Aug7.002122.24601@access.usask.ca> <1992Aug12.164408.10547@thunder.mcrcim.mcgill.edu>
  9. Reply-To: Jay.Sipelstein@cs.cmu.edu
  10. Organization: School of Computer Science
  11. Lines: 21
  12. Nntp-Posting-Host: debubly.scandal.cs.cmu.edu
  13.  
  14. In article <1992Aug12.164408.10547@thunder.mcrcim.mcgill.edu>, boshuck@triples.math.mcgill.ca (William Boshuck) writes:
  15. >
  16. >[...] there is a natural heuristic which
  17. >is probably how the axioms of set theory got there in the first
  18. >place. Namely, when things exploded after the Russell paradox, 
  19. >the idea to put things together was to begin with a more or
  20. >less concrete model of what was to become set theory and then
  21. >start writing down thigs which just had to be true of this model.
  22. >      [definition of V deleted]
  23. >One way to go beyond ZFC is to look at "axioms" which seem to say
  24. >that V contains very large sets, that is, we might be led to
  25. >believe that anything we do to "push up" the cumulative hierarchy
  26. >ought to be more or less harmless if it does not immediately
  27. >give rise to one of the classical paradoxes. 
  28.  
  29. There is an excellent non-technical description of this process in 
  30. Rudy Rucker's book Infinity and the Mind.  I'm generally not too
  31. impressed with "pop-math" books, but I was with this one.
  32.  
  33. Jay Sipelstein
  34. sipelstein@cs.cmu.edu
  35.