News for hackers. Stuff that matters.
Re:Are real numbers really real? by tgb on Tuesday June 12, 2018 @04:04PM (#17297465)
I think you misread my comment which was not at all commenting on Chaitin! I was commenting on the article by Gisin, the one this thread is on.

There are no comments on this comment yet.