Z的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

09:572025年7月20日 (日) 09:57 差异历史 +683 非递归BMS分析无编辑摘要标签：可视化编辑

18:302025年7月19日 (六) 18:30 差异历史 +4,026 非递归BMS分析无编辑摘要标签：可视化编辑
11:262025年7月19日 (六) 11:26 差异历史 +1,680 非递归BMS分析无编辑摘要标签：可视化编辑
11:102025年7月19日 (六) 11:10 差异历史 +1,978 非递归BMS分析无编辑摘要标签：可视化编辑
10:492025年7月19日 (六) 10:49 差异历史 −140 小非递归BMS分析无编辑摘要标签：可视化编辑
10:342025年7月19日 (六) 10:34 差异历史 +922 非递归BMS分析无编辑摘要标签：可视化编辑
10:272025年7月19日 (六) 10:27 差异历史 +935 小投影 VS 反射稳定无编辑摘要标签：可视化编辑

20:592025年7月18日 (五) 20:59 差异历史 +1,359 非递归BMS分析无编辑摘要标签：可视化编辑
20:182025年7月18日 (五) 20:18 差异历史 +360 小非递归BMS分析无编辑摘要标签：可视化编辑
16:412025年7月18日 (五) 16:41 差异历史 +18 小非递归BMS分析无编辑摘要标签：可视化编辑
16:402025年7月18日 (五) 16:40 差异历史 +247 新非递归BMS分析创建页面，内容为“本条目展示非递归BMS和其他非递归记号的列表分析 {| class="wikitable" |+ !非递归BMS !其他记号 |- |<math>\varnothing</math> |<math>0</math> |- |<math>(1)</math> |<math>1</math> |- |<math>(1)(1)</math> |<math>2</math> |}” 标签：可视化编辑
16:382025年7月18日 (五) 16:38 差异历史 −4 小非递归BMS 无编辑摘要标签：可视化编辑
16:372025年7月18日 (五) 16:37 差异历史 −10 小投影序数无编辑摘要标签：可视化编辑
16:362025年7月18日 (五) 16:36 差异历史 +3,772 投影 VS 反射稳定无编辑摘要标签：可视化编辑
16:002025年7月18日 (五) 16:00 差异历史 +1,450 新非递归BMS 创建页面，内容为“非递归BMS是用BMS结构来表示非递归序数的一个记号。 == 定义 == 首列一定是若干的1构成 0和空等价，在列末可以任意添加0而不改变表达式本身大小，如<math>(1,1,1,1)(2,2,1)(3,3,2)</math>等价于<math>(1,1,1,1,0)(2,2,1,0,0)(3,3,2,0,0)</math> 如果末列是<math>(1)</math>，则等同于后继如<math>(1,1,1)(2,2)(1)=(1,1,1)(2,2)+1</math> 否则，如果LNZ(末列…” 标签：可视化编辑
09:182025年7月18日 (五) 09:18 差异历史 −672 基本列重定向页面至序数#数学定义#基本列当前标签：新重定向可视化编辑：已切换
09:172025年7月18日 (五) 09:17 差异历史 +701 小序数无编辑摘要标签：可视化编辑
08:492025年7月18日 (五) 08:49 差异历史 +18 小投影序数无编辑摘要标签：可视化编辑
08:482025年7月18日 (五) 08:48 差异历史 +2,803 投影序数无编辑摘要标签：可视化编辑
08:242025年7月18日 (五) 08:24 差异历史 +3,449 新投影序数创建页面，内容为“投影序数(projection)是test_alpha0创造的非递归记号。投影序数是目前为止最方便的强大非递归序数表达方式，伴生的限制则是——它很有可能永远无法良定义（至少在比较小的序数处如此）。但即使如此，它可以作为非递归序数和递归记号的交接桥梁，并在国内大数社群广泛地被使用。 == 定义 == === 第一个2-投影序数 === 我们定义1-投影序数(<math>1-projecti…” 标签：可视化编辑

19:382025年7月17日 (四) 19:38 差异历史 +3,886 Σ1稳定序数无编辑摘要标签：可视化编辑
19:222025年7月17日 (四) 19:22 差异历史 −10 小 Σ1稳定序数无编辑摘要标签：可视化编辑
19:202025年7月17日 (四) 19:20 差异历史 −11 小 Σ1稳定序数无编辑摘要标签：可视化编辑
19:192025年7月17日 (四) 19:19 差异历史 +1 小 Σ1稳定序数无编辑摘要标签：可视化编辑
19:182025年7月17日 (四) 19:18 差异历史 +330 Σ1稳定序数无编辑摘要标签：可视化编辑
19:002025年7月17日 (四) 19:00 差异历史 −130 小 Σ1稳定序数无编辑摘要标签：可视化编辑
18:542025年7月17日 (四) 18:54 差异历史 +15,979 Σ1稳定序数无编辑摘要标签：可视化编辑
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 重定向页面至忙碌海狸函数当前标签：新重定向可视化编辑

2025年7月20日 (星期日)

2025年7月19日 (星期六)

2025年7月18日 (星期五)

2025年7月17日 (星期四)

2025年7月16日 (星期三)

2025年7月15日 (星期二)