home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / physics / 14462 < prev    next >
Encoding:
Internet Message Format  |  1992-09-10  |  1.8 KB
  1. Xref: sparky sci.physics:14462 sci.math:11254
  2. Newsgroups: sci.physics,sci.math
  3. Path: sparky!uunet!mcsun!sunic!sics.se!torkel
  4. From: torkel@sics.se (Torkel Franzen)
  5. Subject: Re: Report on Philosophies of Physicists
  6. In-Reply-To: pratt@Sunburn.Stanford.EDU's message of Thu, 10 Sep 1992 20:50:22 GMT
  7. Message-ID: <TORKEL.92Sep11100055@isis.sics.se>
  8. Sender: news@sics.se
  9. Organization: Swedish Institute of Computer Science, Kista
  10. References: <22218@galaxy.ucr.edu> <1992Sep10.034627.3965@CSD-NewsHost.Stanford.EDU>
  11.     <1992Sep10.132003.15495@sei.cmu.edu>
  12.     <1992Sep10.205022.15408@CSD-NewsHost.Stanford.EDU>
  13. Date: Fri, 11 Sep 1992 09:00:55 GMT
  14. Lines: 24
  15.  
  16. In article <1992Sep10.205022.15408@CSD-NewsHost.Stanford.EDU> pratt@Sunburn.
  17. Stanford.EDU (Vaughan R. Pratt) writes:
  18.  
  19.    >Cantor's theory the way physicists would, but rather the result of the
  20.    >mathematical community finding that Cantor's theory provided an
  21.    >attractive and workable foundation for mathematics.
  22.  
  23.   This is not historically accurate. Set theory caught on chiefly
  24. because of its role in the creation and development of such subjects
  25. as point set topology (which Poincare considered a "disease") and
  26. measure theory. And, of course, the simple but striking applications
  27. of the basic ideas such as the uncountability of the set of
  28. transcendental numbers.  The idea of set theory as a foundation for
  29. mathematics came much later.
  30.  
  31.    >You can take either it or its negation as an
  32.    >axiom, either one when added to the axioms of ZFC yields a consistent
  33.    >foundations for mathematics.
  34.  
  35.   What do you mean, "yields a consistent foundation for mathematics"?
  36. What you say applies equally to the statement "ZFC is consistent". Are
  37. you saying that adding either this statement or its negation to
  38. ZFC yields a consistent foundation for mathematics, and if so, what
  39. is this supposed to mean?
  40.