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

主要公开日志

更多操作

所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。

日志
  • 2025年7月28日 (一) 18:38 Tabelog 留言 贡献创建了页面NOCF (创建页面,内容为“NOCF(None Ordinal Collapse Function)是 OCF 的一种。 === 理念 === 由于 NOCF 没有完整的定义,这里给出它的理念: <math>\psi_\alpha(0)=\Omega_\alpha\quad(\Omega_0=1)</math>,<math>\psi_\alpha(\sharp+1)=\psi_\alpha(\sharp)+1</math>;在 OCF 内遇到 <math>\Omega_\alpha</math> 的处理方式与 MOCF 一致。 === 分析 === 下列分析的等号左侧为 NOCF,右侧为 MOCF。<…”) 标签可视化编辑