3 ms·
Like f(x) = 5?
by jvanderbot 4y ago
Like f(x) = 5?
- yaakov34 4y agoWouldn't work, since 5 is not a member of the set of indescribable numbers. I am still not sure that the original example is good, since serious difficulties with the axiom of choice have to do with infinite collections of sets, especially uncountably infinite, not with choosing a member of a single difficult-to-describe set. But you can't handle these non-describable numbers very easily.
- davrosthedalek 4y agoThat's fine. The point is that the x is also not in the set of indescribable numbers (because you have described it with f(x)=5), assuming f is describable.
- deleted 4y ago[deleted]
- davrosthedalek 4y agoThe problem is that for every finite description of f, the x that fulfills f(x)=5 is not in the set of numbers than cannot be described by a finite set of symbols. (I assume here that there is only one solution of f(x)=5)