PEP0238 lament
Gareth McCaughan
Gareth.McCaughan at pobox.com
Mon Jul 23 16:15:34 EDT 2001
> Here is one that is easier to teach, if you just reverse the order
> of teaching calculus and first-order logic and basic set theory.
>
> A function is continuous at c if, when embedding the world of Reals
> into a saturated model (or, say, 2^{Beth_omega} saturated, if you
> don't want to get into subtle assumptions), for every infinitesimal x,
> f(c+x)-f(c) is an infintesimal.
Ahhhh, it's good to see another right-thinking person on c.l.py ...
Perhaps if Christian Tismer finds that Stackless is too easy he might
be persuaded to maintain Nonstandard Python. :-)
--
Gareth McCaughan Gareth.McCaughan at pobox.com
.sig under construc
More information about the Python-list
mailing list