home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / physics / 18833 < prev    next >
Encoding:
Text File  |  1992-11-14  |  1.8 KB  |  51 lines
  1. Newsgroups: sci.physics
  2. Path: sparky!uunet!snorkelwacker.mit.edu!ira.uka.de!uni-heidelberg!kalliope!gsmith
  3. From: gsmith@kalliope.iwr.uni-heidelberg.de (Gene W. Smith)
  4. Subject: Re: Continuos vs. discrete models Was: The size of electrons, ...
  5. Message-ID: <1992Nov13.194334.20447@sun0.urz.uni-heidelberg.de>
  6. Sender: news@sun0.urz.uni-heidelberg.de (NetNews)
  7. Organization: IWR, University of Heidelberg, Germany
  8. References: <1992Nov7.214329.24552@galois.mit.edu> <1992Nov10.173302.27756@sun0.urz.uni-heidelberg.de> <344@mtnmath.UUCP>
  9. Date: Fri, 13 Nov 92 19:43:34 GMT
  10. Lines: 39
  11.  
  12. In article <344@mtnmath.UUCP> paul@mtnmath.UUCP (Paul Budnik) writes:
  13.  
  14. >This is the question. Continuous models are the simplest to work with
  15. >mathematically, but are the simplest possibility as models of physical
  16. >reality? I do not think so.
  17.  
  18. It isn't clear to me that any such distinction can be made.
  19.  
  20. >There is good reason to suspect that no completed infinite totalities
  21. >exist.
  22.  
  23. I know of none.  Name some.
  24.  
  25.  The continuum that appears in formal mathematical systems is different
  26. >then what mathematicians mean by `the continuum'. The latter is a speculative
  27. >philosophical idea that cannot be formalized mathematically.
  28.  
  29. If it is a speculative philosophical idea, it isn't mathematics.  This
  30. sounds like gibberish.
  31.  
  32. >For example the real numbers definable in any consistent formal system
  33. >are countable.
  34.  
  35. Completely false, and downright silly to boot.
  36.  
  37. I presume you meant something like there are countable models of
  38. the first order theory or something like that.
  39.  
  40. >particular formal system. 
  41.  
  42. >Whether *all real numbers* exists or this phrase has any mathematical
  43. >meaning is itself a speculative philosophical question.
  44.  
  45. In a word, bunk.
  46.  
  47.  
  48. -- 
  49.      Gene Ward Smith/Brahms Gang/IWR/Ruprecht-Karls University 
  50.                gsmith@kalliope.iwr.uni-heidelberg.de
  51.