0549132人目の素数さん垢版 | 大砲2017/07/11(火) 21:20:05.35ID:ul6pxDZE >>546 >>528の説明であってるんじゃない? ビジービーバー関数BB(n)のZFCで扱える領域を越えるnの値が大きくても7910 nはテープの長さで、2状態のチューリングマシンだって