Yet, the biggest effect I think this will have is pedadogical. I’ve always found the definition of a limit kind of unintuitive, and it was specifically invented to add post hoc coherence to calculus after it had been invented and used widely. I suspect that formulating calculus via infinitesimals in introductory calculus classes would go a long way to making it more intuitive.
Uhm, hyperreals really look like packaged limits, I don’t expect understanding them is easier than understanding limits.
Uhm, hyperreals really look like packaged limits, I don’t expect understanding them is easier than understanding limits.