サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Pixel 9
d.hatena.ne.jp/mathsociety
巨大数論ハイパー演算子(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)。証明 数学的帰納法に
このページを最初にブックマークしてみませんか?
『京都数学研究会 ≪Kyoto Math Society≫』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く