主要公开日志

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

• 2025年7月28日 (一) 19:27 GaoKao 留言 贡献创建了页面超限(-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(…”） 标签：可视化编辑
• 2025年7月22日 (二) 19:24 GaoKao 留言 贡献创建了页面文件:0-Y(1,4,6,3,7,9,7)展开.png
• 2025年7月22日 (二) 19:24 GaoKao 留言 贡献上传文件:0-Y(1,4,6,3,7,9,7)展开.png
• 2025年7月22日 (二) 19:19 GaoKao 留言 贡献创建了页面文件:0-Y(1,4,6,4)展开(2).png
• 2025年7月22日 (二) 19:19 GaoKao 留言 贡献上传文件:0-Y(1,4,6,4)展开(2).png
• 2025年7月22日 (二) 19:17 GaoKao 留言 贡献创建了页面文件:0-Y(1,4,6,4)展开(1).png
• 2025年7月22日 (二) 19:17 GaoKao 留言 贡献上传文件:0-Y(1,4,6,4)展开(1).png
• 2025年7月22日 (二) 18:58 GaoKao 留言 贡献创建了页面文件:0-Y(1,4,6,4).png
• 2025年7月22日 (二) 18:58 GaoKao 留言 贡献上传文件:0-Y(1,4,6,4).png
• 2025年7月22日 (二) 17:50 GaoKao 留言 贡献创建了页面文件:0y1463797.png （0-Y(1,4,6,3,7,9,7)的山脉图）
• 2025年7月22日 (二) 17:50 GaoKao 留言 贡献上传文件:0y1463797.png （0-Y(1,4,6,3,7,9,7)的山脉图）
• 2025年7月17日 (四) 16:38 GaoKao 留言 贡献创建了页面文件:TREE(3).jpg （Googology Fandom给出的TREE(3)序列的前几项。）
• 2025年7月17日 (四) 16:38 GaoKao 留言 贡献上传文件:TREE(3).jpg （Googology Fandom给出的TREE(3)序列的前几项。）
• 2025年7月16日 (三) 07:35 GaoKao 留言 贡献创建了页面文件:树的嵌入.png （解释TREE函数中两棵树的"嵌入"关系）
• 2025年7月16日 (三) 07:35 GaoKao 留言 贡献上传文件:树的嵌入.png （解释TREE函数中两棵树的"嵌入"关系）
• 2025年7月15日 (二) 23:20 GaoKao 留言 贡献创建了页面TREE函数 （创建页面，内容为“'''TREE函数'''是由数理逻辑学家Harvey Friedman提出的图论函数。 == 定义 == === 树的嵌入 === 给定两棵树<math>A</math>和<math>B</math>，我们称<math>A</math>能嵌入到<math>B</math>中，如果<math>B</math>能通过有限次以下操作得到<math>A</math>： * 删除一个叶子节点。 * 若某点只有两条边和它连接，删除这个点，用一条边连接与它相邻的两个顶点(即将两条相邻的边合并成…”） 标签：可视化编辑
• 2025年7月14日 (一) 20:50 GaoKao 留言 贡献创建了页面EBO （创建页面，内容为“'''EBO(Extended Buchholz Ordinal, 扩展布赫兹序数)'''，是扩展BOCF的极限。 {| class="wikitable" |+EBO !记号 !表达式 |- |BOCF |<math>\psi(\Omega_{\Omega_\ddots})=\psi(I)</math> |- |MOCF |<math>\psi(\Omega_{\Omega_\ddots})=\psi(\psi_I(0))</math> |- |BMS |<math>\begin{pmatrix} 0&1&2&3&2\\ 0&1&1&1&0\\ 0&1&1&0&0 \end{pmatrix}</math> |- |0-Y |<math>1,4,7,9,5</math> |- |Y…”） 标签：可视化编辑
• 2025年7月13日 (日) 11:46 GaoKao 留言 贡献创建了页面TFBO （创建页面，内容为“'''TFBO(Takeuti-Feferman-Buchholz ordinal)'''，是Buchholz Hydra的极限。 {| class="wikitable" |+TFBO !记号 !表达式 |- |BOCF |<math>\psi(\Omega_{\omega+1})</math> |- |MOCF |<math>\psi(\psi_\omega(0))</math> |- |BMS |<math>\begin{pmatrix} 0&1&2&3\\ 0&1&1&2\\ 0&1&0&0 \end{pmatrix}</math> |- |0-Y |<math>1,4,6,9</math> |- |Y序列 |<math>1,2,4,8,11,15</math> |- |Bashicu…”） 标签：可视化编辑
• 2025年7月12日 (六) 19:50 GaoKao 留言 贡献创建了页面PSS Hydra （创建页面，内容为“'''PSS Hydra(Pair Sequence System Hydra)'''， 是一种Hydra型序数记号，其行为和BO之前的BOCF类似。 == 定义 == === 合法表达式 === PSS Hydra 的表达式由<math>\psi^H_n(n\in\N)</math><ref>PSS Hydra 的定义中使用的是<math>\psi_n</math>，这里为了和OCF区分，添加了上标H。</ref>，<math>+</math>，<math>0</math>和括号组成。在使用时，<math>\psi^H_n</math>通常简写为<mat…”） 标签：可视化编辑
• 2025年7月8日 (二) 14:51 GaoKao 留言 贡献创建了页面LVO （创建页面，内容为“LVO (Large Veblen Ordinal, 大维布伦序数)，是序数元Veblen函数的极限。 {| class="wikitable" |+LVO !记号 !表达式 |- |Veblen函数 |\(\varphi(1@(1,0))=\min \alpha\mapsto\varphi(1@\alpha) Fixed Point\) |- |BOCF/MOCF |<math>\psi(\Omega^{\Omega^\Omega})</math> |- |BMS |<math>\begin{pmatrix} 0&1&2&3&4\\ 0&1&1&1&1 \end{pmatrix} =(0,0)(1,1)(2,1)(3,1)(4,1)</math> |- |…”） 标签：可视化编辑
• 2025年7月7日 (一) 21:05 GaoKao 留言 贡献创建了页面HPrSS （重定向页面至超初等序列） 标签：新重定向 可视化编辑：已切换
• 2025年7月7日 (一) 21:03 GaoKao 留言 贡献创建了页面超初等序列 （创建页面，内容为“'''超初等序列(Hyper Primitive Sequence System, HPrSS)'''，是一种Worm型序数记号，它是PrSS的一种扩展。 == 定义 == === 合法表达式 === 一个合法的 HPrSS 表达式是以 1 开头的正整数序列，即形如 <math>(s_1,s_2,\cdots,s_n)\quad(n,s_1,s_2,\cdots,s_n\in\N,s_1=1)</math> 的序列。 例如：<math>(1,4,6,4)</math>和<math>(1,1,4,5,1,4)</math>都是合法的 HPrSS 表达式…”） 标签：可视化编辑
• 2025年7月6日 (日) 22:11 GaoKao 留言 贡献创建了页面Kirby-Paris Hydra （创建页面，内容为“'''Kirby-Paris Hydra(KP-Hydra)''' 是在一棵树上进行的单人游戏，需要很长时间才能终止。由此游戏导出的函数<math>\rm{Hydra(n)}</math>的增长率超过了皮亚诺公理体系可证明停机的一切递归函数。它与Beklemishev's worm密切相关。 == 规则 == KP-Hydra 游戏的规则如下： * 游戏从一棵有根树T开始； * 第n回合，选择T的一个叶子节点a，设a的父节点为b…”） 标签：可视化编辑
• 2025年7月4日 (五) 20:24 GaoKao 留言 贡献创建了页面线性数阵 （创建页面） 标签：可视化编辑
• 2025年7月3日 (四) 21:13 用户账号GaoKao 留言 贡献已创建