Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Are real numbers really real?. Parent comment
https://arxiv.org/abs/math/0405454 - The Eudoxus Real Numbers
https://ncatlab.org/nlab/show/Eudoxus+real+number
https://en.wikipedia.org/wiki/Construction_of_the_real_numbe...
(Surprisingly enough, ncat & Wikipedia complement each other here in their explanations of it.)
There are no comments on this comment yet.
https://arxiv.org/abs/math/0405454 - The Eudoxus Real Numbers
https://ncatlab.org/nlab/show/Eudoxus+real+number
https://en.wikipedia.org/wiki/Construction_of_the_real_numbe...
(Surprisingly enough, ncat & Wikipedia complement each other here in their explanations of it.)