Tabelog的用户贡献
更多操作
2025年7月18日 (星期五)
2025年7月17日 (星期四)
- 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 标签:可视化编辑
2025年7月16日 (星期三)
- 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 年…” 标签:可视化编辑
2025年7月15日 (星期二)
- 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…” 标签:可视化编辑
2025年7月13日 (星期日)
- 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 小 哈代层级 页面内容被替换为“#重定向 增长层级” 标签:替换
- 10:462025年7月13日 (日) 10:46 差异 历史 +190 小 Googolism - Part 6 增加index 标签:可视化编辑:已切换
- 10:442025年7月13日 (日) 10:44 差异 历史 −755 小 Googolism - Part 5 增加index 标签:可视化编辑:已切换
- 10:382025年7月13日 (日) 10:38 差异 历史 +75 小 Googolism - Part 4 增加index 标签:可视化编辑:已切换
- 10:352025年7月13日 (日) 10:35 差异 历史 +184 小 Googolism - Part 3 增加index 标签:可视化编辑
- 10:322025年7月13日 (日) 10:32 差异 历史 −1,107 Googolism - Part 2 增加index 标签:可视化编辑
- 10:312025年7月13日 (日) 10:31 差异 历史 +137 小 Googolism - Part 1 增加index 标签:可视化编辑
- 10:292025年7月13日 (日) 10:29 差异 历史 +802 小 Googolism 无编辑摘要 标签:可视化编辑
2025年7月12日 (星期六)
2025年7月11日 (星期五)
- 20:362025年7月11日 (五) 20:36 差异 历史 +54,102 新 Googolism - Part 6 创建页面,内容为“=== Part 6.1: <math>f_{\omega}(f_3(10))</math> ~ <math>f_{\omega+1}(f_3(10))</math> === * <nowiki>Giggotri, {10, 10, {10, 100, 2}}</nowiki> * Great grangol / Grangolsuplex, E100##2#2 * Grangolsuplexigong, E100,000##2#2 * Googoldexisuplex, E100##(E100#1#2) * Googolplexidexisuplex, E100##(E100#2#2) * Grangoldexisuplex, E100##(E100#100#2) * Grangoldudexisuplex, E100##(E100#100#3) * '''Moser''', 2[2[5, 2 in a mega-gon * Joyce's tetratri, g(2,1,1,4,3,3) * Tritriple…” 标签:可视化编辑
- 20:302025年7月11日 (五) 20:30 差异 历史 +79,480 新 Googolism - Part 5 创建页面,内容为“=== Part 5.1: 10↑↑10↑↑10 ~ 10↑↑↑4 === * Tria-taxis / tria-teraksys / dekalogialogue, E1#1#3 = 10↑↑10↑↑10 * Googoloctiplexidex, E100#9#2 * Equiduoxal, 10<sup>(≡≡)</sup> * Dupercoxal, 10<sup>(≡≡`2)</sup> * Grand Hyperillion, H* (10,2) * Googolnoniplexidex, E100#10#2 * Googoldeciplexidex, E100#11#2 * Grand-exi-hyperillion, H* (16,2) * Doovolplex / Icosalogialogue, 10↑↑10↑↑20 * Dutriquomevalka, 2[3,4] * Grand-icosi-hyperillion…” 标签:可视化编辑
- 20:152025年7月11日 (五) 20:15 差异 历史 +52,765 Googolism - Part 4 无编辑摘要 标签:可视化编辑