BEAF[]
BIGG≒f_{ψ_Ω(ψ_{I_ω}(0))}(200)≒{L,X,2}200,200≒(0,0,0)(1,1,1)(2,1,1)(3,1,1)[200]
{L,X,2}=ψ_Ω(ψ_I(I_ω))
{L,X,3}=ψ_Ω(ψ_I(I_{ω^2}))
{L,X,X}=ψ_Ω(ψ_I(I_{ω^ω}))
{L,L,X,2}=ψ_Ω(ψ_I(I_I))
{L(1)X}=ψ_Ω(ψ_I(ψ_χ(1,0)(0)))
{{LX,X}&L,X}=ψ_Ω(ψ_I(ψ_χ(1,0)(ψ_Ω(Ω_ω))))
バシク配列崩壊関数[]
\begin{array}{ll} 1以上の数:\alpha\\ 0以上の数:\beta,\beta_2,\beta_3\\ \\ \Phi(0)&=&1\\ \Phi(\alpha+1)&=&\Phi(\alpha)\cdot\omega\\ (\lambda.\Phi_0)^\omega(0)&=&\Phi(1,0)\\ \Phi(n,m)&=&\Phi(n)_m or \Phi_n(m)\\ (\lambda.\Phi)^\omega(0)_0&=&\Phi(1,0,0)\\ (\lambda.\Phi)^\omega(\Phi(1,0,0))&=&\Phi(\phi(1,\Phi(1,0,0)),0)\\ (\lambda.\Phi_{\Phi(1,\Phi(1,0,0))}^\omega(0)&=&\Phi_{\Phi(1,\Phi(1,0,0))}(\Phi(1,\Phi(1,0,0)))\\ (\lambda.\Phi_\alpha)^\omega(\Phi(\alpha,\Phi(1,0,0)))&=&\Phi(\Phi(\alpha,\Phi(1,0,0)+1),0)\\ (\lambda.\Phi_\alpha)^\omega(\Phi(\Phi(\alpha,\Phi(1,0,0)),\beta))&=&\Phi(\Phi(\alpha,\Phi(1,0,0)),\beta+1)\\ (\lambda.\Phi_{\Phi(\alpha,\Phi(1,0,0)+\beta)})^\omega(0)&=&\Phi_{\Phi(\alpha,\Phi(1,0,0)+\beta)}(\Phi(\alpha,\Phi(1,0,0)+\beta))\\ (\lambda.\Phi_{\beta})^\omega(\Phi(\beta,\beta_2))&=&\Phi(\Phi(\beta,\beta_2+1),0)\\ (\lambda.\Phi_{\alpha})^\omega(\Phi(\alpha+\beta+2,\beta_2))&=&\Phi(\alpha+1,\Phi(\alpha+\beta+2,\beta_2))\\ (\lambda.\Phi_{\alpha})^\omega(\Phi(\Phi(\alpha+\beta+2,\beta_2),\beta_3))&=&\Phi(\alpha+1,\Phi(\Phi(\alpha+\beta+2,\beta_2),\beta_3)+1)\\ \\ \alpha → \Phi(\Phi(1,0,\Phi(1,0,0,0)),n,\Phi(\alpha,0,0))&=&\\ \Phi(\Phi(1,0,\Phi(1,0,0,0)),n,\Phi(\Phi(1,0,\Phi(1,0,0,0)),n+1,0))\\ \\ \end{array}
バシク順序数崩壊関数[]
\begin{array}{ll} \Phi_\Omega(0)&=&1\\ \Phi_\Omega(\Phi_{\Phi_{\Omega_2}(0)}(0))&=&\phi(\omega,0)\\ \Phi_\Omega(\Phi_{\Phi_{\Omega_2}(\Phi_{\Phi_{\Phi_{\Omega_3}(0)}(0)}(0))}(0))\\ \Phi_\Omega(\Phi_{\Phi_{\Omega_2}(\Phi_{\Phi_{\Phi_{\Omega_3}(\Phi_{\Phi_{\Phi_{\Phi_{\Omega_4}(0)}(0)}(0)}(0)))}(0)}(0))}(0))\\ \end{array}
バシクオーディナルキューブ[]
0:バシク順序関数
\begin{array}{ll} \Phi_\Omega(0,1)&=&1\\ \Phi_\Omega(0,2)&=&2\\ \Phi_\Omega(0,3)&=&3\\ \Phi_\Omega(1,0)&=&\omega\\ \Phi_\Omega(1,1)&=&\omega+1\\ \Phi_\Omega(1,\Phi_\Omega(1,0))&=&\omega+\omega\\ \Phi_\Omega(2,0)&=&\omega^2\\ \Phi_\Omega(3,0)&=&\omega^3\\ \Phi_\Omega(\Phi_\Omega(1,0),0)&=&\omega^\omega\\ \Phi_\Omega(\Phi_\Omega(\Phi_\Omega(1,0),0),0)&=&\omega^{\omega^\omega}\\ \Phi_\Omega(\Omega,0)&=&\epsilon_0\\ \end{array}
1:バシク階層順序関数
\begin{array}{ll} \Phi_\Omega(\Omega,0)&=&\Gamma_0\\ \end{array}
2:バシク崩壊順序関数
\begin{array}{ll} \Phi_\Omega(0,\Phi_\Omega(\Omega,0))&=&拡張ブーフホルツ順序数\\ \end{array}
3:バシク多重順序関数
\begin{array}{ll} \Phi_\Omega(\Phi_\Omega(0,\Omega+1),0)&=&\epsilon_0\\ \Phi_\Omega(\Phi_\Omega(\Omega,\Omega+1),0)&=&\Gamma_0\\ \Phi_\Omega(\Phi_\Omega(\Phi_\Omega(\Omega,\Omega+1),\Omega+1),0)&=&\psi(\Omega^{\Omega^\Omega})\\ \alpha→\Phi(\alpha,\Omega+1)&=&2^\Omega\\ \Phi(2^\Omega,0)&=&BHO\\ \end{array}
1:2:バシク階層崩壊順序関数
\begin{array}{ll} \Phi_\Omega(\Phi_\Omega(1,\Phi_\Omega(\Omega,0)+1),\Phi_\Omega(\Phi_\Omega(2,\Phi_\Omega(\Omega,0)+1),0))&=&拡張ブーフホルツ順序数\\ \Phi_\Omega(2^{\Phi_\Omega(\Omega,0)})&=&\psi(M)\\ \end{array}
2:3:バシク多重崩壊関数
1:3:バシク多重階層順序関数
1:2:3:バシク多重崩壊階層順序関数
超順序数崩壊関数[]
\begin{array}{ll} 1以上の数:\alpha\\ 0以上の数:\beta,\beta_2,\beta_3\\ \\ \Phi_0(0)&=&1\\ \Phi_0(\alpha+1)&=&\Phi_0(\alpha)\cdot\omega\\ \Phi_0^\omega(0)&=&\Psi_\Omega(\Omega)\\ (\lambda.\Psi_{\Omega_\alpha}(\beta+x))^\omega(x)&=&\Psi_{\Omega_\alpha}(\beta+\Psi_{\Omega_\alpha}(\beta+\Omega_\alpha))\\ \Phi_\alpha^\omega(0)&=&\Psi_{\Omega_{\alpha+1}}(\Omega_{\alpha+1})\\ \Phi_0^\omega(\Psi_\Omega(\beta)+1)&=&\Psi_\Omega(\beta+1)\\ \Phi_\alpha^\omega(\Psi_{\Omega_{\alpha+1}}(\beta)+1)&=&\Psi_{\Omega_{\alpha+1}}(\beta+1)\\ \Phi_\beta^\omega(\Omega_{\beta+1})&=&\Phi_{\beta+1}(0)\\ \Phi_{\alpha}^\omega(\Psi_{\Phi_{\alpha+1}(\beta)}(\beta_2)+1)&=&\Psi_{\Phi_{\alpha+1}(\beta)}(\beta_2+1)\\ \Psi_{\Phi_{\alpha}(\beta)}^\omega(0)&=&\Psi_{\Phi_{\alpha}(\beta)}(\Phi_{\alpha}(\beta))\\ \Phi_{\beta}^\omega(\Phi_{\beta+1}(\beta_2)+1)&=&\Psi_{\Phi_{\beta+1}(\beta_2+1)}(0)\\ \Phi_{\alpha}^\omega(\Phi_{\alpha+\beta+2}(\beta_2)+1)&=&\Psi_{\Phi_{\alpha+1}(\Phi_{\alpha+\beta+2}(\beta_2)+1)}(0)\\ \Phi_{\alpha}^\omega(\Psi_{\Omega_{\alpha+\beta+2}+\beta_2}(\beta_3)+1)&=&\Psi_{\Phi_{\alpha+1}(\Psi_{\Omega_{\alpha+\beta+2}+\beta_2}(\beta_3)+1)}(0)\\ \Phi_{\alpha}^\omega(\Omega_{\alpha+\beta+2}+1)&=&\Psi_{\Phi_{\alpha+1}(\Omega_{\alpha+\beta+2}+1)}(0)\\ \\ \Psi_{\Omega_2}(\Omega_\omega^{\Omega_2}+\Omega_\omega)&=&\Psi_{\Omega_2}(\Omega_\omega^{\Omega_2}+\Psi_{\Omega_3}(\Omega_\omega^{\Omega_2}+\Psi_{\Omega_4}(\Omega_\omega^{\Omega_2}+...)))\\ \\ \\ \Omega_\omega貫通なし。\\ \\ \end{array}
バシク論理大数(Bashicu logic large number)[]
バシク論理大関数は計算不可能関数である。(未定義)
BLL^1000(10^1000)
(案)
SKIコンビネータを組み合わせてできたループをΩコンビネータに変換。
n種類のSKIコンビネータS,K,I,S_2,K_2_I_2,S_3,K_3,I_3,...S_n,K_n,I_nをこちゃまぜにした式を作り、式全体のそのあるコンビネータを変換する。
ω個の配列を亜空間とする一文字のコンビネータ。
亜空間で層をなすコンビネータで計算するものである上位と計算できない下位。
なんばんめ以前、なんばんめ以降を一括で削除して、階層を決める神託コンビネータ。