home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2150 < prev    next >
Encoding:
Text File  |  1992-11-22  |  1.1 KB  |  25 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 22 Nov 92 18:23:51 GMT
  6. Message-ID: <TORKEL.92Nov22231254@bast.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <1992Nov17.124233.24312@oracorp.com> <TORKEL.92Nov22115549@echnaton.sics.se>
  10.     <371@mtnmath.UUCP>
  11. Date: Sun, 22 Nov 1992 22:12:54 GMT
  12. Lines: 11
  13.  
  14. In article <371@mtnmath.UUCP> paul@mtnmath.UUCP (Paul Budnik) writes:
  15.  
  16.  >I disagree that most people who use this concept do not need to know or care
  17.  >about formal systems. It may be a pragmatic reality given the way mathematics
  18.  >functions today. I do not think it makes for good mathematics in the long
  19.  >run.
  20.  
  21.   The "pragmatic reality" of present day mathematics is what my comments
  22. have been about. The mathematics you envisage, which is pretty opaque
  23. to me, may or may not be viable. By all means develop and present it.
  24. I see no point in arguing about hypothetical mathematics.
  25.