【Ffh2風】やる夫は無茶振り王国の研究者のようです81【R-18】【技術開発】

レス数:1000 サイズ:958.39 KiB 最終更新日:2021-04-17 01:00:09

129  名前:普通のやる夫さん[sage] 投稿日:2021/04/06(Tue) 16:44:49 ID:537e7a6b
「チューリング完全」あるいは「計算完備」の話って実は巨大数に関わってくるんですよね
ハイパー演算子やその拡張も「計算」であることには変わりないので
「ある万能計算機にn文字以下の入力を行った場合に出力される有限の数値の中で最大の値」
みたいなことをやると「どんな帰納的関数よりも『支配的』な関数」になる