打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

NOCF

来自Googology Wiki

NOCF(Nothing Ordinal Collapse Function)是 OCF 的一种。

理念

由于 NOCF 没有完整的定义,这里给出它的理念:

ψα(0)=Ωα(Ω0=1)ψα(#+1)=ψα(#)+1;在 OCF 内遇到 Ωα 的处理方式与 MOCF 一致。

分析

下列分析的等号左侧为 NOCF,右侧为 MOCF。[1]

  • ψ0(0)=1
  • ψ0(ψ0(0))=2
  • ψ0(ψ0(ψ0(0)))=3
  • ψ0(ψ1(0))=ω
  • ψ0(ψ1(ψ0(0)))=ω+1
  • ψ0(ψ1(ψ0(ψ1(0))))=ω×2
  • ψ0(ψ1(ψ1(0)))=ω2
  • ψ0(ψ1(ψ1(ψ0(ψ1(ψ1(0))))))=ω2×2
  • ψ0(ψ1(ψ1(ψ1(0))))=ω3
  • ψ0(ψ1(ψ1(ψ1(ψ1(0)))))=ω4
  • ψ0(ψ2(0))=ωω
  • ψ0(ψ2(ψ0(ψ2(0))))=ωω×2
  • ψ0(ψ2(ψ1(0)))=ωω+1
  • ψ0(ψ2(ψ1(ψ1(0))))=ωω+2
  • ψ0(ψ2(ψ1(ψ2(0))))=ωω×2
  • ψ0(ψ2(ψ1(ψ2(ψ1(ψ2(0))))))=ωω×3
  • ψ0(ψ2(ψ2(0))=ωω2
  • ψ0(ψ2(ψ2(ψ1(0)))=ωω2+1
  • ψ0(ψ2(ψ2(ψ1(ψ2(ψ2(0)))))=ωω2×2
  • ψ0(ψ2(ψ2(ψ2(0))))=ωω3
  • ψ0(ψ3(0))=ωωω
  • ψ0(ψ3(ψ1(0)))=ωωω+1
  • ψ0(ψ3(ψ2(0)))=ωωω+1
  • ψ0(ψ3(ψ3(0)))=ωωω2
  • ψ0(ψ4(0))=ωωωω
  • ψ0(ψω(0))=ψ(0)
  • ψ0(ψω(ψ0(ψω(0))))=ψ(0)×2
  • ψ0(ψω(ψ1(0)))=ωψ(0)+1
  • ψ0(ψω(ψ1(ψ2(0))))=ωψ(0)+ω
  • ψ0(ψω(ψ1(ψω(0))))=ωψ(0)×2
  • ψ0(ψω(ψ2(0)))=ωωψ(0)+1
  • ψ0(ψω(ψ2(ψω(0))))=ωωψ(0)×2
  • ψ0(ψω(ψω(0)))=ψ(1)
  • ψ0(ψω(ψω(ψω(0))))=ψ(2)
  • ψ0(ψω+1(0))=ψ(ω)
  • ψ0(ψω+1(ψω(0)))=ψ(ω+1)
  • ψ0(ψω+1(ψω(ψω+1(0))))=ψ(ω×2)
  • ψ0(ψω+1(ψω+1(0)))=ψ(ω2)
  • ψ0(ψω+2(0))=ψ(ωω)
  • ψ0(ψω+3(0))=ψ(ωωω)
  • ψ0(ψω×2(0))=ψ(ψ(0))
  • ψ0(ψω×2(ψω(0)))=ψ(ψ(0)+1)
  • ψ0(ψω×2(ψω(ψω×2(0))))=ψ(ψ(0)×2)
  • ψ0(ψω×2(ψω+1(0)))=ψ(ωψ(0)+1)
  • ψ0(ψω×2(ψω×2(0)))=ψ(ψ(1))
  • ψ0(ψω×2+1(0))=ψ(ψ(ω))
  • ψ0(ψω×3(0))=ψ(ψ(ψ(0)))
  • ψ0(ψω2(0))=ψ(Ω)
  • ψ0(ψω2(ψω(0)))=ψ(Ω+1)
  • ψ0(ψω2(ψω(ψω×2(0))))=ψ(Ω+ψ(0))
  • ψ0(ψω2(ψω(ψω2(0))))=ψ(Ω+ψ(Ω))
  • ψ0(ψω2(ψω+1(0)))=ψ(Ω+ωψ(Ω)+1)
  • ψ0(ψω2(ψω×2(0)))=ψ(Ω+ψ(Ω+1))
  • ψ0(ψω2(ψω×3(0)))=ψ(Ω+ψ(Ω+ψ(Ω+1)))
  • ψ0(ψω2(ψω2(0)))=ψ(Ω×2)
  • ψ0(ψω2(ψω2(ψω2(0))))=ψ(Ω×3)
  • ψ0(ψω2+1(0))=ψ(Ω×ω)
  • ψ0(ψω2+1(ψω2(0)))=ψ(Ω×ω+Ω)
  • ψ0(ψω2+1(ψω2(ψω2+1(0))))=ψ(Ω×ω×2)
  • ψ0(ψω2+1(ψω2+1(0)))=ψ(Ω×ω2)
  • ψ0(ψω2+2(0))=ψ(Ω×ωω)
  • ψ0(ψω2+ω(0))=ψ(Ω×ψ(0))
  • ψ0(ψω2×2(0))=ψ(Ω×ψ(Ω))
  • ψ0(ψω3(0))=ψ(Ω2)
  • ψ0(ψω3(ψω(0)))=ψ(Ω2+1)
  • ψ0(ψω3(ψω2(0)))=ψ(Ω2+Ω)
  • ψ0(ψω3(ψω2(ψω3(0))))=ψ(Ω2+Ω×ψ(Ω2))
  • ψ0(ψω3(ψω3(0)))=ψ(Ω2×2)
  • ψ0(ψω3+1(0))=ψ(Ω2×ω)
  • ψ0(ψω3×2(0))=ψ(Ω2×ψ(Ω2))
  • ψ0(ψω4(0))=ψ(Ω3)
  • ψ0(ψωω(0))=ψ(Ωω)
  • ψ0(ψψ0(ψω(0))(0))=ψ(Ωψ(0))
  • ψ0(ψψ0(ψωω(0))(0))=ψ(Ωψ(Ωω))
  • ψ0(ψψ0(ψψ0(ψω(0))(0))(0))=ψ(Ωψ(Ωψ(0)))
  • ψ0(ψψ1(0)(0))=ψ(ΩΩ)
  • ψ0(ψψ1(0)(ψ0(ψψ1(0)(0))))=ψ(ΩΩ)×2
  • ψ0(ψψ1(0)(ψ1(0)))=ωψ(ΩΩ)+1
  • ψ0(ψψ1(0)(ψ1(ψω(0))))=ωψ(ΩΩ)+ψ(0)
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(0))(0))))=ωψ(ΩΩ)×2
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(0))(ψ1(ψψ0(ψψ1(0)(0))(0))))))=ωψ(ΩΩ)×3
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(0))(ψ2(0)))))=ωωψ(ΩΩ)+1
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(0))(ψω(0)))))=ψ(ΩΩ+1)
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(0))(ψω(ψψ0(ψψ1(0)(0))(0))))))=ψ(ΩΩ+ψ(ΩΩ))
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(0))(ψω×2(ψψ0(ψψ1(0)(0))(0))))))=ψ(ΩΩ+ψ(ΩΩ+ψ(ΩΩ)))
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(0))(ψω2(0)))))=ψ(ΩΩ+Ω)
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(0))(ψω3(0)))))=ψ(ΩΩ+Ω2)
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(0))(ψψ0(ψψ1(0)(0))(0)))))=ψ(ΩΩ+Ωψ(ΩΩ))
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(0))(ψψ0(ψψ1(0)(0))(ψψ0(ψψ1(0)(0)(0))))))=ψ(ΩΩ+Ωψ(ΩΩ)×2)
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(ψ0(0)))(0))))=ψ(ΩΩ+Ωψ(ΩΩ)×ω)
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(ψ0(ψ1(0))))(0))))=ψ(ΩΩ+Ωψ(ΩΩ)×ψ(0))
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(ψ0(ψψ1(0)(0))))(0))))=ψ(ΩΩ+Ωψ(ΩΩ)×ψ(ΩΩ))
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(ψ1(0)))(0))))=ψ(ΩΩ+Ωψ(ΩΩ)+1)
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(0))(0)))(0))))=ψ(ΩΩ+Ωψ(ΩΩ)×2)
  • ψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(ψ1(ψψ0(ψψ1(0)(0))(ψω(0))))(0))))=ψ(ΩΩ+Ωψ(ΩΩ+1))
  • ψ0(ψψ1(0)(ψ1(ψψ1(0)(0))))=ψ(ΩΩ×2)
  • ψ0(ψψ1(0)(ψ1(ψψ1(0)(ψ1(ψψ1(0)(0))))))=ψ(ΩΩ×3)
  • ψ0(ψψ1(0)(ψ2(0)))=ψ(ΩΩ×ω)
  • ψ0(ψψ1(0)(ψ2(ψψ0(ψψ1(0)(0))(0))))=ψ(ΩΩ×ψ(ΩΩ))
  • ψ0(ψψ1(0)(ψ2(ψψ1(0)(0))))=ψ(ΩΩ+1)
  • ψ0(ψψ1(0)(ψ2(ψψ1(0)(ψ1(ψψ1(0)(0))))))=ψ(ΩΩ+1+ΩΩ)
  • ψ0(ψψ1(0)(ψ2(ψψ1(0)(ψ1(ψψ1(0)(ψ2(0)))))))=ψ(ΩΩ+1+ΩΩ×ω)
  • ψ0(ψψ1(0)(ψ2(ψψ1(0)(ψ1(ψψ1(0)(ψ2(ψψ1(0)(0))))))))=ψ(ΩΩ+1×2)
  • ψ0(ψψ1(0)(ψ2(ψψ1(0)(ψ2(ψψ1(0)(0))))))=ψ(ΩΩ+2)
  • ψ0(ψψ1(0)(ψ3(0)))=ψ(ΩΩ+ω)
  • ψ0(ψψ1(0)(ψ3(ψψ1(0)(0))))=ψ(ΩΩ×2)
  • ψ0(ψψ1(0)(ψ3(ψψ1(0)(ψ2(ψψ1(0)(0))))))=ψ(ΩΩ×2+1)
  • ψ0(ψψ1(0)(ψ3(ψψ1(0)(ψ2(ψψ1(0)(ψ3(ψψ1(0)(0))))))))=ψ(ΩΩ×3)
  • ψ0(ψψ1(0)(ψ3(ψψ1(0)(ψ3(ψψ1(0)(0))))))=ψ(ΩΩ2)
  • ψ0(ψψ1(0)(ψ4(0)))=ψ(ΩΩω)
  • ψ0(ψψ1(0)(ψ4(ψψ1(0)(0))))=ψ(ΩΩΩ)
  • ψ0(ψψ1(0)(ψω(0)))=ψ(ψ1(0))
  • ψ0(ψψ1(0)(ψω(ψ1(ψψ1(0)(0)))))=ψ(ψ1(0)+ΩΩ)
  • ψ0(ψψ1(0)(ψω(ψ1(ψψ1(0)(ψω(0))))))=ψ(ψ1(0)×2)
  • ψ0(ψψ1(0)(ψω(ψ2(0))))=ψ(ψ1(0)×ω)
  • ψ0(ψψ1(0)(ψω(ψ2(ψψ1(0)(0)))))=ψ(Ωψ1(0)+1)
  • ψ0(ψψ1(0)(ψω(ψ2(ψψ1(0)(ψω(0))))))=ψ(Ωψ1(0)×2)
  • ψ0(ψψ1(0)(ψω(ψω(0))))=ψ(ψ1(1))
  • ψ0(ψψ1(0)(ψω(ψω+1(0))))=ψ(ψ1(ω))
  • ψ0(ψψ1(0)(ψω(ψψ1(0)(0))))=ψ(ψ1(Ω))
  • ψ0(ψψ1(0)(ψω+1(0)))=ψ(ψ1(Ω×ω))
  • ψ0(ψψ1(0)(ψω+1(ψψ1(0)(0))))=ψ(ψ1(Ω2))
  • ψ0(ψψ1(0)(ψω×2(0)))=ψ(ψ1(ψ1(0)))
  • ψ0(ψψ1(0)(ψω2(0)))=ψ(Ω2)
  • ψ0(ψψ1(0)(ψω2(ψ1(ψψ1(0)(ψω2(0))))))=ψ(Ω2+ψ1(Ω2))
  • ψ0(ψψ1(0)(ψω2(ψω(0))))=ψ(Ω2+ψ1(Ω2+1))
  • ψ0(ψψ1(0)(ψω2(ψω×2(0))))=ψ(Ω2+ψ1(Ω2+ψ1(Ω2+1)))
  • ψ0(ψψ1(0)(ψω2(ψω2(0))))=ψ(Ω2×2)
  • ψ0(ψψ1(0)(ψω2(ψω2+1(0))))=ψ(Ω2×ω)
  • ψ0(ψψ1(0)(ψω2(ψψ1(0)(0))))=ψ(Ω2×Ω)
  • ψ0(ψψ1(0)(ψω2+ω(0)))=ψ(Ω2×ψ1(0))
  • ψ0(ψψ1(0)(ψω2×2(0)))=ψ(Ω2×ψ1(Ω2))
  • ψ0(ψψ1(0)(ψω3(0)))=ψ(Ω22)
  • ψ0(ψψ1(0)(ψωω(0)))=ψ(Ω2ω)
  • ψ0(ψψ1(0)(ψψ1(0)(0)))=ψ(Ω2Ω)
  • ψ0(ψψ1(0)(ψψ1(0)(ψ1(ψψ1(0)(ψψ1(0)(0))))))=ψ(Ω2Ω+ψ1(Ω2Ω))
  • ψ0(ψψ1(0)(ψψ1(0)(ψω(0))))=ψ(Ω2Ω+ψ1(Ω2Ω+1))
  • ψ0(ψψ1(0)(ψψ1(0)(ψω×2(0))))=ψ(Ω2Ω+Ω2)
  • ψ0(ψψ1(0)(ψψ1(0)(ψψ1(0)(0))))=ψ(Ω2Ω×2)
  • ψ0(ψψ1(ψ0(0))(0))=ψ(Ω2Ω×ω)
  • ψ0(ψψ1(ψ0(ψ1(0)))(0))=ψ(Ω2Ω×ψ(0))
  • ψ0(ψψ1(ψ0(ψψ1(0)(ψω(0))))(0))=ψ(Ω2Ω×ψ(ψ1(0)))
  • ψ0(ψψ1(ψ0(ψψ1(0)(ψψ1(0)(0))))(0))=ψ(Ω2Ω×ψ(Ω2Ω))
  • ψ0(ψψ1(ψ1(0))(0))=ψ(Ω2Ω×Ω)
  • ψ0(ψψ1(ψ1(0))(ψ1(ψψ1(ψ1(0))(0))))=ψ(Ω2Ω×Ω+ψ1(Ω2Ω×Ω))
  • ψ0(ψψ1(ψ1(0))(ψω(0)))=ψ(Ω2Ω×Ω+ψ1(Ω2Ω×Ω+1))
  • ψ0(ψψ1(ψ1(0))(ψω2(0)))=ψ(Ω2Ω×Ω+Ω2)
  • ψ0(ψψ1(ψ1(0))(ψψ1(0)(0)))=ψ(Ω2Ω×Ω+Ω2Ω)
  • ψ0(ψψ1(ψ1(0))(ψψ1(0)(ψψ1(ψ1(0))(0))))=ψ(Ω2Ω×Ω×2)
  • ψ0(ψψ1(ψ1(0))(ψψ1(ψ0(0))(0)))=ψ(Ω2Ω×Ω×ω)
  • ψ0(ψψ1(ψ1(0))(ψψ1(ψ0(0))(ψψ1(ψ1(0))(0))))=ψ(Ω2Ω×Ω2)
  • ψ0(ψψ1(ψ1(0))(ψψ1(ψ0(ψ1(0)))(0)))=ψ(Ω2Ω×ψ1(0))
  • ψ0(ψψ1(ψ1(0))(ψψ1(ψ0(ψ1(ψ1(0))))(0)))=ψ(Ω2Ω×ψ1(Ω2))
  • ψ0(ψψ1(ψ1(0))(ψψ1(ψ1(0))(0)))=ψ(Ω2Ω×ψ1(Ω2Ω))
  • ψ0(ψψ1(ψ1(0))(ψψ1(ψ1(0))(ψψ1(0)(ψψ1(ψ1(0))(ψψ1(ψ1(0))(0))))))=ψ(Ω2Ω×ψ1(Ω2Ω)×2)
  • ψ0(ψψ1(ψ1(0))(ψψ1(ψ1(0))(ψψ1(ψ0(ψ1(0)))(0))))=ψ(Ω2Ω×ψ1(Ω2Ω+1))
  • ψ0(ψψ1(ψ1(0))(ψψ1(ψ1(0))(ψψ1(ψ1(0))(0))))=ψ(Ω2Ω×ψ1(Ω2Ω×2))
  • ψ0(ψψ1(ψ1(ψ0(0)))(0))=ψ(Ω2Ω×ψ1(Ω2Ω×ω))
  • ψ0(ψψ1(ψ1(ψ1(0)))(0))=ψ(Ω2Ω×ψ1(Ω2Ω×Ω))
  • ψ0(ψψ1(ψ1(ψ1(0)))(ψψ1(0)(ψψ1(ψ1(ψ1(0)))(0))))=ψ(Ω2Ω×ψ1(Ω2Ω×Ω)×2)
  • ψ0(ψψ1(ψ1(ψ1(0)))(ψψ1(ψ1(0))(ψψ1(ψ1(ψ1(0)))(0))))=ψ(Ω2Ω×ψ1(Ω2Ω×Ω×2))
  • ψ0(ψψ1(ψ1(ψ1(0)))(ψψ1(ψ1(ψ1(0)))(0)))=ψ(Ω2Ω×ψ1(Ω2Ω×ψ1(Ω2Ω)))
  • ψ0(ψψ1(ψ1(ψ1(ψ1(0))))(0))=ψ(Ω2Ω×ψ1(Ω2Ω×ψ1(Ω2Ω×Ω)))
  • ψ0(ψψ1(ψ2(0))(0))=ψ(Ω2Ω+1)
  • ψ0(ψψ1(ψ2(ψ1(ψ2(0))))(0))=ψ(Ω2Ω+2)
  • ψ0(ψψ1(ψ2(ψ2(0)))(0))=ψ(Ω2Ω+ω)
  • ψ0(ψψ1(ψψ1(0)(0))(0))=ψ(Ω2Ω×2)
  • ψ0(ψψ1(ψψ1(0)(ψ1(ψψ1(0)(0))))(0))=ψ(Ω2Ω×3)
  • ψ0(ψψ1(ψψ1(0)(ψω(0)))(0))=ψ(Ω2ψ1(0))
  • ψ0(ψψ1(ψψ1(0)(ψψ1(0)(0)))(0))=ψ(Ω2ψ1(Ω2Ω))
  • ψ0(ψψ2(0)(0))=ψ(Ω2Ω2)
  • ψ0(ψψ2(0)(ψ1(ψψ2(0)(0))))=ψ(Ω2Ω2+ψ1(Ω2Ω2))
  • ψ0(ψψ2(0)(ψ2(0)))=ψ(Ω2Ω2+ψ1(Ω2Ω2)×ω)
  • ψ0(ψψ2(0)(ψ2(ψψ1(ψψ2(0)(0))(0))))=ψ(Ω2Ω2+ψ1(Ω2Ω2)2)
  • ψ0(ψψ2(0)(ψ2(ψψ1(ψψ2(0)(0))(ψω(0)))))=ψ(Ω2Ω2+ψ1(Ω2Ω2+1))
  • ψ0(ψψ2(0)(ψ2(ψψ1(ψψ2(0)(0))(ψω2(0)))))=ψ(Ω2Ω2+Ω2)
  • ψ0(ψψ2(0)(ψ2(ψψ1(ψψ2(0)(0))(ψψ1(ψψ2(0)(0))(0)))))=ψ(Ω2Ω2+Ω2ψ1(Ω2Ω2))
  • ψ0(ψψ2(0)(ψ2(ψψ2(0)(0))))=ψ(Ω2Ω2×2)
  • ψ0(ψψ2(0)(ψω(0)))=ψ(ψ2(0))
  • ψ0(ψψ3(0)(0))=ψ(Ω3Ω3)
  • ψ0(ψψ3(0)(ψω(0)))=ψ(ψ3(0))
  • ψ0(ψψω(0)(0))=ψ(Ωω)
  • ψ0(ψψω(0)(ψ1(ψψω(0)(0))))=ψ(Ωω+ψ1(Ωω))
  • ψ0(ψψω(0)(ψ2(ψψω(0)(0))))=ψ(Ωω+ψ2(Ωω))
  • ψ0(ψψω(0)(ψω(0)))=ψ(Ωω×2)
  • ψ0(ψψω(0)(ψω(ψω(0))))=ψ(Ωω×3)
  • ψ0(ψψω(0)(ψω(ψψ1(0)(0))))=ψ(Ωω×Ω)
  • ψ0(ψψω(0)(ψω(ψψω(0)(0))))=ψ(Ωω2)
  • ψ0(ψψω(0)(ψω(ψψω(0)(ψω(0)))))=ψ(Ωω2+Ωω)
  • ψ0(ψψω(0)(ψω+1(0)))=ψ(Ωω2×ω)
  • ψ0(ψψω(0)(ψω+1(ψψω(0)(0))))=ψ(Ωω3)
  • ψ0(ψψω(0)(ψω+2(0)))=ψ(Ωωω)
  • ψ0(ψψω(0)(ψω+2(ψψω(0)(0))))=ψ(ΩωΩω)
  • ψ0(ψψω(0)(ψω×2(0)))=ψ(ψω(0))
  • ψ0(ψψω+1(0)(0))=ψ(Ωω+1Ωω+1)
  • ψ0(ψψω×2(0)(0))=ψ(Ωω×2)
  • ψ0(ψψω×2(0)(ψω(0)))=ψ(Ωω×2+Ωω)
  • ψ0(ψψω×2(0)(ψω×2(0)))=ψ(Ωω×2×2)
  • ψ0(ψψω×2(0)(ψω×3(0)))=ψ(ψω×2(0))
  • ψ0(ψψω2(0)(0))=ψ(Ωω2)
  • ψ0(ψψψ1(0)(0)(0))=ψ(ΩΩ)
  • ψ0(ψψψ2(0)(0)(0))=ψ(ΩΩ2)
  • ψ0(ψψψω(0)(0)(0))=ψ(ΩΩω)
  • ψ0(ψψψψ1(0)(0)(0)(0))=ψ(ΩΩΩ)
  • limit=ψ(ψI(0))

参考资料

  1. SuzukaCat (2025). NOCF vs MOCF. (EB/OL), Zhihu. Available at: https://zhuanlan.zhihu.com/p/1928160006743789750