3 ms·
A quick check on the author leads to https://en.wikipedia.org/wiki/Nicolas_Gisin https://en.wikipedia.org/wiki/Nicolas_Gisin. I think it's going to be rather sa
by davidgay 8y ago
A quick check on the author leads to https://en.wikipedia.org/wiki/Nicolas_Gisin 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.