|
|
|
|
|
|
by gylterud
357 days ago
|
|
|
A constructive mathematician would indeed deny that BB(748) is a well defined number. One could define it as a predicate on natural numbers, but lest we find a contradiction in ZFC we cannot hope to constructively prove that it holds for any number. |
|
|