News for hackers. Stuff that matters.

A comment on Are real numbers really real?. Parent comment

Re:Are real numbers really real? by OskarS on Tuesday June 12, 2018 @10:32AM (#17293581)
I guess I'm saying: such a basic mistake in terminology in the abstract doesn't bode well for the soundness of the paper in general. Being able to properly tell apart the terms "real number" and "non-computable number" is a fairly basic qualification.
[ Parent | on HN ]
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 ]
Re:Are real numbers really real? by gowld on Tuesday June 12, 2018 @05:16PM (#17298090)
It's not a "qualification", it's just some using a slightly different set of definitions for convenience. Anyone "qualified" to read the paper understands the meaning.
[ Parent | on HN ]