主要公开日志

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

• 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。除了判断序列阶数时…”） 标签：可视化编辑
• 2026年2月21日 (六) 19:02 Z 留言 贡献创建了页面提升急矩阵 （创建页面，内容为“USM（Upgrading Sudden Matrix，提升急矩阵），是lilacblast在2024.12.27创造的记号。 === 名字来源 === 记号中将类似 BMS 的提升提前到 2 行，且远强于 BMS 提升，所以名字中有个“提升”。 === 基本定义 === 1.0 下标 1 起。 1.1 向量：由多个数字组成的数组。 1.2 矩阵：由多个长度相等的向量组成的数组，S 为待展开矩阵，第 y 行第 x 列的元素记作 S[x,y]。 1.3 父项…”） 标签：可视化编辑
• 2026年2月21日 (六) 18:58 Z 留言 贡献删除页面高提升系统 （内容为：“HES(High Elevate System，高提升系统)，是夏夜星空在2024.6创造的记号系统 == 定义 == 对于X[s],令Y=X 一、如果Y是多项式,则改Y为其末项并重新执行本流程 二、如果Y形如pn(m)且m≥1,则改Y为m并重新执行本流程 三、否则,Y形如pn(0) 三.A.如果n=0则向外寻找一层并记其为A,将Y展开为A'×s,其中A'是去除Y后的A,流程…”，唯一贡献者是“Z”（讨论））
• 2026年2月21日 (六) 18:57 Z 留言 贡献删除页面结构提取序列系统 （内容为：“结构提取序列系统（Structure Extraction Sequence System，SESS）是Chase LIght在2024.12创造的记号 == 定义 == 对于一个序列 我们从左往右将其分为n个单调递增且公差相同的等差数列(注:一定是单调递增的等差数列! 如12333 就要单独分为123 3 3而不是123 33,只有一个数字的等差数列的公差视为0) 并且按顺序将每个等…”，唯一贡献者是“Z”（讨论））
• 2026年2月21日 (六) 18:57 Z 留言 贡献删除页面简单远端矩阵系统 （作者申请：​内容为：“简单远端矩阵系统（Simple Remote Matrix System，SRMS）是 FataliS1024 于 2024.3.14 创造的记号。 == 定义 == 可认为是序数记号或大数记号。 空矩阵，或由(0)打头，且可被展开，项都是非负整数，且可在有限次有限项展开之内回到小于(0)(1)的表达式，且列自上而下不严格单调递减的矩阵是合法矩阵。 合法矩阵…”，唯一贡献者是“Z”（讨论））
• 2026年2月21日 (六) 18:57 Z 留言 贡献删除页面替身函数 （内容为：“替身函数是FataliS1024于 2025.2.1 创造的记号。该记号目前只有部分枚举和理念。 == 分析 == ψξ(ξ) = ψ(Ω) ψξ(ξ₂) = Ω ψξ(ξ₂×ω) = Ω_ω ψξ(ξ₂²) = I ψξ(ε(ξ₂+1)) = ψα(ε(Ω(α+1)+1)) ψξ(ρ(ξ₂)[ξ₂]) = ψα(Ω(α+2)) ψξ(ρ(ξ₂)[ξ₂]+ξ₂) = ψα(Ω(α+2)+Ω(α+1)) ψξ(ρ(ξ₂)[ξ₂]+ε(ξ₂+1)) = ψα(Ω(α+2)+ε(Ω(…”，唯一贡献者是“Z”（讨论））
• 2026年2月21日 (六) 18:57 Z 留言 贡献删除页面扩展矩阵系统 （内容为：“扩展矩阵系统(Extend Matrix System，EMS)，是夏夜星空在2024.4.8创造的记号 == 定义 == 在本行没有父项时，可以从本行上一行自下往上依次遍历每一行，行内从该项所在列左一列自右向左 坏部为最小包含坏根和主项的长方形，左上角的位置就是坏部的位置 其余未单独提及的概念均和BMS相同，任何提升时…”，唯一贡献者是“Z”（讨论））
• 2026年2月21日 (六) 18:56 Z 留言 贡献删除页面差分矩阵系统 （内容为：“差分矩阵系统，是qwerty在2024.4.12创造的序数记号 == 定义 == 极限表达式：与BMS相同 规则： 1、如果矩阵中的每一行都不存在比前面的项小的项，且结尾的两列不相同，则矩阵中的所有列都减去前面一列作为矩阵的阶差矩阵(开头项默认为0)，然后展开阶差矩阵，并且将阶差矩阵中所有大于1的数换成1…”，唯一贡献者是“Z”（讨论））
• 2026年2月21日 (六) 18:55 Z 留言 贡献删除页面1 3 7 15 13的OCF （内容为：“1 3 7 15 13的OCF 是果糕(1 3 7 15 13)于 2024.11.8 创造的记号。 == 定义 == 1.X_X_...X_#=X_α_# 2.对于P⊂T有Q(0)_P(0)=P 3.Q(0)_P(n+1)=Q(0)_P(n)×P 4.Q(0)_p(#~(P^+))=α→Q(0)_P(#~α) 5.令ω⊂T 在Q(m)_P下且当P=ω时 (P^+)=L(m)_1 6.Q(m)_ω(#~(P^+))=Q(m)_ω(#~α→Q(m)_P(#~α)) 7.令(P^+)⊂T 在Q(m)_P下且当P=L(m)_n时 (P^+)=L(m)_(n+1) 8.Q(m+1)_P(0)=L(m)_P 9.在Q…”，唯一贡献者是“Z”（讨论））
• 2026年2月21日 (六) 18:38 Z 留言 贡献创建了页面高提升系统 （创建页面，内容为“HES(High Elevate System，高提升系统)，是夏夜星空在2024.6创造的记号系统 == 定义 == 对于X[s],令Y=X 一、如果Y是多项式,则改Y为其末项并重新执行本流程 二、如果Y形如pn(m)且m≥1,则改Y为m并重新执行本流程 三、否则,Y形如pn(0) 三.A.如果n=0则向外寻找一层并记其为A,将Y展开为A'×s,其中A'是去除Y后的A,流程结束 三.B.1.令j=0,A_0=Y,A_(-1)=“Y中的0”,O恒为当时所有A_…”） 标签：可视化编辑
• 2026年2月21日 (六) 18:37 Z 留言 贡献创建了页面结构提取序列系统 （创建页面，内容为“结构提取序列系统（Structure Extraction Sequence System，SESS）是Chase LIght在2024.12创造的记号 == 定义 == 对于一个序列 我们从左往右将其分为n个单调递增且公差相同的等差数列(注:一定是单调递增的等差数列! 如12333 就要单独分为123 3 3而不是123 33,只有一个数字的等差数列的公差视为0) 并且按顺序将每个等差数列的首项提取出来 作为一个待定根列 如果末项e…”） 标签：可视化编辑
• 2026年2月21日 (六) 18:34 Z 留言 贡献创建了页面pPMPN （创建页面，内容为“pPMPN是''318`4''的第6次山脉记号式高阶山脉图尝试，目的是解决FOS Ɵ(φ(ε₀,0))之前的主要问题。 == 定义 == === pPMPN === protovariance Progressive-mountain parallel Notation 极限表达式：(0)(,1,,1)(,2,,2',2,,2)(,3,,3',3,,3',3,,3)... 列：序列中以底层逗号分隔的数组，用列标表示一列在序列中的相对位置 项：一个由多逗号分隔符和数字组成的元素，是记号的基本组成部…”） 标签：可视化编辑
• 2026年2月21日 (六) 18:29 Z 留言 贡献创建了页面传递序数超运算 （创建页面，内容为“传递序数超运算，是量子杰克发明的记号。目前未知其定义，只有理念和枚举分析。 == 分析 == <ε_ε_0: 和无传递的版本相同 * ω^^ω^ω^^ω = ε_ε_0 * ω^^(ω^ω^^ω+1) = ω^(ε_ε_0+1) * ω^^(ω^ω^^ω+ω) = ε_(ε_0+1) * ω^^(ω^ω^^ω*2) = ε_(ε_0*2) * ω^^ω^(ω^^ω+1) = ε_(ω^(ε_0+1)) * ω^^ω^(ω^^ω*2) = ε_(ω^(ε_0*2)) * ω^^ω^ω^^(ω+1) = ω^^ω^ω^(ω^^ω+1) = ε_(ω^ω^(ε_0+1)) * ω^^ω^ω^^(ω+2) =…”） 标签：可视化编辑
• 2026年2月21日 (六) 18:27 Z 留言 贡献创建了页面扩展矩阵系统 （创建页面，内容为“扩展矩阵系统(Extend Matrix System，EMS)，是夏夜星空在2024.4.8创造的记号 == 定义 == 在本行没有父项时，可以从本行上一行自下往上依次遍历每一行，行内从该项所在列左一列自右向左 坏部为最小包含坏根和主项的长方形，左上角的位置就是坏部的位置 其余未单独提及的概念均和BMS相同，任何提升时也需按照BMS规则判定 增量为“末列最上行项-坏根最…”） 标签：可视化编辑
• 2026年2月21日 (六) 18:25 Z 留言 贡献创建了页面差分矩阵系统 （创建页面，内容为“差分矩阵系统，是qwerty在2024.4.12创造的序数记号 == 定义 == 极限表达式：与BMS相同 规则： 1、如果矩阵中的每一行都不存在比前面的项小的项，且结尾的两列不相同，则矩阵中的所有列都减去前面一列作为矩阵的阶差矩阵(开头项默认为0)，然后展开阶差矩阵，并且将阶差矩阵中所有大于1的数换成1，矩阵的展开结果中后一列等于前一列加上阶差矩阵…”） 标签：可视化编辑
• 2026年2月21日 (六) 18:24 Z 留言 贡献创建了页面跨行父项矩阵系统 （创建页面，内容为“EPMS(Enjambment Parented Matrix System，跨行父项矩阵系统),是qwerty在2025.6.21创造的序数记号， == EPMS == === 定义 === 极限表达式：(0)(1)(2,2)(3,3,3)(4,4,4,4)(5,5,5,5,5)…… 规则： 1、空矩阵=0 2、如果矩阵的最右列全为0，则该矩阵对应的序数等于去掉最右列后对应的序数的后继 3、矩阵中的所有非0项都有一个父项(0没有父项，空项等价于0) 矩阵第一行非0项的父项是…”） 标签：可视化编辑
• 2026年2月21日 (六) 18:19 Z 留言 贡献创建了页面BOS （创建页面，内容为“BOS是qwerty创造的序数记号, 2024.3.24 == 定义 == 1.空序列等于0，即(Ø)=0 2.所有合法的非空序列必须以1开头，(1)=1 3.对于任意合法的非空序列(#)，(#,1)=(#)+1 4.对于任意合法的不以1结尾非空序列，都可以找到坏根并进行展开，序列的展开有无穷多项 5.对于任意合法的不以1结尾非空序列所代表的序数，都存在标准基本列，设该序列一共有m项，坏根是序列的…”） 标签：可视化编辑
• 2026年2月21日 (六) 18:15 Z 留言 贡献创建了页面非驼峰BMS （创建页面，内容为“非驼峰BMS，是BMS的一个改版。其修改BMS的定义： 对于一个存在LNZ的BMS来说，找到其坏根和阶差向量，之后正常加阶差向量，但坏部只包含坏根列。 其他规则不变。 非驼峰BMS的极限是<math>\varepsilon_0</math>. == 分析 == 左为非驼峰BMS，右为PrSS * 0=0 * 00=00 * 01=01 * 010=010 * 0100=0100 * 011=0101 * 0110=01010 * 0111=010101 * 012=011 * 0121=01101 * 01211=0110101…”） 标签：可视化编辑
• 2026年2月21日 (六) 18:09 Z 留言 贡献创建了页面简单远端矩阵系统 （创建页面，内容为“简单远端矩阵系统（Simple Remote Matrix System，SRMS）是 FataliS1024 于 2024.3.14 创造的记号。 == 定义 == 可认为是序数记号或大数记号。 空矩阵，或由(0)打头，且可被展开，项都是非负整数，且可在有限次有限项展开之内回到小于(0)(1)的表达式，且列自上而下不严格单调递减的矩阵是合法矩阵。 合法矩阵的行和列都是有限长的。 空矩阵是0。 合法矩阵插…”） 标签：可视化编辑