home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2106 < prev    next >
Encoding:
Text File  |  1992-11-19  |  1.1 KB  |  26 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 19 Nov 92 17:53:54 GMT
  6. Message-ID: <TORKEL.92Nov19201017@lludd.sics.se>
  7. Followup-To: sci.logic
  8. Sender: news@sics.se
  9. Organization: Swedish Institute of Computer Science, Kista
  10. References: <1992Nov17.124233.24312@oracorp.com> <TORKEL.92Nov18193457@bast.sics.se>
  11.     <363@mtnmath.UUCP>
  12. Date: Thu, 19 Nov 1992 19:10:17 GMT
  13. Lines: 11
  14.  
  15. In article <363@mtnmath.UUCP> paul@mtnmath.UUCP (Paul Budnik) writes:
  16.  
  17.    >I think we can learn a lot more
  18.    >about the notion of a real number from such research than we can
  19.    >from proving theorems related to the continuum hypothesis.
  20.  
  21.   I have no objection to your inventing whatever mathematics you are
  22. capable of, on the basis of any ideas whatever. My negative comments
  23. are directed only at the notion that results in logic "show" that second
  24. order non-finitary concepts are not well-defined, or that we can do
  25. without them.
  26.