True, though the decision of who is most cost-effective does remain for you to decide.
Smaug123
Karma: 205
Giving What We Can pledge campaign 2015
It’s more of a tactic to make sure people don’t think “hey, another crackpot organisation” if they haven’t already heard about them. I’m hoping to raise GWWC to the level of “worth investigating for myself” in this post.
Giving What We Can—New Year drive
I do something similar. I consistently massively underestimate the inferential gaps when I’m talking about these things, and end up spending half an hour talking about tangential stuff the Sequences explain better and faster.
I’d frame it as “Nick Bostrom needs Jeeves. Are you Jeeves?” (After P.G. Wodehouse’s Jeeves and Wooster.)
On introductory non-standard analysis, Goldblatt’s “Lectures on the hyperreals” from the Graduate Texts in Mathematics series. Goldblatt introduces the hyperreals using an ultrapower, then explores analysis and some rather complicated applications like Lebesgue measure.
Goldblatt is preferred to Robinson’s “Non-standard analysis”, which is highly in-depth about the specific logical constructions; Goldblatt doesn’t waste too much time on that, but constructs a model, proves some stuff in it, then generalises quite early. Also preferred to Hurd and Loeb’s “An introduction to non-standard real analysis”, which I somehow just couldn’t really get into. Its treatment of measure theory, for instance, is just much more difficult to understand than Goldblatt’s.