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

_______________________________________________
Edu-sig mailing list
Edu-sig@[...].org
http://mail.python.org/mailman/listinfo/edu-sig