>>546
>>528の説明であってるんじゃない?
ビジービーバー関数BB(n)のZFCで扱える領域を越えるnの値が大きくても7910
nはテープの長さで、2状態のチューリングマシンだって