[Date Index] [Thread Index] [Author Index]

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