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.
[ Parent
| on HN ]
There are no comments on this comment yet.