[Edu-sig] Re: PEP0238 lament

[Gareth McCaughan]

> 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@pobox.com
.sig under construc