home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / 18626 < prev    next >
Encoding:
Internet Message Format  |  1993-01-21  |  1.3 KB
  1. Path: sparky!uunet!elroy.jpl.nasa.gov!nntp-server.caltech.edu!allenk
  2. From: allenk@ugcs.caltech.edu (Allen Knutson)
  3. Newsgroups: sci.math
  4. Subject: Re: Non-Standard Analysis and philosophy
  5. Date: 22 Jan 1993 03:07:36 GMT
  6. Organization: California Institute of Technology, Pasadena
  7. Lines: 17
  8. Message-ID: <1jnodoINNmkj@gap.caltech.edu>
  9. References: <1993Jan21.180359.21766@ulrik.uio.no> <TORKEL.93Jan21204806@bast.sics.se> <1993Jan21.203027.27202@ulrik.uio.no>
  10. NNTP-Posting-Host: torment.ugcs.caltech.edu
  11.  
  12. solan@smaug.uio.no (Svein Olav G. Nyberg) argues with Torkel Franzen:
  13.  
  14. >|>    >Under which philosophies of mathematics is non-standard
  15. >|>    >analysis possible, and to what extent?
  16. >|>   Your question makes no apparent sense. Non-standard analysis is simply a
  17. >|> field of mathematics that exists, hence is possible.
  18. >I am serious, Torkel. Surely finitist mathematicians will not
  19. >allow for infinitely large integers. 
  20.  
  21. In Robert's _Nonstandard Analysis_, he makes heavy use of *illimited*,
  22. but *finite*, integers. I forget what illimited means, but finite has
  23. the usual meaning - an endo-injection is a surjection.
  24.  
  25. To the other people responding to this thread: don't you need some large 
  26. cardinal axiom to prove the kosherness of nonstandard analysis?    I could
  27. be misremembering.                        Allen K.
  28.  
  29.