主要公开日志
更多操作
所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
- 2025年7月16日 (三) 21:55 Tabelog 留言 贡献创建了页面Weak veblen函数 (创建页面,内容为“weak Veblen 函数(又称“弱 φ”、“弱 veblen”等)是 Veblen 函数的变体。 === 定义 === 一些必要的区分:现在有两种 Veblen 函数的变体可被称为弱 φ。如果称 Veblen 函数的末位+1等价于跳到下一个 ε 点(不动点进制),那么可以直观地定义下面两种弱 φ(与此同时,Veblen 函数是 FP φ):末位+1=序数*ω(或称 *ω φ)和末位+1=序数+1(+1 φ)。据信在 2024 年…”) 标签:可视化编辑