查看“︁超限 -1-Y VS Veblen 函数”︁的源代码

本条目展示[[超限(-1)-Y]]和[[Veblen函数]]的列表分析。
{| class="wikitable"
!超限(-1)-Y
!Veblen函数
|-
|<math>(1,\omega)</math>
|<math>\varphi(1,0)</math>
|-
|<math>(1,\omega,1)</math>
|<math>\varphi(1,0)+1</math>
|-
|<math>(1,\omega,1,\omega)</math>
|<math>\varphi(1,0)+\varphi(1,0)</math>
|-
|<math>(1,\omega,2)</math>
|<math>\varphi(\varphi(1,0)+1)</math>
|-
|<math>(1,\omega,2,1,\omega,2)</math>
|<math>\varphi(\varphi(1,0)+1)+\varphi(\varphi(1,0)+1)</math>
|-
|<math>(1,\omega,2,2)</math>
|<math>\varphi(\varphi(1,0)+2)</math>
|-
|<math>(1,\omega,2,3)</math>
|<math>\varphi(\varphi(1,0)+\omega)</math>
|-
|<math>(1,\omega,2,4)</math>
|<math>\varphi(\varphi(1,0)+\omega^\omega)</math>
|-
|<math>(1,\omega,2,\omega)</math>
|<math>\varphi(\varphi(1,0)+\varphi(1,0))</math>
|-
|<math>(1,\omega,2,\omega,2,\omega)</math>
|<math>\varphi(\varphi(1,0)+\varphi(1,0)+\varphi(1,0))</math>
|-
|<math>(1,\omega,3)</math>
|<math>\varphi(\varphi(\varphi(1,0)+1))</math>
|-
|<math>(1,\omega,3,2,\omega)</math>
|<math>\varphi(\varphi(\varphi(1,0)+1)+\varphi(1,0))</math>
|-
|<math>(1,\omega,3,2,\omega,3)</math>
|<math>\varphi(\varphi(\varphi(1,0)+1)+\varphi(\varphi(1,0)+1))</math>
|-
|<math>(1,\omega,3,3)</math>
|<math>\varphi(\varphi(\varphi(1,0)+2))</math>
|-
|<math>(1,\omega,3,4)</math>
|<math>\varphi(\varphi(\varphi(1,0)+\omega))</math>
|-
|<math>(1,\omega,3,\omega)</math>
|<math>\varphi(\varphi(\varphi(1,0)+\varphi(1,0)))</math>
|-
|<math>(1,\omega,4)</math>
|<math>\varphi(\varphi(\varphi(\varphi(1,0)+1)))</math>
|-
|<math>(1,\omega,\omega)</math>
|<math>\varphi(1,1)</math>
|-
|<math>(1,\omega,\omega,2)</math>
|<math>\varphi(\varphi(1,1)+1)</math>
|-
|<math>(1,\omega,\omega,2,\omega)</math>
|<math>\varphi(\varphi(1,1)+\varphi(1,0))</math>
|-
|<math>(1,\omega,\omega,2,\omega,\omega)</math>
|<math>\varphi(\varphi(1,1)+\varphi(1,1))</math>
|-
|<math>(1,\omega,\omega,3)</math>
|<math>\varphi(\varphi(\varphi(1,1)+1))</math>
|-
|<math>(1,\omega,\omega,4)</math>
|<math>\varphi(\varphi(\varphi(\varphi(1,1)+1)))</math>
|-
|<math>(1,\omega,\omega,\omega)</math>
|<math>\varphi(1,2)</math>
|-
|<math>(1,\omega+1)</math>
|<math>\varphi(1,\omega)</math>
|-
|<math>(1,\omega+1,\omega)</math>
|<math>\varphi(1,\omega+1)</math>
|-
|<math>(1,\omega+1,\omega,\omega+1)</math>
|<math>\varphi(1,\omega 2)</math>
|-
|<math>(1,\omega+1,\omega+1)</math>
|<math>\varphi(1,\omega^2)</math>
|-
|<math>(1,\omega+2)</math>
|<math>\varphi(1,\omega^\omega)</math>
|-
|<math>(1,\omega 2)</math>
|<math>\varphi(1,\varphi(1,0))</math>
|-
|<math>(1,\omega 2,\omega,\omega 2)</math>
|<math>\varphi(1,\varphi(1,0)+\varphi(1,0))</math>
|-
|<math>(1,\omega 2,\omega+1)</math>
|<math>\varphi(1,\varphi(\varphi(1,0)+1))</math>
|-
|<math>(1,\omega 2,\omega 2)</math>
|<math>\varphi(1,\varphi(1,1))</math>
|-
|<math>(1,\omega 2+1)</math>
|<math>\varphi(1,\varphi(1,\omega))</math>
|-
|<math>(1,\omega 2+2)</math>
|<math>\varphi(1,\varphi(1,\omega^\omega))</math>
|-
|<math>(1,\omega 3)</math>
|<math>\varphi(1,\varphi(1,\varphi(1,0)))</math>
|-
|<math>(1,\omega^2)</math>
|<math>\varphi(2,0)</math>
|-
|<math>(1,\omega^2,\omega)</math>
|<math>\varphi(1,\varphi(2,0)+1)</math>
|-
|<math>(1,\omega^2,\omega 2)</math>
|<math>\varphi(1,\varphi(1,\varphi(2,0)+1))</math>
|-
|<math>(1,\omega^2,\omega^2)</math>
|<math>\varphi(2,1)</math>
|-
|<math>(1,\omega^2+1)</math>
|<math>\varphi(2,\omega)</math>
|-
|<math>(1,\omega^2+\omega)</math>
|<math>\varphi(2,\varphi(1,0))</math>
|-
|<math>(1,\omega^22)</math>
|<math>\varphi(2,\varphi(2,0))</math>
|-
|<math>(1,\omega^3)</math>
|<math>\varphi(3,0)</math>
|-
|<math>(1,\omega^\omega)</math>
|<math>\varphi(\omega,0)</math>
|-
|<math>(1,\omega^\omega,1+\omega^n)</math>
|<math>\varphi(n,\varphi(\omega,0)+1)</math>
|-
|<math>(1,\omega^\omega,\omega^\omega)</math>
|<math>\varphi(\omega,1)</math>
|-
|<math>(1,\omega^{\omega+1})</math>
|<math>\varphi(\omega+1,0)</math>
|-
|<math>(1,\omega^{\omega^\omega})</math>
|<math>\varphi(\omega^\omega,0)</math>
|-
|<math>(1,(1,\omega))</math>
|<math>\varphi(\varphi(1,0),0)</math>
|-
|<math>(1,(1,(1,\omega)))</math>
|<math>\varphi(\varphi(\varphi(1,0),0),0)</math>
|-
|<math>\mathrm{Limit}=(1,(1,(1,\cdots)))</math>
|<math>\varphi(1,0,0)</math>
|}
[[分类:分析]]