GaoKao的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

19:272025年7月28日 (一) 19:27 差异历史 +4,235 新超限 -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(…” 标签：可视化编辑

19:092025年7月23日 (三) 19:09 差异历史 +3,270 Y序列 →展开标签：可视化编辑
16:402025年7月23日 (三) 16:40 差异历史 +723 小 Y序列 →山脉图标签：可视化编辑

19:542025年7月22日 (二) 19:54 差异历史 +1,019 小 0-Y →展开标签：可视化编辑
19:242025年7月22日 (二) 19:24 差异历史 0 新文件:0-Y(1,4,6,3,7,9,7)展开.png 无编辑摘要当前
19:192025年7月22日 (二) 19:19 差异历史 0 新文件:0-Y(1,4,6,4)展开(2).png 无编辑摘要当前
19:172025年7月22日 (二) 19:17 差异历史 0 新文件:0-Y(1,4,6,4)展开(1).png 无编辑摘要当前
18:582025年7月22日 (二) 18:58 差异历史 0 新文件:0-Y(1,4,6,4).png 无编辑摘要当前
18:042025年7月22日 (二) 18:04 差异历史 +315 小 0-Y 无编辑摘要标签：可视化编辑
17:502025年7月22日 (二) 17:50 差异历史 +43 新文件:0y1463797.png 0-Y(1,4,6,3,7,9,7)的山脉图当前

17:412025年7月17日 (四) 17:41 差异历史 +1,268 TREE函数无编辑摘要标签：可视化编辑
16:382025年7月17日 (四) 16:38 差异历史 +66 新文件:TREE(3).jpg Googology Fandom给出的TREE(3)序列的前几项。当前

07:352025年7月16日 (三) 07:35 差异历史 +58 新文件:树的嵌入.png 解释TREE函数中两棵树的"嵌入"关系当前

23:202025年7月15日 (二) 23:20 差异历史 +2 小 TREE函数 →TREE(3) 标签：可视化编辑
23:202025年7月15日 (二) 23:20 差异历史 +2,391 新 TREE函数创建页面，内容为“'''TREE函数'''是由数理逻辑学家Harvey Friedman提出的图论函数。 == 定义 == === 树的嵌入 === 给定两棵树<math>A</math>和<math>B</math>，我们称<math>A</math>能嵌入到<math>B</math>中，如果<math>B</math>能通过有限次以下操作得到<math>A</math>： * 删除一个叶子节点。 * 若某点只有两条边和它连接，删除这个点，用一条边连接与它相邻的两个顶点(即将两条相邻的边合并成…” 标签：可视化编辑

20:502025年7月14日 (一) 20:50 差异历史 +1,032 新 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…” 标签：可视化编辑

11:462025年7月13日 (日) 11:46 差异历史 +791 新 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…” 标签：可视化编辑

19:502025年7月12日 (六) 19:50 差异历史 +1,609 新 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…” 标签：可视化编辑

22:102025年7月10日 (四) 22:10 差异历史 +15 小 FSO 修改超链接标签：可视化编辑
22:092025年7月10日 (四) 22:09 差异历史 +2,039 小超初等序列 →与 PSS Hydra 的对应标签：可视化编辑
21:212025年7月10日 (四) 21:21 差异历史 0 小超初等序列修改→举例：中的一个错误标签：可视化编辑

14:532025年7月8日 (二) 14:53 差异历史 +8 小 LVO 无编辑摘要标签：可视化编辑
14:512025年7月8日 (二) 14:51 差异历史 +824 新 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> |- |…” 标签：可视化编辑

22:042025年7月7日 (一) 22:04 差异历史 +2,041 超初等序列无编辑摘要标签：可视化编辑
21:052025年7月7日 (一) 21:05 差异历史 +30 新 HPrSS 重定向页面至超初等序列标签：新重定向可视化编辑：已切换
21:032025年7月7日 (一) 21:03 差异历史 +2,872 新超初等序列创建页面，内容为“'''超初等序列(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 表达式…” 标签：可视化编辑

22:582025年7月6日 (日) 22:58 差异历史 +1 小 Kirby-Paris Hydra →Hydra 函数[2] 标签：可视化编辑
22:532025年7月6日 (日) 22:53 差异历史 +2,135 Kirby-Paris Hydra 无编辑摘要标签：可视化编辑
22:112025年7月6日 (日) 22:11 差异历史 +1,859 新 Kirby-Paris Hydra 创建页面，内容为“'''Kirby-Paris Hydra(KP-Hydra)''' 是在一棵树上进行的单人游戏，需要很长时间才能终止。由此游戏导出的函数<math>\rm{Hydra(n)}</math>的增长率超过了皮亚诺公理体系可证明停机的一切递归函数。它与Beklemishev's worm密切相关。 == 规则 == KP-Hydra 游戏的规则如下： * 游戏从一棵有根树T开始； * 第n回合，选择T的一个叶子节点a，设a的父节点为b…” 标签：可视化编辑

20:522025年7月5日 (六) 20:52 差异历史 +3,479 线性数阵无编辑摘要标签：可视化编辑

22:102025年7月4日 (五) 22:10 差异历史 +1,527 小 Veblen 函数无编辑摘要标签：可视化编辑
20:242025年7月4日 (五) 20:24 差异历史 +65 新线性数阵创建页面标签：可视化编辑
17:212025年7月4日 (五) 17:21 差异历史 +2,448 Veblen 函数 →序数元 Veblen 函数标签：可视化编辑
16:202025年7月4日 (五) 16:20 差异历史 +726 Veblen 函数 →序数元 Veblen 函数标签：可视化编辑
16:002025年7月4日 (五) 16:00 差异历史 +6 Test 无编辑摘要
15:592025年7月4日 (五) 15:59 差异历史 +19 小 Test 无编辑摘要标签：可视化编辑
15:542025年7月4日 (五) 15:54 差异历史 +2,014 Veblen 函数添加了有限元veblen函数的定义标签：可视化编辑

22:562025年7月3日 (四) 22:56 差异历史 +1,471 Veblen 函数添加二元Veblen函数的定义标签：可视化编辑

2025年7月28日 (星期一)

2025年7月23日 (星期三)

2025年7月22日 (星期二)

2025年7月17日 (星期四)

2025年7月16日 (星期三)

2025年7月15日 (星期二)

2025年7月14日 (星期一)

2025年7月13日 (星期日)

2025年7月12日 (星期六)

2025年7月10日 (星期四)

2025年7月8日 (星期二)

2025年7月7日 (星期一)

2025年7月6日 (星期日)

2025年7月5日 (星期六)

2025年7月4日 (星期五)

2025年7月3日 (星期四)