English Dictionary

The busy beaver function grows faster than any computable function we can explicitly describe.

各正の整数 n に対して、2記号・n状態のチューリング機械のうち停止するものの中で最も長く動作するものが停止するまでに要するステップ数を対応させる数学的関数は、我々が明示的に記述できる任意の計算可能関数よりも速く成長する。