News for hackers. Stuff that matters.
Re:Now I’m calculating with constructive reals by leephillips on Wednesday April 27, 2022 @12:23AM (#31176267)
I wouldn’t say nonstandard analysis is way more complicated. It replaces the use of limits with a different (hyperreal) number system. That makes some things look simpler.
Re:Now I’m calculating with constructive reals by hither_shores on Wednesday April 27, 2022 @03:00AM (#31177105)
Which is exactly why nonstandard analysis is way more complicated: the usual construction of the hyperreals involves some somewhat technical set theory, and even a relatively fast and loose version is going to require at least a first course in abstract algebra to be intelligible.