home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / physics / 19145 < prev    next >
Encoding:
Text File  |  1992-11-18  |  1.3 KB  |  28 lines
  1. Newsgroups: sci.physics
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!news.sei.cmu.edu!firth
  3. From: firth@sei.cmu.edu (Robert Firth)
  4. Subject: Re: Lowneheim-Skolem theorem (was: Continuos vs. discrete models)
  5. Message-ID: <1992Nov18.133219.6664@sei.cmu.edu>
  6. Organization: Software Engineering Institute
  7. References: <1992Nov17.124233.24312@oracorp.com>
  8. Date: Wed, 18 Nov 1992 13:32:19 GMT
  9. Lines: 17
  10.  
  11. In article <1992Nov17.124233.24312@oracorp.com> daryl@oracorp.com (Daryl McCullough) writes:
  12.  
  13. >LS doesn't demand that we adopt Paul Budnik's discretized physics, but
  14. >I believe it gives us permission to do so. LS shows that there can
  15. >never be a demonstration that space-time must be continuous, because
  16. >there is no property of an uncountable set that doesn't also hold of
  17. >some countable set.
  18.  
  19. Necessary, but not, I fear, sufficient.  If you are to replace the
  20. continuum with a *single* discrete manifold, then you must show that,
  21. for any uncountable set with certain properties, there exists a
  22. *single* countable set with all the same properties.
  23.  
  24. I freely grant that we still have trouble defining a single continuous
  25. manifold that accommodates all our favourite theories (like GR and QM),
  26. but I can't see how dropping the assumption of continuity will make
  27. this problem any easier to solve.
  28.