|
|
|
|
|
|
by dandanua
978 days ago
|
|
|
Right, we don't know the value BB(748), and moreover, "knowing" it is not enough, we would still need a proof that a certain number matches BB(748). And such a proof is not easier than a direct proof of ZFC consistency, I presume. BTW, a value can't be uncomputable, only a function can. |
|
|