主要公开日志

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

• 2026年3月1日 (日) 13:02 IqyMeow 留言 贡献创建了页面讨论:BHM （BHM=BSM吗：​ 新章节） 标签：新话题
• 2026年2月28日 (六) 19:16 Z 留言 贡献创建了页面基于翻转性质的大数函数Flip(n,a) （创建页面，内容为“Kirby 描述了一个独立于 PA 的命题“翻转性质”<ref name=":0">Kirby L A S. Flipping properties in arithmetic[J]. The Journal of Symbolic Logic, 1982, 47(2): 416-422.</ref>。本条目介绍基于翻转性质的函数<math>\mathrm{Flip}(n,a)</math> . === 翻转性质 === '''定义 1'''. 设 X 为自然数的有限集，<math>\langle A_n\rangle</math>为 X 的子集构成的一个有限序列。若将<math>\langle A_n\rangle</math>中的某些元…”） 标签：可视化编辑
• 2026年2月28日 (六) 18:44 Z 留言 贡献创建了页面文件:v2-f24e0fa83b934ca943e4f057fd25c1e3 1440w.png
• 2026年2月28日 (六) 18:44 Z 留言 贡献上传文件:v2-f24e0fa83b934ca943e4f057fd25c1e3 1440w.png
• 2026年2月28日 (六) 18:43 Z 留言 贡献创建了页面文件:v2-20f50bf7a453ada487974dcc486401cf 1440w.png
• 2026年2月28日 (六) 18:43 Z 留言 贡献上传文件:v2-20f50bf7a453ada487974dcc486401cf 1440w.png
• 2026年2月28日 (六) 18:40 Z 留言 贡献创建了页面文件:v2-9d16302f36a26572d963c1c4c652eebc 1440w.png
• 2026年2月28日 (六) 18:40 Z 留言 贡献上传文件:v2-9d16302f36a26572d963c1c4c652eebc 1440w.png
• 2026年2月28日 (六) 18:37 Z 留言 贡献创建了页面文件:v2-0fac7192f084c9d058a61ad35b83c054 1440w.png
• 2026年2月28日 (六) 18:37 Z 留言 贡献上传文件:v2-0fac7192f084c9d058a61ad35b83c054 1440w.png
• 2026年2月28日 (六) 18:32 Z 留言 贡献创建了页面文件:v2-7bdbac5d06cfe86ef0162ab98c727176 1440w.png
• 2026年2月28日 (六) 18:32 Z 留言 贡献上传文件:v2-7bdbac5d06cfe86ef0162ab98c727176 1440w.png
• 2026年2月28日 (六) 18:29 Z 留言 贡献创建了页面2025年中文大数社区十大事件 （创建页面，内容为“大数数学（Googology，ggg）是系统性地研究如何构造大自然数的数学分支。中文大数社区是一个致力于发展大数数学理论的中心化业余数学社区，它以一系列 QQ 群为核心，其成员为较为严肃的大数数学爱好者。广义的中文大数社区包含中文互联网上所有关心和讨论大数数学相关问题的人。 本词条总结了 2025 年中文大数社区影响力最大的 10 个事件（…”） 标签：可视化编辑
• 2026年2月28日 (六) 18:06 Z 留言 贡献创建了页面沙拉数 （创建页面，内容为“googology中有“沙拉”这样的现象，即把若干种大数记号“组合”到一起，变成一个看上去很复杂的东西，但实际上强度没有什么变化；一般情况下，与其“原料”中的最强者相比没多少提升。 === 简单的混合 === ==== 函数的复合 ==== 设大数函数f、g分别具有相当于Hardy层数（Hardy hierarchy，简记为HH）中<math>\alpha</math>、<math>\beta</math>的增长…”） 标签：可视化编辑
• 2026年2月28日 (六) 17:19 Z 留言 贡献创建了页面序数尺 （创建页面，内容为“序数记号的序数尺，是一种将该记号极限之下的序数保序映射到实数轴的方法。 == 定义 == 以下提供一个序数尺的定义，序数尺将给定的序数记号S所刻画的序数映射到了实数区间(0,1)上。或者更准确地说，映射到了该实数区间的有理点的一小部分上.记作记作f(序数记号表达式)=实数。 记S的极限为L，<math>\alpha[n]</math>为<math>\alpha</math>的基本列第n项.…”） 标签：可视化编辑
• 2026年2月27日 (五) 04:13 星汐镜Littlekk 留言 贡献创建了页面用户:星汐镜Littlekk/自用概念梳理 （自用页面，若有疑问前往b站lt_littlekk）
• 2026年2月26日 (四) 14:03 油手就行 留言 贡献创建了页面BLM分析 （创建页面，内容为“BLM（Bashicu Large Matrix）是Bashicu创造的记号，文字规则不详，其展开器可参考[https://hypcos.github.io/notation-explorer/ NE]。BLM是目前NE上最小的记号，因为其奇特的行为引起了gggist的广泛兴趣。<ref> [https://zhuanlan.zhihu.com/p/2009657886595388394 BLM vs BMS - 知乎]</ref>此分析出自梅天狸。 {|class="wikitable" |BLM |BMS |- |<math>\varnothing</math> |<math>\varnothing</math> |- |(0) |(0) |- |(0)(1) |(0)…”） 标签：可视化编辑
• 2026年2月26日 (四) 08:44 环三氧杂四氢 留言 贡献创建了页面用户:环三氧杂四氢 （创建页面，内容为“缩略图”） 标签：可视化编辑
• 2026年2月26日 (四) 08:43 环三氧杂四氢 留言 贡献创建了页面文件:xubiaozhi.gif （续标志）
• 2026年2月26日 (四) 08:43 环三氧杂四氢 留言 贡献上传文件:xubiaozhi.gif （续标志）
• 2026年2月26日 (四) 08:42 环三氧杂四氢 留言 贡献创建了页面文件:baixie.gif （拜谢）
• 2026年2月26日 (四) 08:42 环三氧杂四氢 留言 贡献上传文件:baixie.gif （拜谢）
• 2026年2月26日 (四) 06:39 星汐镜Littlekk 留言 贡献创建了页面连续统假设 （创建页面，内容为“'''连续统假设(Continuum Hypothesis，简称CH)'''是德国数学家格奥尔格·康托尔（Georg Cantor）于1878年提出的集合论核心猜想，是大卫·希尔伯特1900年提出的23个世纪数学问题的首位问题，也是20世纪数理逻辑与数学基础研究中最具影响力的命题之一。该猜想断言不存在基数严格介于自然数集基数ℵ₀与实数集基数𝔠之间的无穷集合，其核心是对无穷集合基数…”） 标签：可视化编辑
• 2026年2月25日 (三) 23:24 Z 留言 贡献创建了页面Catching函数分析2：EBO~JO （创建页面，内容为“本条目展示Catching函数在EBO到JO之间的过程。以下左为FGH，右为SGH。均为MOCF <math>\begin{align}.\\&f_3(f_{\psi(\psi_I(0))}(n))\sim\psi(\psi_I(0)+1)\\&f_{\omega}^n(f_{\psi(\psi_I(0))}(n))\sim\psi(\psi_I(0)+\Omega^\omega)\\&f_{\psi(0)}^n(f_{\psi(\psi_I(0))}(n))\sim\psi(\psi_I(0)+\psi_1(\Omega))\\&f_{\psi(\Omega_\omega)}^n(f_{\psi(\psi_I(0))}(n))\sim\psi(\psi_I(0)+\psi_1…”） 标签：可视化编辑
• 2026年2月25日 (三) 22:55 Z 留言 贡献创建了页面Catching函数分析1：BO~EBO （创建页面，内容为“本条目展示Catching函数的分析。以下左为FGH，右为SGH。均用MOCF表示。 \begin{align}.\\&f_3(f_{\psi(\Omega_\omega)}(n))\sim\psi(\Omega_\omega+1)\\&f_4^n(f_{\psi(\Omega_\omega)}(n))\sim\psi(\Omega_\omega+\Omega)\\&f_\omega^n(f_{\psi(\Omega_\omega)}(n))\sim\psi(\Omega_\omega+\Omega^\Omega)\\&f_{\omega^\omega}^n(f_{\psi(\Omega_\omega)}(n))\sim\psi(\Omega_\omega+\Omega^{\Omega^\Omeg…”） 标签：可视化编辑
• 2026年2月25日 (三) 22:54 Z 留言 贡献创建了页面Catching函数分析 （创建页面，内容为“本条目展示Catching函数的分析条目汇总。 Catching函数分析1：BO~EBO 分类:分析”） 标签：可视化编辑
• 2026年2月25日 (三) 21:50 Z 留言 贡献创建了页面RRSS （创建页面，内容为“Remainder Retention Sequence System(RRSS) 是 梦幻の蝶在 2025.6.22 提出并在 2025.7.19 完善的序数记号。目前已经被发现无穷降链。 == 定义 == RRSS的合法表达式是1开头的自然数序列。极限是1,ω。 阶商序数：a 和 b 的阶商序数指的是<math>\omega\times c+d</math>，其中<math>d=a\bmod b</math>，<math>c=(a-d)/b</math>。 序数差：<math>\omega\times a+b</math>和<math>\omega\times c+d</math>的序…”） 标签：可视化编辑
• 2026年2月25日 (三) 18:00 Phyrion 留言 贡献移动页面googology至Googology，不留重定向
• 2026年2月25日 (三) 17:58 Phyrion 留言 贡献移动页面iblp至iBLP，不留重定向
• 2026年2月25日 (三) 17:42 虚妄之幻 留言 贡献创建了页面滤子 （filter第一部分） 标签：可视化编辑
• 2026年2月25日 (三) 17:35 Phyrion 留言 贡献创建了页面文件:blp示例图.png
• 2026年2月25日 (三) 17:35 Phyrion 留言 贡献上传文件:blp示例图.png
• 2026年2月25日 (三) 10:10 用户账号环三氧杂四氢 留言 贡献已创建
• 2026年2月25日 (三) 03:39 星汐镜Littlekk 留言 贡献创建了页面用户:星汐镜Littlekk （测试自身页面） 标签：可视化编辑
• 2026年2月24日 (二) 12:02 Z 留言 贡献创建了页面sqar函数 （创建页面，内容为“Sqar函数，又名独方函数，是Increasinity于2025年提出的大数函数。 == 定义 == 函数sqar(n)定义为按照以下规则，能够写出的最多的字符串数量： * 所有字符串都只包含已经选取的n种字符 * 第k个字符串长度不超过k * 对于任意u＞v，在第u个字符串不能通过删除一部分字符使其成为第v个字符串 可以看出，sqar函数类似于Friedman序列，是按照规则不断地写字…”） 标签：可视化编辑
• 2026年2月23日 (一) 23:01 Phyrion 留言 贡献创建了页面ACK （重定向页面至阿克曼函数） 标签：新重定向 可视化编辑
• 2026年2月23日 (一) 01:10 星汐镜Littlekk 留言 贡献创建了页面大基数公理 （大基数公理（超链接未补，严谨定义版，可借鉴曹知秋大数理论放一些引子在最前面）） 标签：可视化编辑
• 2026年2月22日 (日) 16:53 Baixie01000a7 留言 贡献创建了页面DEN （重定向页面至iblp） 标签：新重定向
• 2026年2月22日 (日) 14:07 用户账号Windows98 留言 贡献已创建
• 2026年2月22日 (日) 11:43 用户账号Dstty 留言 贡献已创建
• 2026年2月22日 (日) 10:01 Tabelog 留言 贡献创建了页面哥德尔不完备性 （创建页面，内容为“以下是 Gödel 关于完备性定理的证明。 ---------- 众所周知，怀特海和罗素构建逻辑和数学的方法是，将某些显而易见的命题置于公理之上，并根据一些精确表述的推理原理，以纯粹形式化的方式（即不再诉诸符号含义）从中推导出逻辑和数学命题。这种思路自然会立即引发一个问题：置于顶端的公理和推理原理体系是否完备，即是否真的足以推导出…”）
• 2026年2月22日 (日) 00:39 用户账号源千雪 留言 贡献已创建
• 2026年2月21日 (六) 23:37 油手就行 留言 贡献创建了页面iblp （创建页面，内容为“== 记号简介 == 无限基本Laver图案(Infinite Basic Laver Pattern)是由test_alpha0的记号Basic Laver Pattren改造而来。IBLP目前尚不理想，还存在许多的坏图案，test_alpha0规定其极限表达式为(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2)1(5,4,3,2)2(6,5,4)1。尽管如此，IBLP仍然被认为是目前最强的记号。本页面介绍的规则对应[https://hypcos.github.io/notation-explorer/ NE]上的DEN2。 == 定义 == === 定义1 （IBLP…”） 标签：可视化编辑
• 2026年2月21日 (六) 22:54 Tabelog 留言 贡献创建了页面变换映射 （创建页面，内容为“变换映射方法是<code>P進大好きbot</code>发展的一个系统性地对记号进行分析和证明良序的方法。 分析一个符号时，需要将其与另一个符号进行比较。换句话说，需要明确“哪个项对应哪个项”。在传统的表格分析中，我们并非写出每个项对应的项，而是简单地选择有限个看起来美观的项，然后写出希望它们对应的项。而使用转换映射进行分析，则是…”） 标签：可视化编辑：已切换
• 2026年2月21日 (六) 19:52 Z 留言 贡献创建了页面弱MMS VS ω-Y （创建页面，内容为“本条目展示弱MMS与ω-Y的列表分析。 注：在<math>()(1,1)(2,2,1,1)</math>之前，弱MMS与MM3相同。 * ()(1,1)(2,2,1,1)=1,3,10 * ()(1,1)(2,2,1,1)(1,1)=1,3,10,3 * ()(1,1)(2,2,1,1)(1,1)(2,2,1)=1,3,10,3,9 * ()(1,1)(2,2,1,1)(1,1)(2,2,1)(3,3,2,1)=1,3,10,3,9,27 * ()(1,1)(2,2,1,1)(1,1)(2,2,1,1)=1,3,10,3,10 * ()(1,1)(2,2,1,1)(2,1)=1,3,10,5 * ()(1,1)(2,2,1,1)(2,1,1)=1,3,10,5,9 * ()(1,1)(2,2,1,1)(2,1,1)(3,2,2)=1,3,10,5,10 * ()(1,1)(2,…”） 标签：可视化编辑
• 2026年2月21日 (六) 19:48 Z 留言 贡献创建了页面弱MMS （创建页面，内容为“弱MMS是MMS的改版。 == 定义 == 将MMS定义中，根的计数序列去掉。坏根直接取末列最下非0项（LNZ）的父项所在列，数值为LNZ-1的项中，行标最小的元素。 其余规则同MMS。 分析 主词条：弱MMS VS ω-Y 弱MMS的强度与ω-Y相同。 {{默认排序:序数记号}} 分类:记号”） 标签：可视化编辑
• 2026年2月21日 (六) 19:39 Z 留言 贡献创建了页面ZSS Hydra分析 （创建页面，内容为“本词条展示ZSS Hydra（左）与BMS（右）的对比分析。 * p0=(0) * p0(p0)=(0)(1) * p0(p0+p0)=(0)(1)(1) * p0(p0(p0))=(0)(1)(2) * p0(p1)=(0,0)(1,1) * p0(p1+p0)=(0,0)(1,1)(1,0) * p0(p1+p0(p0))=(0,0)(1,1)(1,0)(2,0) * p0(p1+p0(p1))=(0,0)(1,1)(1,0)(2,1) * p0(p1+p0(p1)+p0(p1))=(0,0)(1,1)(1,0)(2,1)(1,0)(2,1) * p0(p1+p0(p1+p0))=(0,0)(1,1)(1,0)(2,1)(2,0) * p0(p1+p0(p1+p0(p1)))=(0,0)(1,1)(1,0)(2,1)(2,0)(3,1) * p0(p1+p1)=(0,0)(1,1)(1,1) * p0(p1+p1+p0(p1…”） 标签：可视化编辑
• 2026年2月21日 (六) 19:31 Z 留言 贡献创建了页面ZSS Hydra （创建页面，内容为“ZSS Hydra，是梅天狸创造的序数记号。它既可以是两行ZSM进一步理想化的产物，也是SSS Hydra更易分析的改版。 == 定义 == 表达式集和极限表达式和PSS Hydra一致。 将表达式中所有的pn()称为'''节点'''，n为该节点等级，括号中的部分称为被该节点包含的部分； 记最内层的、包含节点A的节点为节点A的外层； 若节点B包含节点A，则称节点A、节点A…”） 标签：可视化编辑
• 2026年2月21日 (六) 19:21 Z 留言 贡献创建了页面ZSM （创建页面，内容为“ZSM是梅天狸创造的急模式的序数记号。它是BSM的改版。 == 定义 == ZSM中有"待定根"和"检测根"两个概念。检测根，即BSM规则中的待定根，除了0不再向前找父项。大根和小根概念和BSM完全一样，但没有强制大根和强制小根的规则。 ZSM的待定根就是末列最下非0项的祖先项。 而ZSM的坏根是最右的小根往右一个的待定根。若没有小根，则是最左的…”） 标签：可视化编辑
• 2026年2月21日 (六) 19:04 Z 留言 贡献创建了页面zFOS （创建页面，内容为“zeta-transmitted Fundamental Ordinal Seuence (zFOS)，即ζ点传递型基本序数序列，是3183丶4139在2024年7月创造的序数记号。是FOS系列的阶段性成果，但因为其行为与FOS的理念不符而被废弃。 == 定义 == 极限表达式：(0,1,2) (0,(0,1),(0,1,2)) (0,(0,(0,1)),(0,(0,1),(0,1,2))) (0,(0,(0,(0,1))),(0,(0,(0,1)),(0,(0,1),(0,1,2)))) ... 表达式0=(0)是序数0，表达式1=(0,1)是序数1。除了判断序列阶数时…”） 标签：可视化编辑