News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.