[jonsterling]

The article actually does discuss Robinson's non-standard analysis, but it's a shame it does not deal with smooth infinitesimal analysis and intuitionism.