07/09/13 19:59:46
BBを英語で理解するとすれば、たとえばWikipediaですが
URLﾘﾝｸ(en.wikipedia.org)
ここの2-state S(n,m)の値を見ると、
BB(2) = 6
BB(3) = 21
BB(4) = 107
BB(5) ≥ 47,176,870
BB(6) ≥ 3.0 x 10^1730
となっています。BB(4)までは「=」で、正確な値が分かって
います。BB(5)以降は「≥」となっています。つまり、
BB(5)の値は47,176,870 かもしれないし、それよりも
大きいかもしれない。
我々は、まだBB(5)の正確な値を知り得ていない、という
ことになります。BB(6)の正確な値は、どんなに計算機の
速度が向上しても、どんなに長い年月をかけても
（たとえばふぃっしゅ数年とか）、計算できないでしょう。