▲ | tux3 7 days ago | |
Yes. A valid question for a specific n would be whether you can prove the value of BB(n). If you don't care about provability, you can indeed just produce a number that happens to be the right one. So as you noticed, it only makes sense to talk about whether a function is computable, we can't meaningfully talk of computable numbers. |