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