3 ms·
By the way, the computation involving nonstandard reals is correct (to the best of my ten-year-old memory of studying this stuff). As usual, I will recommend Go
by Smaug123 2y ago
By the way, the computation involving nonstandard reals is correct (to the best of my ten-year-old memory of studying this stuff). As usual, I will recommend Goldblatt's _Lectures on the Hyperreals_ for an intro to how it all works, and Pétry's "Analyse Infinitésimale: une présentation non standard" for an undergraduate first course in analysis expressed through nonstandard analysis.
- Ericson2314 2y agoThanks. I actually now think it was a bit incomplete or even wrong 3 hours ago when you wrote that :), but then I thought a bit harder, read a bit more (other Wikipedia and https://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers/Davis.pdf https://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers...) and then fixed it. I think it should be good now.