查看“︁BOCF VS veblen函数”︁的源代码

本条目展示[[OCF#BOCF|BOCF]]和[[veblen函数]]的列表分析。
{| class="wikitable"
|+
!BOCF
!veblen函数
|-
|<math>\psi(0)</math>
|1
|-
|<math>\psi(0)\times2</math>
|2
|-
|<math>\psi(1)</math>
|<math>\omega</math>
|-
|<math>\psi(1)\times2</math>
|<math>\omega\times2</math>
|-
|<math>\psi(2)</math>
|<math>\omega^2</math>
|-
|<math>\psi(3)</math>
|<math>\omega^3</math>
|-
|<math>\psi(\psi(1))</math>
|<math>\omega^{\omega}</math>
|-
|<math>\psi(\psi(1)+1)</math>
|<math>\omega^{\omega+1}</math>
|-
|<math>\psi(\psi(1)\times2)</math>
|<math>\omega^{\omega\times2}</math>
|-
|<math>\psi(\psi(2))</math>
|<math>\omega^{\omega^2}</math>
|-
|<math>\psi(\psi(\psi(1)))</math>
|<math>\omega^{\omega^{\omega}}</math>
|-
|<math>\psi(\psi(\psi(\psi(1))))</math>
|<math>\omega^{\omega^{\omega^{\omega}}}</math>
|-
|<math>\psi(\Omega)</math>
|<math>\varphi(1,0)</math>
|-
|<math>\psi(\Omega)+1</math>
|<math>\varphi(1,0)+1</math>
|-
|<math>\psi(\Omega)\times2</math>
|<math>\varphi(1,0)\times2</math>
|-
|<math>\psi(\Omega)\times3</math>
|<math>\varphi(1,0)\times3</math>
|-
|<math>\psi(\Omega+1)</math>
|<math>\omega^{\varphi(1,0)+1}</math>
|-
|<math>\psi(\Omega+\psi(1))</math>
|<math>\omega^{\varphi(1,0)+\omega}</math>
|-
|<math>\psi(\Omega+\psi(\psi(1)))</math>
|<math>\omega^{\varphi(1,0)+\omega^{\omega}}</math>
|-
|<math>\psi(\Omega+\psi(\Omega))</math>
|<math>\omega^{\varphi(1,0)\times2}</math>
|-
|<math>\psi(\Omega+\psi(\Omega)+1)</math>
|<math>\omega^{\varphi(1,0)\times2+1}</math>
|-
|<math>\psi(\Omega+\psi(\Omega)+\psi(1))</math>
|<math>\omega^{\varphi(1,0)\times2+\omega}</math>
|-
|<math>\psi(\Omega+\psi(\Omega)\times2)</math>
|<math>\omega^{\varphi(1,0)\times3}</math>
|-
|<math>\psi(\Omega+\psi(\Omega)\times3)</math>
|<math>\omega^{\varphi(1,0)\times4}</math>
|-
|<math>\psi(\Omega+\psi(\Omega+1))</math>
|<math>\omega^{\omega^{\varphi(1,0)+1}}</math>
|-
|<math>\psi(\Omega+\psi(\Omega+1)+1)</math>
|<math>\omega^{\omega^{\varphi(1,0)+1}+1}</math>
|-
|<math>\psi(\Omega+\psi(\Omega+1)\times2)</math>
|<math>\omega^{\omega^{\varphi(1,0)+1}\times2}</math>
|-
|<math>\psi(\Omega+\psi(\Omega+2))</math>
|<math>\omega^{\omega^{\varphi(1,0)+2}}</math>
|-
|<math>\psi(\Omega+\psi(\Omega+3))</math>
|<math>\omega^{\omega^{\varphi(1,0)+3}}</math>
|-
|<math>\psi(\Omega+\psi(\Omega+\psi(1)))</math>
|<math>\omega^{\omega^{\varphi(1,0)+\omega}}</math>
|-
|<math>\psi(\Omega+\psi(\Omega+\psi(\Omega)))</math>
|<math>\omega^{\omega^{\varphi(1,0)\times2}}</math>
|-
|<math>\psi(\Omega+\psi(\Omega+\psi(\Omega)\times2))</math>
|<math>\omega^{\omega^{\varphi(1,0)\times3}}</math>
|-
|<math>\psi(\Omega+\psi(\Omega+\psi(\Omega+1)))</math>
|<math>\omega^{\omega^{\omega^{\varphi(1,0)+1}}}</math>
|-
|<math>\psi(\Omega+\psi(\Omega+\psi(\Omega+\psi(\Omega+1))))</math>
|<math>\omega^{\omega^{\omega^{\omega^{\varphi(1,0)+1}}}}</math>
|-
|<math>\psi(\Omega\times2)</math>
|<math>\varphi(1,1)</math>
|-
|<math>\psi(\Omega\times2+1)</math>
|<math>\omega^{\varphi(1,1)+1}</math>
|-
|<math>\psi(\Omega\times2+\psi(\Omega))</math>
|<math>\omega^{\varphi(1,1)+\varphi(1,0)}</math>
|-
|<math>\psi(\Omega\times2+\psi(\Omega+\psi(\Omega)))</math>
|<math>\omega^{\varphi(1,1)+\omega^{\varphi(1,0)\times2}}</math>
|-
|<math>\psi(\Omega\times2+\psi(\Omega\times2))</math>
|<math>\omega^{\varphi(1,1)\times2}</math>
|-
|<math>\psi(\Omega\times2+\psi(\Omega\times2+1))</math>
|<math>\omega^{\omega^{\varphi(1,1)+1}}</math>
|-
|<math>\psi(\Omega\times2+\psi(\Omega\times2+\psi(\Omega\times2)))</math>
|<math>\omega^{\omega^{\varphi(1,1)\times2}}</math>
|-
|<math>\psi(\Omega\times3)</math>
|<math>\varphi(1,2)</math>
|-
|<math>\psi(\Omega\times4)</math>
|<math>\varphi(1,3)</math>
|-
|<math>\psi(\Omega\times\omega)</math>
|<math>\varphi(1,\omega)</math>
|-
|<math>\psi(\Omega\times\omega+1)</math>
|<math>\omega^{\varphi(1,\omega)+1}</math>
|-
|<math>\psi(\Omega\times\omega+\psi(\Omega))</math>
|<math>\omega^{\varphi(1,\omega)+\varphi(1,0)}</math>
|-
|<math>\psi(\Omega\times\omega+\psi(\Omega\times2))</math>
|<math>\omega^{\varphi(1,\omega)+\varphi(1,1)}</math>
|-
|<math>\psi(\Omega\times\omega+\psi(\Omega\times\omega))</math>
|<math>\omega^{\varphi(1,\omega)\times2}</math>
|-
|<math>\psi(\Omega\times\omega+\psi(\Omega\times\omega+1))</math>
|<math>\omega^{\omega^{\varphi(1,\omega)+1}}</math>
|-
|<math>\psi(\Omega\times\omega+\Omega)</math>
|<math>\varphi(1,\omega+1)</math>
|-
|<math>\psi(\Omega\times\omega\times2)</math>
|<math>\varphi(1,\omega\times2)</math>
|-
|<math>\psi(\Omega\times\omega^2)</math>
|<math>\varphi(1,\omega^2)</math>
|-
|<math>\psi(\Omega\times\psi(\Omega))</math>
|<math>\varphi(1,\varphi(1,0))</math>
|-
|<math>\psi(\Omega\times\psi(\Omega)\times2)</math>
|<math>\varphi(1,\varphi(1,0)\times2)</math>
|-
|<math>\psi(\Omega\times\psi(\Omega+1))</math>
|<math>\varphi(1,\omega^{\varphi(1,0)+1})</math>
|-
|<math>\psi(\Omega\times\psi(\Omega+\psi(\Omega)))</math>
|<math>\varphi(1,\omega^{\varphi(1,0)\times2})</math>
|-
|<math>\psi(\Omega\times\psi(\Omega+\psi(\Omega+\psi(\Omega))))</math>
|<math>\varphi(1,\omega^{\omega^{\varphi(1,0)+1}})</math>
|-
|<math>\psi(\Omega\times\psi(\Omega\times2))</math>
|<math>\varphi(1,\varphi(1,1))</math>
|-
|<math>\psi(\Omega\times\psi(\Omega\times3))</math>
|<math>\varphi(1,\varphi(1,2))</math>
|-
|<math>\psi(\Omega\times\psi(\Omega\times\omega))</math>
|<math>\varphi(1,\varphi(1,\omega))</math>
|-
|<math>\psi(\Omega\times\psi(\Omega\times\psi(\Omega)))</math>
|<math>\varphi(1,\varphi(1,\varphi(1,0)))</math>
|-
|<math>\psi(\Omega\times\psi(\Omega\times\psi(\Omega\times\psi(\Omega))))</math>
|<math>\varphi(1,\varphi(1,\varphi(1,\varphi(1,0))))</math>
|-
|<math>\psi(\Omega^2)</math>
|<math>\varphi(2,0)</math>
|-
|
|
|}
[[分类:分析]]