主要公开日志

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

• 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的点，即没有连接边的点。 * 删除一条边。 * 对于一条连接两个不同…”）
• 2025年7月17日 (四) 16:38 GaoKao 留言 贡献创建了页面文件:TREE(3).jpg （Googology Fandom给出的TREE(3)序列的前几项。）
• 2025年7月17日 (四) 16:38 GaoKao 留言 贡献上传文件:TREE(3).jpg （Googology Fandom给出的TREE(3)序列的前几项。）
• 2025年7月17日 (四) 13:59 QWQ-bili 留言 贡献创建了页面Peano 公理体系 （重定向页面至皮亚诺公理体系） 标签：新重定向
• 2025年7月17日 (四) 13:57 QWQ-bili 留言 贡献创建了页面PA （重定向页面至皮亚诺公理体系） 标签：新重定向
• 2025年7月17日 (四) 12:45 Z 留言 贡献创建了页面Σ1稳定序数 （创建页面，内容为“Σ1稳定序数是一个非递归记号。它是最初级的稳定序数。本条目介绍<math>\omega-\pi-\Pi_0</math>之前的Σ1稳定链。 前排提示：请先阅读条目反射序数。”） 标签：可视化编辑
• 2025年7月17日 (四) 12:40 Z 留言 贡献创建了页面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…”） 标签：可视化编辑
• 2025年7月17日 (四) 12:19 Z 留言 贡献创建了页面文件:N% 282% 29 tree.webp
• 2025年7月17日 (四) 12:19 Z 留言 贡献上传文件:N% 282% 29 tree.webp
• 2025年7月17日 (四) 12:17 Z 留言 贡献创建了页面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序…”） 标签：可视化编辑
• 2025年7月17日 (四) 09:42 Tabelog 留言 贡献创建了页面皮亚诺公理体系 （创建页面，内容为“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>（后继函数的封闭性）…”） 标签：可视化编辑
• 2025年7月17日 (四) 08:15 Tabelog 留言 贡献创建了页面Goodstein序列 （重定向页面至古德斯坦序列） 标签：新重定向 可视化编辑：已切换