home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / 18603 < prev    next >
Encoding:
Internet Message Format  |  1993-01-21  |  953 b 
  1. Path: sparky!uunet!spool.mu.edu!enterpoop.mit.edu!eru.mt.luth.se!lunic!sunic!sics.se!torkel
  2. From: torkel@sics.se (Torkel Franzen)
  3. Newsgroups: sci.math
  4. Subject: Re: Non-Standard Analysis and philosophy
  5. Message-ID: <TORKEL.93Jan21223508@bast.sics.se>
  6. Date: 21 Jan 93 21:35:08 GMT
  7. References: <1993Jan21.180359.21766@ulrik.uio.no> <TORKEL.93Jan21204806@bast.sics.se>
  8.     <1993Jan21.203027.27202@ulrik.uio.no>
  9. Sender: news@sics.se
  10. Organization: Swedish Institute of Computer Science, Kista
  11. Lines: 9
  12. In-Reply-To: solan@smaug.uio.no's message of Thu, 21 Jan 1993 20:30:27 GMT
  13.  
  14. In article <1993Jan21.203027.27202@ulrik.uio.no> solan@smaug.uio.no 
  15. (Svein Olav G. Nyberg) writes:
  16.  
  17.    >Surely finitist mathematicians will not
  18.    >allow for infinitely large integers.
  19.  
  20.   Your question then was not about the possibility of the existing
  21. field of non-standard analysis, but whether a version of non-standard
  22. analysis has been developed within constructive mathematics.
  23.