はてなブックマーク

巨大数論ハイパー演算子（2変数版）が原始帰納的であることの証明　まあ、2変数のハイパー演算子が原始帰納的であるなんて話は、殆んど常識なんだろうとは思いますが、一応やっとくことにします（だって素人だし）。　2変数ハイパー演算子は以下で定義されます。【定義2a.1】2変数ハイパー演算子（但し1≦n、0≦x、2≦y）hyper[1](x, y)＝x＋yhyper[n＋1](x, y)＝hyper[n](x, hyper[n](x, hyper[n](…hyper[n](x, x)…)))（y は右辺に現れる x の数）　なお、x＋y（加法）が原始帰納的であることは、証明済みの事実として用います。また、全ての原始帰納函数の集合を PR と略記することにします。定理　ハイパー演算子の2変数函数表式 hyper[n](x, y) は原始帰納函数である（但し1≦n、0≦x、2≦y）。証明　数学的帰納法に