カテゴリー: 巨大数

ハイバー演算子の定義

\[ H_{n}\left(a,b\right):=\begin{cases} b+1 & n=0\\ a+b & n=1\\ \underbrace{a^{\left(n-1\right)}a^{\left(n-1\right)}\cdots a^{\left(n-1\right)}a}_{b\;copies\;of\;a} & n=2,3,\cdots \end{cases} \]

クヌースの矢印表記の定義

\[ a\uparrow^{n}b:=\begin{cases} ab & n=0\\ 1 & n\geq1\;\land\;b=0\\ \underbrace{a\uparrow^{n-1}a\uparrow^{n-1}\cdots\uparrow^{n-1}a}_{b\;copies\;of\;a} & otherwise \end{cases} \]