Re:Have any long-suspected irrational numbers turned out to ...
by jsbgir on Tuesday September 16, 2014 @12:34PM
(#8325375)
The set of transcendental but computable numbers is also countable, however: there is a countable number of algorithms. Therefore, the majority of the reals are uncomputable, like Chaintin's constant (the probability that a random algorithm halts). This can in turn be made stronger by noticing that the definition of Chaitin's constant is finite, and by the same argument, definable real numbers are countable. It follows that the majority of the reals are indefinable.
Re:Have any long-suspected irrational numbers turned out to ...
by bashinator on Tuesday September 16, 2014 @02:32PM
(#8326139)
Seems nicely analogous to "regular matter" vs dark matter and dark energy in the Universe.
The rest of the reals -- and it is most of that vast sea -- are completely inaccessible, unnameable, forever anonymous.
[1] http://en.wikipedia.org/wiki/Transcendental_number