|
|
|
|
|
|
by yk
4893 days ago
|
|
|
Why? Perhaps I misunderstand something, but why can't I define a turing machine and the upper bound, and then BB with first order set theory. It is therefore my misunderstanding, that this gives me a lower bound of BB( googol -n), whith n the number of symbols I need to define BB. |
|
|