home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / math / 17120 < prev    next >
Encoding:
Text File  |  1992-12-18  |  1.7 KB  |  42 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!munnari.oz.au!news.hawaii.edu!tarski!ross
  3. From: ross@tarski.tmc.edu (David Ross)
  4. Subject: Re: nonstandard analysis
  5. Message-ID: <1992Dec17.220758.25679@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: <1992Dec8.220841.16147@athena.mit.edu> <ByvFuC.AIs@acsu.buffalo.edu> <1g3lfiINNcmf@usenet.INS.CWRU.Edu> <Bz0Lyp.Mu7.1@cs.cmu.edu> <ARA.92Dec15153446@camelot.ai.mit.edu>
  10. Date: Thu, 17 Dec 1992 22:07:58 GMT
  11. Lines: 29
  12.  
  13. In article <ARA.92Dec15153446@camelot.ai.mit.edu> ara@zurich.ai.mit.edu (Allan Adler) writes:
  14. >
  15. > I'm not entirely pleased that the
  16. >emphasis in recent postings seems to be on Nelson's foundations IST.
  17.  
  18. IST seems to be more easily accessible to people with no background
  19. in logic or logic-like mathematics.  I don't understand this myself, as
  20. IST is more syntactic in basis than is 'normal' nonstandard analysis.
  21.  
  22. >
  23. >I looked at Nelson's book in the Annals of Math studies and
  24. >I found that he didn't take enough care to maintain a
  25. >distinction between standard mathematical objects and nonstandard ones.
  26.  
  27. This is actually an important part of the ontology of work in IST; the
  28. idea is that there *is* no difference between standard and nonstandard
  29. entities, but rather a syntactic difference of what you can say about
  30. them.  My friends who work in the IST framework act surprised if you
  31. suggest that the 'real' reals *don't* contain infinitesimals.  I
  32. find this kind of strange, myself.
  33.  
  34.  
  35. - David
  36.  
  37.  
  38. --
  39. David Ross, Dept. of Math., Univ. of Hawaii at Manoa, Honolulu HI  96822
  40. Internet: ross@math.hawaii.edu  -or- ross@tarski.math.hawaii.edu
  41. Phone: 808-956-9949
  42.