4 ms·
> The more conventional name for what you are calling "nameable" is "computable": GP appears to be talking about definable reals, not computable. For example [
by puffoflogic 4y ago
> The more conventional name for what you are calling "nameable" is "computable":
GP appears to be talking about definable reals, not computable. For example [any particular] Chaitin's constant is definable but not computable.