Comment by IsTom

1 year ago

It's not that there "exists n, such that for all theories", but that "for all theories there exists n", that BB(n) will get independent eventually.

0 comments