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