Re: Re: Question about Replace
- To: mathgroup at smc.vnet.net
- Subject: [mg35780] Re: [mg35753] Re: Question about Replace
- From: <jpd at w-d.org>
- Date: Tue, 30 Jul 2002 07:22:43 -0400 (EDT)
- Sender: owner-wri-mathgroup at wolfram.com
> time, Abraham Robinson showed that ultimately that the intuition > behind the sort of thing that Leibnitz and others did was right and > could be completely formalized and turned into a very powerful tool. It > certainly would be nice to implement non-standard analysis in > Mathematica (perhaps someone has already done this?). Yes, that would be a nice way. However, I'm not aware of such a package, and Mathematica is so firmly rooted in standard complex analysis that I suspect this would be tricky. When I wrote "mindless algebra" I didn't mean Robinson's approach. When I see a package with NonStandardExpand[], and SameMonadQ[], I'll want to give it a spin... -- | John Doty "You can't confuse me, that's my job." | Home: jpd at w-d.org | Work: jpd at space.mit.edu