home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2125 < prev    next >
Encoding:
Text File  |  1992-11-20  |  1.1 KB  |  24 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!mcsun!sunic!sics.se!torkel
  3. From: torkel@sics.se (Torkel Franzen)
  4. Subject: Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
  5. In-Reply-To: paul@mtnmath.UUCP's message of 20 Nov 92 16:40:54 GMT
  6. Message-ID: <TORKEL.92Nov20160605@lludd.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <1992Nov17.124233.24312@oracorp.com> <TORKEL.92Nov19201017@lludd.sics.se>
  10.     <365@mtnmath.UUCP>
  11. Date: Fri, 20 Nov 1992 15:06:05 GMT
  12. Lines: 10
  13.  
  14. In article <365@mtnmath.UUCP> paul@mtnmath.UUCP (Paul Budnik) writes:
  15.  
  16. >This is an important and useful concept. Does this mean that we must accept
  17. >that the set of all reals as a completed infinite totality? I do not think so.
  18.  
  19.   You don't have to accept anything. You are free to develop whatever
  20. mathematics you like and put it forward for general consideration. What
  21. I am objecting to is only the idea that e.g. the distinction between
  22. countable and uncountable sets can be seen to be a "relative" one in
  23. the light of results in logic.
  24.