第二クロちゃん数は、クロちゃんが考案した巨大数である[1]。
定義
\(f(x)=x!^x\)(ネスト階乗表記)
\(f(x)↑^2 2= f^{f(x)}(x)\)
\(f(x)↑^{n+1} 2= f(x)↑^nf(x)\)
\(f(x)↑^{n+1} m+1= f(x)↑^n (f(x)↑^{n+1} m)\)
\(f(x) \rightarrow b \rightarrow c = f(x)\underbrace{↑\ldots↑}_cb\)
\(f(x) \rightarrow\ldots\rightarrow b \rightarrow 1 = f(x) \rightarrow\ldots\rightarrow b\)
\(f(x) \rightarrow\ldots\rightarrow b \rightarrow 1 \rightarrow c = f(x) \rightarrow\ldots\rightarrow b\)
\(f(x) \rightarrow\ldots\rightarrow b \rightarrow (c + 1) \rightarrow (d + 1) = f(x) \rightarrow\ldots\rightarrow b \rightarrow (f(x) \rightarrow\ldots\rightarrow b \rightarrow c \rightarrow (d + 1) ) \rightarrow d\)
\(f(x)\rightarrow^2 n=\underbrace{f(x)\rightarrow f(x)\ldots\rightarrow f(x)}_n\)
\(f(x)\rightarrow^{n+1} 2= f(x)\rightarrow^nf(x)\)
\(f(x)\rightarrow^{n+1} m+1= f(x)\rightarrow^n (f(x)\rightarrow^{n+1} m)\)
\(KK(x) = f(3)\underbrace{\rightarrow\ldots\rightarrow}_xf(3)\)
このとき、\(KK^{64}(4)\)が第二クロちゃん数である。
\(\text{第二クロちゃん数} \approx f_{\omega^2+\omega}^{64}(4)\)
