Tabelog的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

13:172025年7月27日 (日) 13:17 差异历史 +25 小 Googolism - Part 3 无编辑摘要
13:172025年7月27日 (日) 13:17 差异历史 +26 小 Googolism - Part 2 无编辑摘要
13:152025年7月27日 (日) 13:15 差异历史 −619 小 Googolism - Part 1 无编辑摘要
13:142025年7月27日 (日) 13:14 差异历史 +25 小 Googolism - Part 1 无编辑摘要
13:142025年7月27日 (日) 13:14 差异历史 +25 小 Googolism 无编辑摘要标签：可视化编辑：已切换
13:122025年7月27日 (日) 13:12 差异历史 +104 小超E记号无编辑摘要标签：可视化编辑
13:082025年7月27日 (日) 13:08 差异历史 +315 小反射序数无编辑摘要标签：可视化编辑
12:522025年7月27日 (日) 12:52 差异历史 +21 小 Googology 梗百科无编辑摘要标签：已被回退可视化编辑
12:472025年7月27日 (日) 12:47 差异历史 +11 小 Googology 娱乐无编辑摘要当前标签：可视化编辑
12:472025年7月27日 (日) 12:47 差异历史 +62 小 Googology 社区无编辑摘要标签：可视化编辑
12:432025年7月27日 (日) 12:43 差异历史 −79 小 BO 无编辑摘要标签：可视化编辑
12:422025年7月27日 (日) 12:42 差异历史 +24 小 BMS分析无编辑摘要标签：可视化编辑
12:402025年7月27日 (日) 12:40 差异历史 −28 小 BIO 无编辑摘要标签：可视化编辑
12:382025年7月27日 (日) 12:38 差异历史 +6 小 BHO 无编辑摘要标签：可视化编辑
12:362025年7月27日 (日) 12:36 差异历史 −455 小 BHM分析无编辑摘要标签：可视化编辑：已切换
12:312025年7月27日 (日) 12:31 差异历史 +7 小 7625597484987 无编辑摘要当前标签：可视化编辑
12:312025年7月27日 (日) 12:31 差异历史 +319 小 0-Y 无编辑摘要标签：可视化编辑
12:172025年7月27日 (日) 12:17 差异历史 −38 小 -1-Y 无编辑摘要标签：可视化编辑

20:432025年7月25日 (五) 20:43 差异历史 −284 小序数无编辑摘要标签：可视化编辑
20:372025年7月25日 (五) 20:37 差异历史 +13 小 BIO 无编辑摘要标签：可视化编辑
20:202025年7月25日 (五) 20:20 差异历史 −4 小条目编写指南无编辑摘要标签：可视化编辑
20:192025年7月25日 (五) 20:19 差异历史 +15 小 SVO 无编辑摘要标签：可视化编辑
20:132025年7月25日 (五) 20:13 差异历史 −20 小 ZFC公理体系无编辑摘要标签：可视化编辑
19:272025年7月25日 (五) 19:27 差异历史 +350 小 Σ1稳定序数无编辑摘要标签：可视化编辑：已切换
19:122025年7月25日 (五) 19:12 差异历史 +17 小 Ξ函数无编辑摘要标签：可视化编辑
19:082025年7月25日 (五) 19:08 差异历史 −266 小华严大数无编辑摘要当前标签：可视化编辑：已切换

