FANDOM


B型Comakky数とは、閏土=プリシエン[1] が2017年7月12日に定義した巨大数[2]ふぃっしゅ数バージョン1同様、「関数から関数への写像」に基づいて作られている。

定義編集

Xを0個以上の自然数、Yを0個以上の1とする。定義には直接書かれていないが、ここでの「自然数」には0を含めないのが妥当である。

B_{1}[1,Y,a]f(x)=f^{f(x)}(x)

B_{n+1}[1,Y,a]f(x)=B'_{n}[a]f(x)

B_{n}[X,a+1,1,Y,b]f(x)=B_{n}[X,a,b,Y,b]f(x)

B_{n}[X,a+1,1]f(x)=B_{n}[X,a,a+1]f(x)

B_{n}[X,a+1,b+1]f(x)=B_{n}[X,a,B_{n}[X,a+1,b]f(x)]^{B_{n}[X,a+1,b]f(x)}f(x)

B'_n[m]f(x)=B_{n}[x,x,\cdots,x]f(x) (xはm個)

このとき、Cb=B'_{63}[3]f(3);f(x)=3\rightarrow_{x}3をB型Comakky数とする。

近似編集

\begin{eqnarray*} B_1[1,a]f(x) &\approx& f_{\omega^3+1} \\ B_1[1,a]B_1[1,a]f(x) &\approx& f_{\omega^3+2}(x) \\ B_1[2,2]f(x) &\approx& f_{\omega^3+{\omega}}(x) \\ B_1[3,2]f(x) &\approx& f_{\omega^3+{\omega^2}}(x) \\ B_1[2,2,2]f(x) &\approx& f_{\omega^{\omega}}(x) \\ B_1[2,3,2]f(x) &\approx& f_{\omega^{\omega+1}}(x) \\ B_1[3,2,2]f(x) &\approx& f_{\omega^{\omega×2}}(x) \\ B_1[2,1,2,2]f(x) &\approx& f_{\omega^{\omega^2}}(x) \\ B_1[2,2,…2]f(x) &\approx& f_{\omega^{\omega^{\omega}}}(x) \approx B_2[2,2]f(x) \\ B_2[3,2]f(x) &\approx& f_{\omega^{\omega^{\omega}+1}}(x) \\ B_2[2,2,2]f(x) &\approx& f_{\omega^{\omega^{\omega}+{\omega}}}(x) \\ B_2[2,2,…2]f(x) &\approx& f_{\omega^{\omega^{\omega}×2}} \approx B_3[2,2]f(x) \\ B_x[2,2]f(x) &\approx& f_{\omega^{\omega^{\omega+1}}}(x) \\ Cb &\approx& f_{\omega^{\omega^{\omega} \times 63}}(3) \end{eqnarray*}

関連項目編集

出典編集

  1. @Runp_goppatoth
  2. https://twitter.com/Runpri_50/status/885098121658638338

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


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

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

FANDOMでも見てみる

おまかせWiki