主要公开日志

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

• 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。 合法矩阵插…”） 标签：可视化编辑
• 2026年2月21日 (六) 18:07 Z 留言 贡献创建了页面FOSnn （创建页面，内容为“FOSnn 是 3183丶4139于 2024.2.2 创造的记号。是FOS系列记号的阶段性成果。但因为行为不符合预期而被废弃。 == 20240224 定义 == FOSnn（Fundamental Ordinal Sequence with Natural Numbers array）20240224 空序列=Ѻ(0)=0，表达式0=(0)=1 '''层'''：Ѻ(n)为第0层，(1,2,3,4,5,...)中的项位于第1层，即底层；某一层的一项的组成部分就是下一层的项 k层'''尾项'''：末项为1层尾项 自然数…”） 标签：可视化编辑
• 2026年2月21日 (六) 18:00 Z 留言 贡献创建了页面毁灭者矩阵系统 （创建页面，内容为“DMS（Destroyer Matrix System）是 qwerty 于 2024.5.11 创造的记号。 DMS是我最近十天才开始创造的记号，应用了前所未有的模式，极大可能能拓宽全人类对大递归序数的理解，是理想强度最高的递归记号，没有之一。DMS(Destroyer Matrix System)，又名毁灭者矩阵系统，其中“毁灭”二子表示该记号具有强大的威力，很可能能毁灭现有所有的递归记号，杀穿整个递归…”） 标签：可视化编辑
• 2026年2月21日 (六) 17:53 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(m)_P下且P=L(m)_(#~R)时 (P^+)=L(m)_(#~R+1) (R⊂T) 10.L(m)_P=P (P…”） 标签：可视化编辑
• 2026年2月21日 (六) 17:53 Baixie01000a7 留言 贡献创建了页面Y序列 VS TBMS （重定向页面至Y 序列 vs TBMS） 标签：新重定向 可视化编辑
• 2026年2月21日 (六) 17:52 0100000000a7 留言 贡献创建了页面讨论:Test （果糕：​ 新章节） 标签：新话题
• 2026年2月21日 (六) 17:51 Z 留言 贡献创建了页面替身函数 （创建页面，内容为“替身函数是FataliS1024于 2025.2.1 创造的记号。该记号目前只有部分枚举和理念。 == 分析 == ψξ(ξ) = ψ(Ω) ψξ(ξ₂) = Ω ψξ(ξ₂×ω) = Ω_ω ψξ(ξ₂²) = I ψξ(ε(ξ₂+1)) = ψα(ε(Ω(α+1)+1)) ψξ(ρ(ξ₂)[ξ₂]) = ψα(Ω(α+2)) ψξ(ρ(ξ₂)[ξ₂]+ξ₂) = ψα(Ω(α+2)+Ω(α+1)) ψξ(ρ(ξ₂)[ξ₂]+ε(ξ₂+1)) = ψα(Ω(α+2)+ε(Ω(α+1)+1)) ψξ(ρ(ξ₂)[ξ₂]+ψρ(ξ₂)[ξ₂](ρ(ξ₂)[ξ₂]))…”） 标签：可视化编辑
• 2026年2月21日 (六) 17:49 Z 留言 贡献创建了页面复制一次当后继的BMS （创建页面，内容为“复制一次当后继的BMS，即在BMS中修改规则： 如果末列与倒数第二列完全相同，则矩阵等于去掉末列的矩阵加一 其他规则不变，得到的改版。该改版的强度与BMS相同。 == 分析 == * 0 1 = 0 1 * 0 1 1 = 0 1 0 * 0 1 1 1 = 0 1 0 0 * 0 1 2 = 0 1 0 1 * 0 1 2 2 = 0 1 0 1 0 * 0 1 2 3 = 0 1 0 1 0 1 * 0 11 = 0 1 1 * 0 11 11 = 0 1 1 0 * 0 11 2 = 0 1 1 0 1 * 0 11 2 2 = 0 1 1 0 1 0 * 0 11 2 3 = 0 1 1 0 1 0 1 * 0 1…”） 标签：可视化编辑
• 2026年2月21日 (六) 17:19 Z 留言 贡献创建了页面赋权链图 （创建页面，内容为“赋权链图(Weighted Chain Graph，wcg),是FataliS1024创造的图论记号。 == 定义 == 满足以下性质的有限图为一个wcg： * 所有边都是有向边，都有一个正整数的权值 * 不一定连通，但是每个连通部分都有且只有一个顶点使得这个顶点的入度为0，这个顶点称作根 * 所有顶点的入度不是0就是1，即边的方向总是从根向外放射的 * 无环，无重边 对两个wcg A和B，称A“镶…”） 标签：可视化编辑
• 2026年2月21日 (六) 16:47 Phyrion 留言 贡献创建了页面伪燃烧数 （重定向页面至燃烧数#伪燃烧函数） 标签：新重定向 可视化编辑
• 2026年2月21日 (六) 16:03 星汐镜Littlekk 留言 贡献创建了页面Sudan 函数 （创建Sudan函数页面【左对齐问题群内未解决】） 标签：可视化编辑
• 2026年2月21日 (六) 15:49 Z 留言 贡献创建了页面赋权二叉树 （创建页面，内容为“赋权二叉树（Weighted Binary Tree）是FataliS1024提出的大数函数。 === 定义 === 对于有根二叉树，令其每条边都有一个正整数权值，即得到赋权二叉树，记作'''wb''' 对于两个'''wb''' A和B，如果A能通过以下操作得到B，就称B嵌入A，A容纳B，A大于B，B小于A： # 删掉一个度为1的顶点和它连接的边 # 删掉一个度为2的非根顶点和它连接的两条边，并将它原本连接的…”） 标签：可视化编辑
• 2026年2月21日 (六) 15:20 星汐镜Littlekk 留言 贡献创建了页面用户讨论:星汐镜Littlekk （沙发：​ 新章节） 标签：新话题
• 2026年2月21日 (六) 15:19 用户账号星汐镜Littlekk 留言 贡献已创建
• 2026年2月21日 (六) 14:45 用户账号IqyMeow 留言 贡献已创建
• 2026年2月21日 (六) 11:53 Wjyg 留言 贡献创建了页面讨论:BAN （有人知道bird主页最底下那两个新记号强度如何吗？：​ 新章节） 标签：新话题
• 2026年2月21日 (六) 11:41 Wjyg 留言 贡献创建了页面讨论:BLP （展开器呢？：​ 新章节） 标签：新话题
• 2026年2月20日 (五) 22:36 Phyrion 留言 贡献创建了页面BLP （创建页面，内容为“BLP是由大群群主test_alpha0在其25年1月的[https://arxiv.org/abs/2501.06733 论文]中提出的记号，被用于估计LT的下界。虽然BLP提取自LTY，但是强度上BLP<LT<LTY。 BLP的分析较为困难，主要难点在于不能较快地得知一个表达式的后继，只复制一次的展开以及较为复杂的提升。为解决前两个痛点，Hypcos于25年12月提出了DEN(即iBLP，其中i为infinit…”） 标签：可视化编辑
• 2026年2月20日 (五) 21:53 Baixie01000a7 留言 贡献创建了页面用户:Baixie01000a7/TON草稿 （创建页面，内容为“Taranovsky 序数记号 (Taranovsky’s ordinal notation, TON) 是 Taranovsky 提出的一系列记号的总称。 无反射配置的情况下，TON 具有如下的版本： * 反射度：Degrees of Reflection (DR)。 * 包含通过的自下而上：Built-from-below with Passthrough (BP)。 * 包含通过的反射度：Degrees of Reflection with Passthrough (DRP)。 * 主要序数体系：Main Ordinal Notation System (M)。 * 主要序数体系（通过扩展…”） 标签：可视化编辑
• 2026年2月20日 (五) 21:48 Phyrion 留言 贡献还原页面讨论:TrSS（1个修订版本）
• 2026年2月20日 (五) 21:48 Phyrion 留言 贡献还原页面用户讨论:Tabelog（1个修订版本）
• 2026年2月20日 (五) 21:34 Phyrion 留言 贡献创建了页面M记号 （重定向页面至Dropping#M 记号） 标签：新重定向 可视化编辑