Tabelog的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

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函数无编辑摘要标签：可视化编辑

22:212025年7月18日 (五) 22:21 差异历史 +3,816 大数史无编辑摘要标签：可视化编辑

11:212025年7月17日 (四) 11:21 差异历史 −22 小 SCO 无编辑摘要标签：可视化编辑
10:082025年7月17日 (四) 10:08 差异历史 +16 小 SCO 无编辑摘要标签：可视化编辑
10:062025年7月17日 (四) 10:06 差异历史 +16 小 Beklemishev's Worm 无编辑摘要标签：可视化编辑
10:062025年7月17日 (四) 10:06 差异历史 +1,777 皮亚诺公理体系无编辑摘要标签：可视化编辑
09:512025年7月17日 (四) 09:51 差异历史 +38 小 Beklemishev's Worm 无编辑摘要标签：可视化编辑
09:492025年7月17日 (四) 09:49 差异历史 +1,004 小大数史无编辑摘要标签：可视化编辑
09:422025年7月17日 (四) 09:42 差异历史 +2,234 新皮亚诺公理体系创建页面，内容为“Peano 公理是定义自然数集合及其基本性质的一组公理。 === 定义 === 用数学语言（一阶逻辑与集合论）可形式化表述如下：设 <math>N</math> 为一个集合，<math>0\in N</math> 为其一个特定元素，<math>s:N\rightarrow N</math>为一个函数（称为“后继函数”），满足以下五条公理： # <math>0\in N</math>（0 是自然数） # <math>\forall n\in N, s(n)\in N</math>（后继函数的封闭性）…” 标签：可视化编辑
09:122025年7月17日 (四) 09:12 差异历史 −496 小忙碌海狸函数修改图片语法标签：可视化编辑：已切换
09:102025年7月17日 (四) 09:10 差异历史 +8 小忙碌海狸函数 test 图片标签：可视化编辑：已切换
09:052025年7月17日 (四) 09:05 差异历史 −119 小忙碌海狸函数 test 图片
09:022025年7月17日 (四) 09:02 差异历史 +8 小古戈尔无编辑摘要标签：可视化编辑
08:582025年7月17日 (四) 08:58 差异历史 +137 小忙碌海狸函数修改表格语法标签：可视化编辑：已切换
08:542025年7月17日 (四) 08:54 差异历史 −10 小忙碌海狸函数 test 表格标签：可视化编辑：已切换
08:262025年7月17日 (四) 08:26 差异历史 −85 小忙碌海狸函数无编辑摘要标签：可视化编辑
08:192025年7月17日 (四) 08:19 差异历史 +38 小增长率无编辑摘要标签：可视化编辑
08:182025年7月17日 (四) 08:18 差异历史 +26 小 BHO 无编辑摘要标签：可视化编辑
08:162025年7月17日 (四) 08:16 差异历史 −3 Goodstein序列已将重定向目标从古德斯坦序列更改为Goodstein函数标签：已更改重定向目标
08:152025年7月17日 (四) 08:15 差异历史 +33 新 Goodstein序列重定向页面至古德斯坦序列标签：新重定向可视化编辑：已切换
08:142025年7月17日 (四) 08:14 差异历史 −89 小 Tritri 无编辑摘要标签：可视化编辑
08:072025年7月17日 (四) 08:07 差异历史 +23 新追平重定向页面至Catching 标签：新重定向可视化编辑：已切换
08:062025年7月17日 (四) 08:06 差异历史 +4 小 Googolism - Part 2 无编辑摘要标签：可视化编辑
08:062025年7月17日 (四) 08:06 差异历史 −19 小 Test test 标签：可视化编辑

