home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / physics / 19164 < prev    next >
Encoding:
Text File  |  1992-11-18  |  924 b   |  22 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: paul@mtnmath.UUCP's message of 18 Nov 92 15:34:47 GMT
  6. Message-ID: <TORKEL.92Nov18193457@bast.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <1992Nov17.124233.24312@oracorp.com> <TORKEL.92Nov18114047@isis.sics.se>
  10.     <361@mtnmath.UUCP>
  11. Date: Wed, 18 Nov 1992 18:34:57 GMT
  12. Lines: 8
  13.  
  14. In article <361@mtnmath.UUCP> paul@mtnmath.UUCP (Paul Budnik) writes:
  15.  
  16.   >This would be a valid argument if uncountable had an absolute definition.
  17.   >I think uncountable is only meaningful relative to some formal system.
  18.  
  19.   Yes. However, this is a peculiar philosophical dogma which on the face of
  20. it has nothing to recommend it, and in particular, has nothing to do with
  21. ordinary mathematics.
  22.