巨大数を語り合うスレ (244ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
182(1): 2024/05/09(木)11:30 ID:1s3pLI9I(1) AAS
自然数しか考えないのであれば
帰納的関数全体が可算だそうだから
f_k:N→N
と付番して
g:N→N
を
g(n)=max_{k<n} f_k(n)
と定義すれば
∀k∃m∀n>m f_k(n)<g(n)
だから
gは全ての帰納的関数よりもいずれ大きくなる
（これ自体が帰納的関数でないのは帰納的関数全体を付番するのは帰納的には不可能だからじゃないかな）
gを使えば帰納的に定義するよりよほど大きな数を定義できるよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.914s*