home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / physics / 19470 < prev    next >
Encoding:
Text File  |  1992-11-22  |  1.2 KB  |  32 lines
  1. Newsgroups: sci.physics
  2. Path: sparky!uunet!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: jbaez@riesz.mit.edu's message of 23 Nov 92 01:44:17 GMT
  6. Message-ID: <TORKEL.92Nov23095625@isis.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <1992Nov17.124233.24312@oracorp.com> <1992Nov20.220424.22979@galois.mit.edu>
  10.     <TORKEL.92Nov21091802@bast.sics.se>
  11.     <1992Nov23.014417.14551@galois.mit.edu>
  12. Date: Mon, 23 Nov 1992 08:56:25 GMT
  13. Lines: 17
  14.  
  15. In article <1992Nov23.014417.14551@galois.mit.edu> jbaez@riesz.mit.edu 
  16. (John C. Baez) writes:
  17.  
  18.    >What do you mean by the "physics of the real numbers".
  19.  
  20.   Nothing in particular. I merely assumed that articles in sci.physics about
  21. the real numbers deals with the physics of the real numbers.
  22.  
  23.    >I didn't mean anything in particular by "using".
  24.  
  25.   Right.
  26.   
  27.    >My whole point was that you can go do whatever the heck you please with
  28.    >models of an axiom system but that it will not affect what theorems can
  29.    >be proved in the axiom system.  
  30.  
  31.   I submit that this doesn't mean anything in particular either.
  32.