> Then we will never be able to find the Nth beaver number for the corresponding N.
This is pretty clearly what people are asking about when asking if BB(6) is "uncomputable" then.
I understand (now) the point about the specific meaning of the term of art "uncomputable". If you want to speak precisely on the topic, it's not the right question to ask.
But it still seems like the question, "will we ever be able to find out the Nth beaver number", is the more interesting question.
So, we can define ZFC axioms that classify the beavers we can know together with the beavers we cannot know. So what? Then that is just skipping the interesting question. Maybe that just means for this specific problem that is not the best construction to decide to use to classify them?
I would be more interested in a classification that would assign one label to beavers we could possibly hope to calculate, and another for beavers where the calculation is impossible.
This is pretty clearly what people are asking about when asking if BB(6) is "uncomputable" then.
I understand (now) the point about the specific meaning of the term of art "uncomputable". If you want to speak precisely on the topic, it's not the right question to ask.
But it still seems like the question, "will we ever be able to find out the Nth beaver number", is the more interesting question.
So, we can define ZFC axioms that classify the beavers we can know together with the beavers we cannot know. So what? Then that is just skipping the interesting question. Maybe that just means for this specific problem that is not the best construction to decide to use to classify them?
I would be more interested in a classification that would assign one label to beavers we could possibly hope to calculate, and another for beavers where the calculation is impossible.