21:562025年7月16日 (三) 21:56 差异历史 0 小 weak Veblen 函数 why the \(\) is guogao? 标签：可视化编辑：已切换
21:552025年7月16日 (三) 21:55 差异历史 +14,192 新 weak Veblen 函数创建页面，内容为“weak Veblen 函数（又称“弱 φ”、“弱 veblen”等）是 Veblen 函数的变体。 === 定义 === 一些必要的区分：现在有两种 Veblen 函数的变体可被称为弱 φ。如果称 Veblen 函数的末位+1等价于跳到下一个 ε 点（不动点进制），那么可以直观地定义下面两种弱 φ（与此同时，Veblen 函数是 FP φ）：末位+1=序数*ω（或称 *ω φ）和末位+1=序数+1（+1 φ）。据信在 2024 年…” 标签：可视化编辑

22:282025年7月15日 (二) 22:28 差异历史 +22,164 新 Catching 创建页面，内容为“（待补充） == Hyp cos 的定义与分析 == === 分析 - BEAF、FGH 和 SGH（第 1 部分） === 你认为 SGH 第一次追上 FGH 是在 LVO 还是 <math>\psi(\Omega_\omega)</math>？你认为 BEAF 中军团的极限是 LVO 吗？ We used to think the limit of a legion of BEAF is LVO, which "happens to be" the first catching ordinal some people think. Now we know the real catching ordinal, so let's analysis BEAF again. I hope to see the real strengt…” 标签：可视化编辑

22:012025年7月13日 (日) 22:01 差异历史 +1,145 Googolism 无编辑摘要标签：可视化编辑
17:492025年7月13日 (日) 17:49 差异历史 +3,741 新 BEAF 创建页面，内容为“Bowers' Exploding Array Function（BEAF，鲍尔斯爆炸数组函数）是由乔纳森·鲍尔斯（Jonathan Bowers）发明的一种表示极大数的符号系统，类似于链式箭头符号，但强度远超后者。它是数阵记号（Array Notation）和扩展数阵记号（Extended Array Notation）的超集，两者均由鲍尔斯发明。由于其简洁性和极快的增长速度，BEAF 在 googology 中颇具名气，更不用…” 标签：可视化编辑
17:262025年7月13日 (日) 17:26 差异历史 +605 斯坦豪斯-莫泽表示法无编辑摘要标签：可视化编辑
12:222025年7月13日 (日) 12:22 差异历史 +53 小 Goodstein函数无编辑摘要标签：可视化编辑
12:212025年7月13日 (日) 12:21 差异历史 +40 小斯坦豪斯-莫泽表示法无编辑摘要标签：可视化编辑
12:202025年7月13日 (日) 12:20 差异历史 +42 小 BO 无编辑摘要标签：可视化编辑
12:192025年7月13日 (日) 12:19 差异历史 +34 小 SCO 无编辑摘要标签：可视化编辑
12:162025年7月13日 (日) 12:16 差异历史 +13 小哈代层级已将重定向目标从增长层级更改为增长层级#哈代层级标签：已更改重定向目标
12:162025年7月13日 (日) 12:16 差异历史 +19 小慢速增长层级已将重定向目标从增长层级更改为增长层级#慢速增长层级标签：已更改重定向目标
12:162025年7月13日 (日) 12:16 差异历史 −403 小中速增长层级已将重定向目标从增长层级更改为增长层级#中速增长层级标签：已更改重定向目标
12:152025年7月13日 (日) 12:15 差异历史 −563 小快速增长层级已将重定向目标从增长层级更改为增长层级#快速增长层级标签：已更改重定向目标可视化编辑：已切换
11:582025年7月13日 (日) 11:58 差异历史 −408 小慢速增长层级页面内容被替换为“#重定向增长层级” 标签：替换
11:572025年7月13日 (日) 11:57 差异历史 −392 小哈代层级页面内容被替换为“#重定向增长层级” 标签：替换

2025年7月21日 (星期一)

2025年7月20日 (星期日)

2025年7月18日 (星期五)

2025年7月17日 (星期四)

2025年7月16日 (星期三)

2025年7月15日 (星期二)

2025年7月13日 (星期日)