News for hackers. Stuff that matters.
Re:Are real numbers really real? by davidgay on Tuesday June 12, 2018 @11:08AM (#17293939)
A quick check on the author leads to https://en.wikipedia.org/wiki/Nicolas_Gisin. I think it's going to be rather safe to conclude that this author is well-aware of the difference between the computable and non-computable parts of R.

There are no comments on this comment yet.