主要公开日志
更多操作
所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
- 2025年7月20日 (日) 20:42 Tabelog 留言 贡献创建了页面Catching 函数 (创建页面,内容为“Catching 函数是 hypcos 创造的序数记号,用以记录 FGH 和 SGH 的“交点”。 === 定义 === 将 C(α) 用于表示这个函数,其定义如下: * 当 α=0 时:C(0) 是第一个序数 β,使得 g<sub>β(n)</sub> 与 f<sub>β(n)</sub> 可比; * 当 α 为后继序数时(即 α=γ+1):C(α+1) 是 C(α) 之后下一个满足 g<sub>β(n)</sub> 与 f<sub>β(n)</s…”) 标签:可视化编辑