主要公开日志

所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2025年7月26日 (六) 09:57 虚妄之幻 留言 贡献创建了页面Hybrid Prss （Hybrid Prss） 标签：可视化编辑
• 2025年7月25日 (五) 17:42 用户账号SyncZeta 留言 贡献已创建
• 2025年7月24日 (四) 21:02 Tabelog 留言 贡献创建了页面BAN （创建页面，内容为“'''Bird 数组表示法'''（Bird's Array Notation,BAN）是由 Chris Bird 发明的一种大数记号。它是 BEAF 的扩展，无论是在历史上还是在定义上都类似于 BEAF，但与 BEAF 略有不同，使其更加“简单”。 == 定义 == === “简单”数阵 === ==== 线性和多维数阵 ==== * '''规则 1'''. 若有一或两个元素，则有 <math>\{a\} = a,\{a,b\} = a^b</math> * '''规则 2'''. 若最后一个元素为 1，则可…”） 标签：可视化编辑
• 2025年7月24日 (四) 20:40 Zhy137036 留言 贡献创建了页面PPS分析 （扽西内容来自Phyrion）
• 2025年7月24日 (四) 20:14 Tabelog 留言 贡献创建了页面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> 是…”） 标签：可视化编辑
• 2025年7月24日 (四) 19:51 Guogaoloogy 留言 贡献创建了页面Fake Fake Fake Zeta （fffz） 标签：可视化编辑
• 2025年7月23日 (三) 20:33 夏浅不是下潜 留言 贡献创建了页面LPrSSvsHPrSSvs0-YvsY （创建页面，内容为“{| class="wikitable" |+ !LPrSS !HPrSS !0-Y !Y !MOCF |- | <math>1,3</math> | <math>1,3</math> | <math>1,3</math> | <math>1,2,4</math> | <math>\psi(0)</math> |- | <math>1,3,2</math> | <math>1,3,2</math> | <math>1,3,2</math> | <math>1,2,4,2</math> | <math>\psi(0)\times\omega</math> |- | <math>1,3,3</math> | <math>1,3,3</math> | <math>1,3,3</math> | <math>1,2,4,4</math> | <math>\psi(1)</math> |- | <math>1,3,4</math> | <math>1,3,4</math> | <math>1,3,4</math> | <math…”） 标签：可视化编辑：已切换
• 2025年7月23日 (三) 17:04 用户账号ABCD 留言 贡献已创建
• 2025年7月23日 (三) 17:02 夏浅不是下潜 留言 贡献创建了页面超限(-1)-Y （创建页面，内容为“'''超限 (-1)-Y''' 是一种 Worm 型序数记号． == 定义 == === 合法式 === 一个'''合法'''的超限 (-1)-Y 表达式是形如 <math>S=(s_{1},s_{2},\cdots,s_{n})|n,s_{1},s_{2},\cdots,s_{n}<\Omega</math> 且 <math>\langle \text{1} \rangle\ \quad s_{1}=1\quad\text{if }n>0.</math> '''例：''' <math>(1,\omega)</math> 是一个合法的超限 (-1)-Y 表达式. <math>(\Omega_\Omega,1,2)</math> 不是一个合法的超限 (…”）
• 2025年7月23日 (三) 16:40 夏浅不是下潜 留言 贡献创建了页面-1-Y （创建页面，内容为“'''(-1)-Y''' 是一种 Worm 型序数记号． == 定义 == === 合法式 === 一个'''合法'''的 (-1)-Y 表达式是形如 <math>S=(s_{1},s_{2},\cdots,s_{n})|n,s_{1},s_{2},\cdots,s_{n}\in\mathbb{N}</math> 且 <math>\langle \text{1} \rangle\ \quad s_{1}=1\quad\text{if }n>0.</math> '''例：''' <math>(1,2,2,3,3)</math> 是一个合法的 (-1)-Y 表达式. <math>(\Omega,1,2)</math> 不是一个合法的 PrSS 表达式，因为 <m…”） 标签：可视化编辑：已切换
• 2025年7月23日 (三) 16:17 用户账号Guogaoloogy 留言 贡献已创建
• 2025年7月22日 (二) 22:01 YourCpper 留言 贡献创建了页面JO （创建页面，内容为“JO（Jäger's Ordinal，雅格序数），是一个重要的序数。 {| class="wikitable" |+JO !记号 !表达式 |- |BOCF |<math>\psi(\Omega_{I+1})</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 & 3 & 4\\ 0 & 1 & 1 & 1 & 2\\ 0 & 1 & 1 & 0 & 0\end{pmatrix}</math> |- |0-Y |<math>1,4,7,9,12</math> |- |Y序列 |<math>1,2,4,8,12,15,19</math> |- |ex-hydra |<math>p1(p3(p3(p2(p3))))</math> |- |M记号…”） 标签：可视化编辑
• 2025年7月22日 (二) 21:41 YourCpper 留言 贡献创建了页面BIO （创建页面，内容为“BIO(Bird's Ordinal，鸟之序数)，是 googology 历史中的一个重要的序数。它是鸟之记号（Bird's Array Notation）的极限。 {| class="wikitable" |+BIO !序数记号 !表达式 |- !BOCF/MOCF !<math>\psi(\Omega_\Omega)</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 & 3\\ 0 & 1 & 1 & 1\\ 0 & 1 & 1 & 0\end{pmatrix}</math> |- |[…”） 标签：可视化编辑
• 2025年7月22日 (二) 20:15 用户账号YourCpper 留言 贡献已创建
• 2025年7月22日 (二) 19:24 GaoKao 留言 贡献创建了页面文件:0-Y(1,4,6,3,7,9,7)展开.png
• 2025年7月22日 (二) 19:24 GaoKao 留言 贡献上传文件:0-Y(1,4,6,3,7,9,7)展开.png
• 2025年7月22日 (二) 19:19 GaoKao 留言 贡献创建了页面文件:0-Y(1,4,6,4)展开(2).png
• 2025年7月22日 (二) 19:19 GaoKao 留言 贡献上传文件:0-Y(1,4,6,4)展开(2).png
• 2025年7月22日 (二) 19:17 GaoKao 留言 贡献创建了页面文件:0-Y(1,4,6,4)展开(1).png
• 2025年7月22日 (二) 19:17 GaoKao 留言 贡献上传文件:0-Y(1,4,6,4)展开(1).png
• 2025年7月22日 (二) 18:58 GaoKao 留言 贡献创建了页面文件:0-Y(1,4,6,4).png
• 2025年7月22日 (二) 18:58 GaoKao 留言 贡献上传文件:0-Y(1,4,6,4).png
• 2025年7月22日 (二) 17:50 GaoKao 留言 贡献创建了页面文件:0y1463797.png （0-Y(1,4,6,3,7,9,7)的山脉图）
• 2025年7月22日 (二) 17:50 GaoKao 留言 贡献上传文件:0y1463797.png （0-Y(1,4,6,3,7,9,7)的山脉图）
• 2025年7月22日 (二) 13:12 Z 留言 贡献创建了页面HSS Hydra （创建页面，内容为“HSS Hydra是一个序数记号 == 定义 == 其合法式与极限基本列与PSS Hydra相同。 如果末尾的<math>p_n</math>是<math>p_1</math>，则与PSS Hydra规则相同 否则，向外找到包着它的所有<math>p_{n-1}</math>,记它们为这个表达式的根。随后，按照字典序比较所有根内部的表达式，其表达式小于最内侧根的表达式的根称为小根。<math>p_n</math>找到最靠内的，内部没有小根的根…”） 标签：可视化编辑
• 2025年7月22日 (二) 03:55 Phyrion 留言 贡献创建了页面用户讨论:😰 （无） 标签：新话题
• 2025年7月20日 (日) 22:29 虚妄之幻 留言 贡献创建了页面Levy 层次结构 （初始） 标签：可视化编辑
• 2025年7月20日 (日) 22:23 Tabelog 留言 贡献创建了页面证明论序数 （创建页面，内容为“'''证明论序数'''（或称证明论强度序数，Proof-Theoretic Ordinal）是衡量形式理论强度的核心工具，通过将理论映射到序数上，刻画其能证明的良序关系的复杂度。该概念源于希尔伯特的证明论计划，旨在通过有限方法证明数学基础理论的一致性，后由阿克曼（Wilhelm Ackermann）和根岑（Gerhard Gentzen）发展为序数分析技术。 === 定义和性质 === 序数是良序集的…”） 标签：可视化编辑
• 2025年7月20日 (日) 20:42 Tabelog 留言 贡献创建了页面Catching 函数 （创建页面，内容为“Catching 函数是 hypcos 创造的序数记号，用以记录 FGH 和 SGH 的“交点”。 === 定义 === 将 C(α) 用于表示这个函数，其定义如下： * 当 α=0 时：C(0) 是第一个序数 β，使得 g_β(n) 与 f_β(n) 可比； * 当 α 为后继序数时（即 α=γ+1）：C(α+1) 是 C(α) 之后下一个满足 g_β(n) 与 f<sub>β(n)</s…”） 标签：可视化编辑
• 2025年7月20日 (日) 20:28 Apocalypse 留言 贡献创建了页面Y序列 （1-Y定义(不包括山脉图)）
• 2025年7月20日 (日) 19:49 Phyrion 留言 贡献创建了页面讨论:华严大数 （😰：​ 新章节） 标签：新话题
• 2025年7月20日 (日) 19:42 😰 留言 贡献创建了页面华严大数 （创建页面，内容为“== 前言 == <blockquote>【说说不可说】(1)[https://buddhaspace.org/gem_browse.php/fpath=gem/brd/Buddhism/U/F00101OU&num=2]</blockquote>”） 标签：可视化编辑
• 2025年7月20日 (日) 19:17 夏夜星空 留言 贡献创建了页面SAM （创建页面，内容为“'''SAM''' SAM，即Simple Admissble Mark，简单非递归系统''（事实上这里中英不完全一致，但是别管历史遗留问题）''，分为New.和Old.两个版本”）
• 2025年7月20日 (日) 18:37 Phyrion 留言 贡献已将Tabelog的用户组从监督员和​管理员更改至（无）
• 2025年7月20日 (日) 18:29 Phyrion 留言 贡献已将Tabelog的用户组从（无）更改至管理员和​监督员 （对本wiki作出较大贡献）
• 2025年7月20日 (日) 16:05 Phyrion 留言 贡献创建了页面Googology 娱乐 （创建页面，内容为“以下是Googology 社区中的一些娱乐项目： === 1.增量游戏 === 关于增量游戏的介绍，可以看[https://zhuanlan.zhihu.com/p/564483395 这篇文章]（写的非常好） 不过，大部分增量游戏的极限数字并不大，基本只有指数塔级别。但[https://patcailmemer.github.io/Ordinal-Markup/ 序数增量]里的序数最高达到了<math>\psi(\Omega_2\omega)</math> === 2.你画我猜 === [https://enazo.cn 绘迷你画我猜]…”） 标签：可视化编辑
• 2025年7月19日 (六) 17:30 318`4😥 留言 贡献创建了页面FOS用DcN和1-Y枚举 （test） 标签：可视化编辑
• 2025年7月19日 (六) 17:08 用户账号318`4😥 留言 贡献已创建
• 2025年7月19日 (六) 05:41 Phyrion 留言 贡献移动页面Googology 梗至Googology 梗百科
• 2025年7月19日 (六) 05:26 Phyrion 留言 贡献创建了页面Googology 梗 （创建页面，内容为“本页面收录了一些中文ggg圈的梗。 ==== 1.定义没有，牛B吹爆 ==== 起因是3184说了句“来点小小的链节余项震撼”，后被hypcos回复“定义没有，牛B吹爆” 左|缩略图|截图日期：2024年8月9日 因为其过于经典而被广为流传。 后来还衍生出了多种版本，如“1234，5B67”和“□□□□，□□□□” ==== 2.XX给你打了 ==== 出自于涵对hypcos的回…”） 标签：可视化编辑
• 2025年7月19日 (六) 05:13 Phyrion 留言 贡献创建了页面文件:Tank.jpg
• 2025年7月19日 (六) 05:13 Phyrion 留言 贡献上传文件:Tank.jpg
• 2025年7月19日 (六) 05:02 Phyrion 留言 贡献创建了页面文件:12345B67.jpg
• 2025年7月19日 (六) 05:02 Phyrion 留言 贡献上传文件:12345B67.jpg
• 2025年7月18日 (五) 16:40 Z 留言 贡献创建了页面非递归BMS分析 （创建页面，内容为“本条目展示非递归BMS和其他非递归记号的列表分析 {| class="wikitable" |+ !非递归BMS !其他记号 |- |<math>\varnothing</math> |<math>0</math> |- |<math>(1)</math> |<math>1</math> |- |<math>(1)(1)</math> |<math>2</math> |}”） 标签：可视化编辑
• 2025年7月18日 (五) 16:00 Z 留言 贡献创建了页面非递归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(末列…”） 标签：可视化编辑
• 2025年7月18日 (五) 09:26 虚妄之幻 留言 贡献创建了页面模型 （模型的定义） 标签：可视化编辑
• 2025年7月18日 (五) 08:24 Z 留言 贡献创建了页面投影序数 （创建页面，内容为“投影序数(projection)是test_alpha0创造的非递归记号。投影序数是目前为止最方便的强大非递归序数表达方式，伴生的限制则是——它很有可能永远无法良定义（至少在比较小的序数处如此）。但即使如此，它可以作为非递归序数和递归记号的交接桥梁，并在国内大数社群广泛地被使用。 == 定义 == === 第一个2-投影序数 === 我们定义1-投影序数(<math>1-projecti…”） 标签：可视化编辑
• 2025年7月18日 (五) 08:07 Apocalypse 留言 贡献创建了页面0-Y （创建页面，内容为“'''0-Y'''是一种Worm型序数记号，它是PrSS的一种扩展。 == 定义 == === 合法表达式 === 一个合法的 0-Y 表达式是以 1 开头的正整数序列，即形如 <math>(a_1,a_2,\cdots,a_n)\quad(n,a_1,a_2,\cdots,a_n\in\N,a_1=1)</math> 的序列。 例如：<math>(1,4,6,4)</math>和<math>(1,1,4,5,1,4)</math>都是合法的 0-Y 表达式，而<math>(1,2,\pi)</math>不是。 === 结构 === 0-Y…”）
• 2025年7月18日 (五) 05:39 Apocalypse 留言 贡献创建了页面SCG函数 & SSCG函数 （创建页面，内容为“'''SCG(SubCubic Graph number)函数'''和'''SSCG(Simple SubCubic Graph number)函数'''是两个由Harvey Friedman提出的图论函数。 == 定义 == === 图的嵌入 === 给定两个图<math>A</math>和<math>B</math>，我们称<math>A</math>能嵌入到<math>B</math>中，如果<math>B</math>能通过有限次以下操作得到<math>A</math>： * 删除一个度为0的点，即没有连接边的点。 * 删除一条边。 * 对于一条连接两个不同…”）