Z的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

18:122025年7月17日 (四) 18:12 差异历史 +6,070 Σ1稳定序数无编辑摘要标签：可视化编辑
17:232025年7月17日 (四) 17:23 差异历史 +8,388 Σ1稳定序数无编辑摘要标签：可视化编辑
12:452025年7月17日 (四) 12:45 差异历史 +18 小 Σ1稳定序数无编辑摘要标签：可视化编辑
12:452025年7月17日 (四) 12:45 差异历史 +201 新 Σ1稳定序数创建页面，内容为“Σ1稳定序数是一个非递归记号。它是最初级的稳定序数。本条目介绍<math>\omega-\pi-\Pi_0</math>之前的Σ1稳定链。前排提示：请先阅读条目反射序数。” 标签：可视化编辑
12:402025年7月17日 (四) 12:40 差异历史 +2,105 新 Circle函数创建页面，内容为“Circle函数是Harvey Friedman提出的一个快速增长的函数 == 定义 == 由平面上n个不相交的圆(可能外离或内含)组成了一个序列<math>\{C_1,C_2,\cdots,C_n\}</math>.把并集<math>C_a\cup C_{a+1}\cup\cdots C_{b-1}\cup C_b</math>记作<math>C_{[a,b]}</math>.给定一个正整数k，如果存在满足“<math>k\leq i<j\leq n/2</math>,且存在把<math>C_{[i,2i]}</math>变成<math>C_{[j,2j]}</math>的子集的同胚拓扑变换”的<mat…” 标签：可视化编辑
12:212025年7月17日 (四) 12:21 差异历史 −214 小 Friedman序列撤销Z（讨论）的修订版本1287 标签：撤销
12:202025年7月17日 (四) 12:20 差异历史 +214 小 Friedman序列无编辑摘要标签：已被回退可视化编辑
12:172025年7月17日 (四) 12:17 差异历史 +1,663 新 Friedman序列创建页面，内容为“Friedman序列，是 Harvey Friedman 提出的。 == 定义 == 考虑一个正整数构成的序列<math>\{a_1,a_2,\cdots,a_k\}</math>,我们定义Friedman序列如下：若对于正整数k来说，序列满足不存在正整数<math>1\leq i< j\leq k/2</math>,使得<math>\{a_i,a_{i+1},\cdots,a_{2i}\}</math>是<math>\{a_j,a_{j+1},\cdots,a_{2j}\}</math>的子序列，则称其为关于k的Friedman序列。函数<math>n(k)</math>定义为关于k的Friedman序…” 标签：可视化编辑
11:522025年7月17日 (四) 11:52 差异历史 +33 小 TREE函数无编辑摘要标签：可视化编辑
09:172025年7月17日 (四) 09:17 差异历史 +18 小稳定序数无编辑摘要标签：可视化编辑
09:162025年7月17日 (四) 09:16 差异历史 +1,016 小稳定序数无编辑摘要标签：可视化编辑
09:012025年7月17日 (四) 09:01 差异历史 +151 小稳定序数无编辑摘要标签：可视化编辑
08:532025年7月17日 (四) 08:53 差异历史 +16,072 反射序数无编辑摘要标签：可视化编辑
07:502025年7月17日 (四) 07:50 差异历史 +36 小 weak Veblen 函数无编辑摘要标签：可视化编辑

20:012025年7月16日 (三) 20:01 差异历史 −120 小反射序数无编辑摘要标签：可视化编辑
20:002025年7月16日 (三) 20:00 差异历史 +6,599 反射序数无编辑摘要标签：可视化编辑
19:322025年7月16日 (三) 19:32 差异历史 +7,912 反射序数无编辑摘要标签：可视化编辑
07:352025年7月16日 (三) 07:35 差异历史 +6,703 反射序数无编辑摘要标签：可视化编辑
07:092025年7月16日 (三) 07:09 差异历史 +18 小反射序数无编辑摘要标签：可视化编辑
07:092025年7月16日 (三) 07:09 差异历史 +2,657 反射序数无编辑摘要标签：可视化编辑
06:302025年7月16日 (三) 06:30 差异历史 +153 新反射序数创建页面，内容为“反射是一个非递归记号。它表示非递归序数，其特点是并不会表示其极限之下的所有序数。它具有深厚的集合论背景”

