home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / physics / 19132 < prev    next >
Encoding:
Text File  |  1992-11-18  |  939 b   |  25 lines
  1. Newsgroups: sci.physics
  2. Path: sparky!uunet!usc!rpi!scott.skidmore.edu!psinntp!psinntp!scylla!daryl
  3. From: daryl@oracorp.com (Daryl McCullough)
  4. Subject: Re: Lowneheim-Skolem theorem (was: Continuos vs. discrete models)
  5. Message-ID: <1992Nov17.124233.24312@oracorp.com>
  6. Organization: ORA Corporation
  7. Date: Tue, 17 Nov 1992 12:42:33 GMT
  8. Lines: 15
  9.  
  10. columbus@strident.think.com (Michael Weiss) writes:
  11.  
  12. >In short: there may be good reasons for radically changing the foundations
  13. >of physics (and there may not-- pace, defenders of the status quo(ntum)!),
  14. >but the Loewenheim-Skolem theorem is not one of them.
  15.  
  16. LS doesn't demand that we adopt Paul Budnik's discretized physics, but
  17. I believe it gives us permission to do so. 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. Daryl McCullough
  23. ORA Corp.
  24. Ithaca, NY
  25.