Comment by ted_dunning

There is definitely a function f such that f() = n for all n ∈ ℕ.

But there is also a function g that you cannot prove whether g() = n.

Important distinction.

This means that somebody could claim that the value of BB(748) = n but you cannot be sure if they are correct (but you might be able to show they are wrong).