News for hackers. Stuff that matters.
Re:Are real numbers really real? by owl57 on Tuesday June 12, 2018 @01:08PM (#17295356)
Nitpick: non-random numbers are rare (this word is usually formalized as "the set of all non-random numbers has measure zero"), but still uncountable. The set of computable sequences is countable, but it is only a tiny subset of non-random sequences. For example, 0.0x₁0x₂… is non-random (= partially predictable) for any sequence x₁x₂…, and this set is obviously non-countable.
Re:Are real numbers really real? by gowld on Tuesday June 12, 2018 @05:11PM (#17298037)
I think sets like 0.0x₁0x₂… ought to be considered "mixed random", not "non-random", since they are homomorphic to a superset of random numbers. (My terminology is hand-wavy.)
Re:Are real numbers really real? by ttctciyf on Tuesday June 12, 2018 @02:01PM (#17295993)
Is this a difference between random and algorithmically random? I'd have expected "not computable" to be synonymous with "algorithmically random."