なあ、再帰関数好きな人いる？パート3 [転載禁止]©2ch.net

なあ、再帰関数好きな人いる？パート3 [転載禁止]©2ch.net (914ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

118(1): 2015/12/05(土)12:50 ID:fWHJ2v3J(1/2) AAS
アッカーマンを知ったばかりで嬉しくてしょうがないんだろうな
俺くらいになるとどうでもよくなるけど

120: 2015/12/05(土)14:24 ID:FIUesRuL(1) AAS
>>118
アッカーマン関数が原始帰納関数でない証明を頼む。
定義がシンプルかつ一般帰納関数になるように
アッカーマンさんが構成したらしいが。