FANDOM


多重帰納

X:1個以上の自然数
Y:0個以上の自然数
a,b,c:自然数

a[1]b=a^b
a[X,1]b+1=a[X](a[X,1]b)
a[Y,c+1]b+1=a[Y,c](a[Y,c,c+1]b)
a[X]1=a

a[1,1...c個...,1,1]bは、矢印表記a(↑^c)bと一致する。
f(x)=x[x]xとしたとき、関数fは多重帰納になる。
グラハム数<3[2,1]65。

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki