Comment on What are the 'real numbers', really?parentComments−jonsterling12yThe article actually does discuss Robinson's non-standard analysis, but it's a shame it does not deal with smooth infinitesimal analysis and intuitionism.
Comments
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.