home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / physics / 19136 < prev    next >
Encoding:
Text File  |  1992-11-18  |  1.1 KB  |  25 lines
  1. Newsgroups: sci.physics
  2. Path: sparky!uunet!sun-barr!cs.utexas.edu!zaphod.mps.ohio-state.edu!sdd.hp.com!spool.mu.edu!darwin.sura.net!Sirius.dfn.de!mailgzrz.TU-Berlin.DE!news.netmbx.de!Germany.EU.net!mcsun!sunic!sics.se!torkel
  3. From: torkel@sics.se (Torkel Franzen)
  4. Subject: Re: Lowneheim-Skolem theorem (was: Continuos vs. discrete models)
  5. In-Reply-To: daryl@oracorp.com's message of Tue, 17 Nov 1992 12:42:33 GMT
  6. Message-ID: <TORKEL.92Nov18114047@isis.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <1992Nov17.124233.24312@oracorp.com>
  10. Date: Wed, 18 Nov 1992 10:40:47 GMT
  11. Lines: 12
  12.  
  13. In article <1992Nov17.124233.24312@oracorp.com> daryl@oracorp.com 
  14. (Daryl McCullough) writes:
  15.  
  16.  
  17.    >LS shows that there can
  18.    >never be a demonstration that space-time must be continuous, because
  19.    >there is no property of an uncountable set that doesn't also hold of
  20.    >some countable set.
  21.  
  22.   Here is a counterexample to your assertion: an uncountable set has
  23. the property of being uncountable, whereas no countable set has this
  24. property.
  25.