Content deleted Content added
→Definition: that bit doesn't mean anything. don't warrant the rest. |
the pic is of little releavance, and is incorrectly described |
||
Line 1:
In [[non-standard analysis]], the '''standard part function''' "st" is a mathematical implementation of [[Pierre de Fermat]]'s [[adequality]]. It is the key ingredient in [[Abraham Robinson]]'s formalisation of Leibniz's [[infinitesimal]] definition (see [[ghosts of departed quantities]]) of the derivative as the ratio of two infinitesimals
:<math>\frac{dy}{dx}</math>,
| |||