4 ms·
The standard term is "definable", not "useful": https://en.wikipedia.org/wiki/Definable_real_number https://en.wikipedia.org/wiki/Definable_real_number But yes
by Sniffnoy 7y ago
The standard term is "definable", not "useful": https://en.wikipedia.org/wiki/Definable_real_number https://en.wikipedia.org/wiki/Definable_real_number
But yes, Chaitin's constant is an example of a number that is definable but not computable.
- bloomer 7y agoYeah I think this terminology is odd because I think that the computable numbers are much more “useful” than the definable numbers.