News for hackers. Stuff that matters.
Re:Elementary Calculus: An Infinitesimal Approach (2000) by andi999 on Thursday June 03, 2021 @12:34PM (#27383801)
Very cool, thank you. Do you know what happens to measure theory in the hyperreals? Or integration in general?
Re:Elementary Calculus: An Infinitesimal Approach (2000) by Smaug123 on Thursday June 03, 2021 @03:47PM (#27386379)
I don't know much about it, I'm afraid. But there is the very cool fact that the usual Riemann integral can be written as basically just a sum in nonstandard analysis; it's covered very neatly in André Pétry, "Analyse Infinit́esimale: une présentation non standard" which is very readable. There's a lot more advanced stuff, including Brownian motion and (I think) some integration, in Hurd and Loeb, "An Introduction to Nonstandard Real Analysis".

For the foundations of nonstandard analysis, and a wide-ranging overview, I strongly recommend Robert Goldblatt, "Lectures on the Hyperreals: an Introduction to Nonstandard Analysis", one of the Graduate Texts in Mathematics.

Re:Elementary Calculus: An Infinitesimal Approach (2000) by ska on Thursday June 03, 2021 @05:56PM (#27387896)
I'm rusty, but did think about this a bit at one point. I recall you can't really do the usual constructions on hyperreals (problems with completeness?) but you can do something like approximate any real-valued measure closely.