home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / 18597 < prev    next >
Encoding:
Internet Message Format  |  1993-01-21  |  1.4 KB
  1. Path: sparky!uunet!spool.mu.edu!enterpoop.mit.edu!eru.mt.luth.se!lunic!sunic!aun.uninett.no!nuug!nntp.uio.no!smaug!solan
  2. From: solan@smaug.uio.no (Svein Olav G. Nyberg)
  3. Newsgroups: sci.math
  4. Subject: Re: Non-Standard Analysis and philosophy
  5. Message-ID: <1993Jan21.203027.27202@ulrik.uio.no>
  6. Date: 21 Jan 93 20:30:27 GMT
  7. References: <1993Jan21.180359.21766@ulrik.uio.no> <TORKEL.93Jan21204806@bast.sics.se>
  8. Sender: news@ulrik.uio.no (Mr News)
  9. Reply-To: solan@smaug.uio.no (Svein Olav G. Nyberg)
  10. Organization: University of Oslo, Norway
  11. Lines: 22
  12. Nntp-Posting-Host: smaug.uio.no
  13.  
  14. In article <TORKEL.93Jan21204806@bast.sics.se>, torkel@sics.se (Torkel
  15. Franzen) writes:
  16. |> In article <1993Jan21.180359.21766@ulrik.uio.no> solan@smaug.uio.no 
  17. |> (Svein Olav G. Nyberg) writes:
  18. |> 
  19. |>    >Under which philosophies of mathematics is non-standard
  20. |>    >analysis possible, and to what extent?
  21. |> 
  22. |>   Your question makes no apparent sense. Non-standard analysis is simply a
  23. |> field of mathematics that exists, hence is possible.
  24.  
  25. I am serious, Torkel. Surely finitist mathematicians will not
  26. allow for infinitely large integers. And rumors have it that
  27. Martin-Lof's attempts to fit non-standard analysis into the
  28. Constructive Mathematics programme (mathematics as possible
  29. under a certain philosophy of mathematics) yields a weaker sort
  30. of non-standard analysis than the standard non-standard analysis.
  31.  
  32. My question stands.
  33.  
  34.  
  35. Solan
  36.