18:512025年7月15日 (二) 18:51 差异历史 −708 基本列无编辑摘要标签：可视化编辑
18:002025年7月15日 (二) 18:00 差异历史 +85 新 Busy Beaver 重定向页面至忙碌海狸函数当前标签：新重定向可视化编辑
17:582025年7月15日 (二) 17:58 差异历史 +18 小忙碌海狸函数无编辑摘要标签：可视化编辑
17:582025年7月15日 (二) 17:58 差异历史 +6,068 忙碌海狸函数无编辑摘要标签：可视化编辑
16:172025年7月15日 (二) 16:17 差异历史 +1,168 忙碌海狸函数无编辑摘要标签：可视化编辑
16:072025年7月15日 (二) 16:07 差异历史 +4,201 新忙碌海狸函数创建页面，内容为“忙碌海狸函数（Busy Beaver Function，又名BB函数或Radó的Σ函数）是一个不可计算的快速增长函数。它是最著名的不可计算函数，也是专业数学中出现的有史以来增长最快的函数之一。 == 定义 == === 图灵机 === 图灵机，是由英国数学家艾伦・麦席森・图灵于1936年提出的一种抽象的计算模型，即将人们使用纸笔进行数学运算的过程进行抽象，由一个虚拟的…” 标签：可视化编辑
15:192025年7月15日 (二) 15:19 差异历史 +42 新 Xi函数重定向页面至Ξ函数当前标签：新重定向可视化编辑
15:182025年7月15日 (二) 15:18 差异历史 +53 小 Ξ函数无编辑摘要标签：可视化编辑
15:182025年7月15日 (二) 15:18 差异历史 +4,235 新 Ξ函数创建页面，内容为“Ξ函数是Adam P. Goucher定义的一个快速增长的不可计算函数。它的“增长率”被估算为OFP。 == 定义 == === SKI演算 === Ξ函数的定义基于SKI演算，SKI演算是组合逻辑的一个子系统，它是<math>\lambda</math>演算的前身。SKI演算是一颗二叉树，其中叶子是组合子为三个符号S、K、I，它们使用括号来表示树。SKI程序的一个简单的例子是<math>(((SK)S)((KI)S))</math>.我们默…” 标签：可视化编辑
14:052025年7月15日 (二) 14:05 差异历史 +6 小投影 VS 反射稳定无编辑摘要标签：可视化编辑
14:042025年7月15日 (二) 14:04 差异历史 0 小投影 VS 反射稳定无编辑摘要标签：可视化编辑
14:032025年7月15日 (二) 14:03 差异历史 +2,916 投影 VS 反射稳定无编辑摘要标签：可视化编辑
13:152025年7月15日 (二) 13:15 差异历史 +2,128 新投影 VS 反射稳定创建页面，内容为“本条目展示投影序数和反射序数、稳定序数的列表分析 {| class="wikitable" |+ !投影序数 !反射稳定 |- |<math>\omega</math> |<math>1</math> |- |<math>\omega\times2</math> |<math>2nd~1</math> |- |<math>\omega\times3</math> |<math>3rd~1</math> |- |<math>\omega^2</math> |<math>1-1</math> |- |<math>\omega^2+\omega</math> |<math>1~aft~1-1</math> |- |<math>\omega^2+\omega\times2</math> |<math>2nd~1~aft~1-1</math> |- |<math>\omega^…” 标签：可视化编辑

18:012025年7月14日 (一) 18:01 差异历史 +1,407 超E记号无编辑摘要标签：可视化编辑
10:452025年7月14日 (一) 10:45 差异历史 +9 小超E记号无编辑摘要标签：可视化编辑
10:442025年7月14日 (一) 10:44 差异历史 +70 小超E记号无编辑摘要标签：可视化编辑
10:402025年7月14日 (一) 10:40 差异历史 +46 小线性数阵无编辑摘要标签：可视化编辑
10:382025年7月14日 (一) 10:38 差异历史 +3,529 BEAF 无编辑摘要标签：可视化编辑
10:372025年7月14日 (一) 10:37 差异历史 −4,707 线性数阵已将重定向目标从BEAF更改为BEAF#线性数阵标签：已更改重定向目标可视化编辑
10:322025年7月14日 (一) 10:32 差异历史 +39 线性数阵重定向页面至BEAF 标签：新重定向可视化编辑
10:282025年7月14日 (一) 10:28 差异历史 +265 斯坦豪斯-莫泽表示法无编辑摘要标签：可视化编辑
10:162025年7月14日 (一) 10:16 差异历史 −18 小 BEAF 无编辑摘要标签：可视化编辑
10:142025年7月14日 (一) 10:14 差异历史 +4,806 新 BSM 创建页面，内容为“Bashicu急矩阵(Bashicu Sudden Matrix,BSM)是Bashicu Hyudora发明的序数记号。它目前还未被证明良序。它被认为是急模式的源头 == 定义 == ''前排提示：请先阅读BMS和BHM的定义'' BSM只有找坏根规则和BMS不一致。以下介绍不一致的地方。 # 第0列：默认行、列标均从1开始，并在第1列之前加上一个额外的没有值的第0列。如果BHM中一…” 标签：可视化编辑

15:472025年7月13日 (日) 15:47 差异历史 +2,948 BHM分析无编辑摘要标签：可视化编辑
15:232025年7月13日 (日) 15:23 差异历史 −14 小超初等序列无编辑摘要标签：可视化编辑
15:212025年7月13日 (日) 15:21 差异历史 +15 小 BMS 无编辑摘要标签：可视化编辑
15:182025年7月13日 (日) 15:18 差异历史 +5 小 7625597484987 无编辑摘要标签：可视化编辑
15:172025年7月13日 (日) 15:17 差异历史 +24 小古戈尔无编辑摘要标签：可视化编辑
15:172025年7月13日 (日) 15:17 差异历史 −18 小 Tritri 无编辑摘要标签：可视化编辑

2025年7月17日 (星期四)

2025年7月16日 (星期三)

2025年7月15日 (星期二)

2025年7月14日 (星期一)

2025年7月13日 (星期日)