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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

118(1): デフォルトの名無しさん [sage] 2015/12/05(土)12:50 ID:fWHJ2v3J(1/2)
アッカーマンを知ったばかりで嬉しくてしょうがないんだろうな
俺くらいになるとどうでもよくなるけど

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