home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / math / 16766 < prev    next >
Encoding:
Internet Message Format  |  1992-12-12  |  1.5 KB
  1. Path: sparky!uunet!cs.utexas.edu!sun-barr!olivea!spool.mu.edu!news.nd.edu!mentor.cc.purdue.edu!hrubin
  2. From: hrubin@mentor.cc.purdue.edu (Herman Rubin)
  3. Newsgroups: sci.math
  4. Subject: Re: nonstandard analysis
  5. Message-ID: <Bz5F04.5p3@mentor.cc.purdue.edu>
  6. Date: 12 Dec 92 13:33:39 GMT
  7. References: <1992Dec6.025006.16915@athena.mit.edu> <24210@galaxy.ucr.edu> <1992Dec11.234035.1668@news.Hawaii.Edu>
  8. Organization: Purdue University Statistics Department
  9. Lines: 21
  10.  
  11. In article <1992Dec11.234035.1668@news.Hawaii.Edu> ross@tarski.tmc.edu (David Ross) writes:
  12. >In article <24210@galaxy.ucr.edu> baez@guitar.ucr.edu (john baez) writes:
  13.  
  14. >>By now, so much has been done standardly that the advantages of nonstandard
  15. >>analysis, if any, are not enough to make many mathematicians want to retool
  16. >>and go nonstandard.
  17.  
  18. >There are many results in analysis, especially probability theory, for which
  19. >the only known proofs use nonstandard analysis.  
  20.  
  21. This is at best illusory.  Nonstandard analysis is useful in finding theorems
  22. and simplifying arguments, but with caveats involved in interpretation.
  23.  
  24. However, since any nonstandard proof of a standard theorem can be mechanically
  25. translated into a standard proof, at most one can say that the standard proofs
  26. have not been written, not that only a nonstandard proof is known.
  27. -- 
  28. Herman Rubin, Dept. of Statistics, Purdue Univ., West Lafayette IN47907-1399
  29. Phone: (317)494-6054
  30. hrubin@snap.stat.purdue.edu (Internet, bitnet)  
  31. {purdue,pur-ee}!snap.stat!hrubin(UUCP)
  32.