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.
[ Parent
| on HN ]
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.