16/01/31 02:22:08.30 S0mqWxRS.net
>>184
計算不可能な巨大数でも適当な計算可能な方法で表現することができます。
というかいかなる巨大数も1+1+...+1で表現することができます。ほとんど現実的に不可能というだけで
当たり前のことですが一応確認
C言語でもなんでもかまいませんが、任意の計算可能な関数を定義できる言語を用意します。
n文字のその言語で表現可能な最大の数をBB(n)とすれば、BBはソフトウェア的に解釈した
ビジービーバー関数となります。
BB(x)が計算可能であれば、その言語で有限の最低限の文字数aで定義できてしまいますが、ここでBB(a+4)について考えてみます。
細かい話は抜きにして、「a+4」は「x」よりも2文字多いのでBB(a+4)を
出力するプログラムはa+2だけの文字数を必要とします。
さらに「BB(a+4)+1」はa+4だけの文字数を必要とします。
しかし、これはBB(a+4)がa+4の文字数で表現できる最大の数であることと矛盾しています。
よってBB(x)は計算することができません。
そしてBB(513)だけでローダー数などを軽々と飛び越えてしまったりします。
感覚をつかめましたか?