23:032025年7月24日 (四) 23:03 差异历史 +18,033 BAN 无编辑摘要标签：可视化编辑
22:312025年7月24日 (四) 22:31 差异历史 +15,453 BAN 无编辑摘要标签：可视化编辑
21:432025年7月24日 (四) 21:43 差异历史 +7,243 BAN 无编辑摘要标签：可视化编辑
21:022025年7月24日 (四) 21:02 差异历史 +6,220 新 BAN 创建页面，内容为“'''Bird 数组表示法'''（Bird's Array Notation,BAN）是由 Chris Bird 发明的一种大数记号。它是 BEAF 的扩展，无论是在历史上还是在定义上都类似于 BEAF，但与 BEAF 略有不同，使其更加“简单”。 == 定义 == === “简单”数阵 === ==== 线性和多维数阵 ==== * '''规则 1'''. 若有一或两个元素，则有 <math>\{a\} = a,\{a,b\} = a^b</math> * '''规则 2'''. 若最后一个元素为 1，则可…” 标签：可视化编辑
20:182025年7月24日 (四) 20:18 差异历史 +124 小忙碌海狸函数无编辑摘要标签：可视化编辑
20:142025年7月24日 (四) 20:14 差异历史 +3,351 新 CKO 创建页面，内容为“CKO(Church-Kleene Ordinal)是可数序数的上确界。 === 定义 === Church-Kleene 序数，记作 <math>\omega_1^{\rm CK}</math>，是可计算序数（computable ordinals）的上确界。具体来说，它是在可计算良序（computable well-orderings）的序型（order types）集合中的最小不可数上界。 ==== 形式化定义 ==== 设 <math>\mathrm{O}</math> 是所有可计算良序的序型构成的集合。即，若 <math>\prec</math> 是…” 标签：可视化编辑
19:542025年7月24日 (四) 19:54 差异历史 +240 小证明论序数无编辑摘要标签：可视化编辑：已切换
19:352025年7月24日 (四) 19:35 差异历史 +7,183 证明论序数无编辑摘要

21:222025年7月23日 (三) 21:22 差异历史 +2,983 证明论序数无编辑摘要标签：可视化编辑

21:192025年7月22日 (二) 21:19 差异历史 +6,650 证明论序数无编辑摘要标签：可视化编辑：已切换

22:132025年7月21日 (一) 22:13 差异历史 +2,162 证明论序数无编辑摘要标签：可视化编辑
21:322025年7月21日 (一) 21:32 差异历史 +3,209 证明论序数无编辑摘要标签：可视化编辑：已切换
19:482025年7月21日 (一) 19:48 差异历史 −110 小忙碌海狸函数无编辑摘要
19:472025年7月21日 (一) 19:47 差异历史 −4 小 Test 无编辑摘要
19:462025年7月21日 (一) 19:46 差异历史 +12 小 Test 无编辑摘要
19:452025年7月21日 (一) 19:45 差异历史 +15 小 Test 无编辑摘要标签：可视化编辑
19:422025年7月21日 (一) 19:42 差异历史 +150 小 Test 无编辑摘要标签：可视化编辑：已切换
19:312025年7月21日 (一) 19:31 差异历史 +3,702 证明论序数无编辑摘要标签：可视化编辑

22:232025年7月20日 (日) 22:23 差异历史 +1,633 新证明论序数创建页面，内容为“'''证明论序数'''（或称证明论强度序数，Proof-Theoretic Ordinal）是衡量形式理论强度的核心工具，通过将理论映射到序数上，刻画其能证明的良序关系的复杂度。该概念源于希尔伯特的证明论计划，旨在通过有限方法证明数学基础理论的一致性，后由阿克曼（Wilhelm Ackermann）和根岑（Gerhard Gentzen）发展为序数分析技术。 === 定义和性质 === 序数是良序集的…” 标签：可视化编辑
21:542025年7月20日 (日) 21:54 差异历史 +1,332 Catching 函数无编辑摘要标签：可视化编辑
20:432025年7月20日 (日) 20:43 差异历史 +79 小 EBO 无编辑摘要标签：可视化编辑
20:422025年7月20日 (日) 20:42 差异历史 +1 小 BO 无编辑摘要标签：可视化编辑
20:422025年7月20日 (日) 20:42 差异历史 +2,859 新 Catching 函数创建页面，内容为“Catching 函数是 hypcos 创造的序数记号，用以记录 FGH 和 SGH 的“交点”。 === 定义 === 将 C(α) 用于表示这个函数，其定义如下： * 当 α=0 时：C(0) 是第一个序数 β，使得 gβ(n) 与 fβ(n) 可比； * 当 α 为后继序数时（即 α=γ+1）：C(α+1) 是 C(α) 之后下一个满足 gβ(n) 与 fβ(n)</s…” 标签：可视化编辑
20:192025年7月20日 (日) 20:19 差异历史 −154 小 Circle函数无编辑摘要标签：可视化编辑

2025年7月27日 (星期日)

2025年7月25日 (星期五)

2025年7月24日 (星期四)

2025年7月23日 (星期三)

2025年7月22日 (星期二)

2025年7月21日 (星期一)

2025年7月20日 (星期日)