home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / physics / 19445 < prev    next >
Encoding:
Internet Message Format  |  1992-11-22  |  1.6 KB
  1. Path: sparky!uunet!olivea!charnel!sifon!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!galois!riesz!jbaez
  2. From: jbaez@riesz.mit.edu (John C. Baez)
  3. Newsgroups: sci.physics
  4. Subject: Re: Lowneheim-Skolem theorem (was: Continuos vs. discrete models)
  5. Message-ID: <1992Nov23.014417.14551@galois.mit.edu>
  6. Date: 23 Nov 92 01:44:17 GMT
  7. References: <1992Nov17.124233.24312@oracorp.com> <1992Nov20.220424.22979@galois.mit.edu> <TORKEL.92Nov21091802@bast.sics.se>
  8. Sender: news@galois.mit.edu
  9. Organization: MIT Department of Mathematics, Cambridge, MA
  10. Lines: 27
  11. Nntp-Posting-Host: riesz
  12.  
  13. In article <TORKEL.92Nov21091802@bast.sics.se> torkel@sics.se (Torkel Franzen) writes:
  14. >In article <1992Nov20.220424.22979@galois.mit.edu> jbaez@riesz.mit.edu
  15. > (John C. Baez) writes:
  16. >
  17. >   >I object.  Lowenheim-Skolem says there are countable models of the
  18. >   >reals; you can go ahead and use these if you like, and I will not
  19. >   >object, since this does not affect what *theorems* you can prove about
  20. >   >the real numbers.
  21. >
  22. >  I'm pleased to find that the physics of the real numbers is recognized
  23. >as proper physics these days.
  24.  
  25. What do you mean by the "physics of the real numbers".
  26.  
  27. >But what do you mean by a "model of the
  28. >reals"?
  29.  
  30. I mean a model of some set of axioms for the reals.  
  31.  
  32. >This doesn't mean anything in standard terminology. Also, what do you mean
  33. >by "using" a countable model (of whatever unspecified theory you have in
  34. >mind)?
  35.  
  36. I didn't mean anything in particular by "using".  
  37. My whole point was that you can go do whatever the heck you please with
  38. models of an axiom system but that it will not affect what theorems can
  39. be proved in the axiom system.  
  40.