home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / math / 16740 < prev    next >
Encoding:
Text File  |  1992-12-11  |  1.4 KB  |  38 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!europa.asd.contel.com!howland.reston.ans.net!wupost!cs.utexas.edu!sun-barr!ames!news.hawaii.edu!tarski!ross
  3. From: ross@tarski.tmc.edu (David Ross)
  4. Subject: Re: nonstandard analysis
  5. Message-ID: <1992Dec11.234035.1668@news.Hawaii.Edu>
  6. Sender: root@news.Hawaii.Edu (News Service)
  7. Nntp-Posting-Host: tarski.math.hawaii.edu
  8. Organization: University of Hawaii Mathematics Department
  9. References: <1992Dec6.025006.16915@athena.mit.edu> <24210@galaxy.ucr.edu>
  10. Date: Fri, 11 Dec 1992 23:40:35 GMT
  11. Lines: 25
  12.  
  13. In article <24210@galaxy.ucr.edu> baez@guitar.ucr.edu (john baez) writes:
  14.  
  15. >By now, so much has been done standardly that the advantages of nonstandard
  16. >analysis, if any, are not enough to make many mathematicians want to retool
  17. >and go nonstandard.
  18.  
  19. There are many results in analysis, especially probability theory, for which
  20. the only known proofs use nonstandard analysis.  
  21.  
  22. >Are there are any speedup theorems about nonstandard analysis?  E.g.,
  23. >I'm sure there must be standard proofs that can be shortened by an
  24. >arbitrarily large factor using nonstandard analysis, but has this
  25. >been shown?
  26.  
  27. Henson and Keisler, 'The strength of nonstandard analysis', J. Symbolic Logic,
  28. 1986.  Also, Henson, Kaufmann, and Keisler, JSL, 1985.
  29.  
  30. - David
  31.  
  32.  
  33.  
  34. --
  35. David Ross, Dept. of Math., Univ. of Hawaii at Manoa, Honolulu HI  96822
  36. Internet: ross@math.hawaii.edu  -or- ross@tarski.math.hawaii.edu
  37. Phone: 808-956-9949
  38.