新页面

03:312026年4月22日 (三) 03:31 +ω法序数超运算分析（历史 | 编辑） [20,249字节] 量子杰克（留言 | 贡献）（创建页面，内容为“+ω法序数超运算是一种超运算型记号，作者是量子杰克，与+1法超运算类似，但区别是遇到不动点会+ω而不是+1，原因是根据分析，这样能给出更整的基本列。序数超运算可以进行许多更高级别的拓展。 == 定义 == 一个序数超运算的格式必须是<math>\beta\{\lambda\}\alpha</math>，其中β,λ,α都是正序数。底数β只能是正整数或超限基数。若底数是超限基数，只…”）标签：可视化编辑

22:102026年3月3日 (二) 22:10 哈基米基数（历史 | 编辑） [1,166字节] 虚妄之幻（留言 | 贡献）（创建页面，内容为“哈基米基数是虚妄之幻在2026年提出的一个大基数概念，并随后拥有了其与ZFC的相对一致性证明。我们依照以下定义基数k上的k共尾完备滤子：一个基数k上的滤子是k-共尾完备的，当且仅当：k是可数共尾的且该滤子是一个σ-完备滤子，或者k是不可数共尾的且对于任意a＜cf(k)，集族{Xb:b∈a}如果是滤子F的子集，那么它的交集属于F 我们称一个基数k是哈…”）标签：可视化编辑
17:352026年3月3日 (二) 17:35 PPS分析Part4 （历史 | 编辑） [29,092字节] Dstty（留言 | 贡献）（创建页面，内容为“{| class="wikitable" |PPS |康托范式 |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,42 |ε_ε_ε_ε_(ε_ε_0+1) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,42,18,9,3,0,0,35,18,9,3,0,53 |ε_ε_ε_ε_(ε_ε_0+2) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,42,18,9…”）标签：可视化编辑
17:322026年3月3日 (二) 17:32 PPS分析Part3 （历史 | 编辑） [33,690字节] Dstty（留言 | 贡献）（创建页面，内容为“{| class="wikitable" |PPS |康托范式 |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,18 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,18,0,17 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ω+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,18,0,17,3,0,22 |ε_(ω^(ω^(ω^(ω^(ε…”）标签：可视化编辑

19:162026年2月28日 (六) 19:16 基于翻转性质的大数函数Flip(n,a) （历史 | 编辑） [2,100字节] Z（留言 | 贡献）（创建页面，内容为“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>中的某些元…”）标签：可视化编辑
18:292026年2月28日 (六) 18:29 2025年中文大数社区十大事件（历史 | 编辑） [39,133字节] Z（留言 | 贡献）（创建页面，内容为“大数数学（Googology，ggg）是系统性地研究如何构造大自然数的数学分支。中文大数社区是一个致力于发展大数数学理论的中心化业余数学社区，它以一系列 QQ 群为核心，其成员为较为严肃的大数数学爱好者。广义的中文大数社区包含中文互联网上所有关心和讨论大数数学相关问题的人。本词条总结了 2025 年中文大数社区影响力最大的 10 个事件（…”）标签：可视化编辑
18:062026年2月28日 (六) 18:06 沙拉数（历史 | 编辑） [9,004字节] Z（留言 | 贡献）（创建页面，内容为“googology中有“沙拉”这样的现象，即把若干种大数记号“组合”到一起，变成一个看上去很复杂的东西，但实际上强度没有什么变化；一般情况下，与其“原料”中的最强者相比没多少提升。 === 简单的混合 === ==== 函数的复合 ==== 设大数函数f、g分别具有相当于Hardy层数（Hardy hierarchy，简记为HH）中<math>\alpha</math>、<math>\beta</math>的增长…”）标签：可视化编辑
17:192026年2月28日 (六) 17:19 序数尺（历史 | 编辑） [2,082字节] Z（留言 | 贡献）（创建页面，内容为“序数记号的序数尺，是一种将该记号极限之下的序数保序映射到实数轴的方法。 == 定义 == 以下提供一个序数尺的定义，序数尺将给定的序数记号S所刻画的序数映射到了实数区间(0,1)上。或者更准确地说，映射到了该实数区间的有理点的一小部分上.记作记作f(序数记号表达式)=实数。记S的极限为L，<math>\alpha[n]</math>为<math>\alpha</math>的基本列第n项.…”）标签：可视化编辑

14:032026年2月26日 (四) 14:03 BLM分析（历史 | 编辑） [20,465字节] 油手就行（留言 | 贡献）（创建页面，内容为“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)…”）标签：可视化编辑
06:392026年2月26日 (四) 06:39 连续统假设（历史 | 编辑） [14,889字节] 星汐镜Littlekk（留言 | 贡献）（创建页面，内容为“'''连续统假设(Continuum Hypothesis，简称CH)'''是德国数学家格奥尔格·康托尔（Georg Cantor）于1878年提出的集合论核心猜想，是大卫·希尔伯特1900年提出的23个世纪数学问题的首位问题，也是20世纪数理逻辑与数学基础研究中最具影响力的命题之一。该猜想断言不存在基数严格介于自然数集基数ℵ₀与实数集基数𝔠之间的无穷集合，其核心是对无穷集合基数…”）标签：可视化编辑

23:242026年2月25日 (三) 23:24 Catching函数分析2：EBO~JO （历史 | 编辑） [4,821字节] Z（留言 | 贡献）（创建页面，内容为“本条目展示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…”）标签：可视化编辑
22:552026年2月25日 (三) 22:55 Catching函数分析1：BO~EBO （历史 | 编辑） [10,036字节] Z（留言 | 贡献）（创建页面，内容为“本条目展示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…”）标签：可视化编辑
22:542026年2月25日 (三) 22:54 Catching函数分析（历史 | 编辑） [219字节] Z（留言 | 贡献）（创建页面，内容为“本条目展示Catching函数的分析条目汇总。 Catching函数分析1：BO~EBO 分类:分析”）标签：可视化编辑
21:502026年2月25日 (三) 21:50 RRSS （历史 | 编辑） [2,093字节] Z（留言 | 贡献）（创建页面，内容为“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>的序…”）标签：可视化编辑
17:422026年2月25日 (三) 17:42 滤子（历史 | 编辑） [2,433字节] 虚妄之幻（留言 | 贡献）（filter第一部分）标签：可视化编辑

12:022026年2月24日 (二) 12:02 sqar函数（历史 | 编辑） [1,261字节] Z（留言 | 贡献）（创建页面，内容为“Sqar函数，又名独方函数，是Increasinity于2025年提出的大数函数。 == 定义 == 函数sqar(n)定义为按照以下规则，能够写出的最多的字符串数量： * 所有字符串都只包含已经选取的n种字符 * 第k个字符串长度不超过k * 对于任意u＞v，在第u个字符串不能通过删除一部分字符使其成为第v个字符串可以看出，sqar函数类似于Friedman序列，是按照规则不断地写字…”）标签：可视化编辑

01:102026年2月23日 (一) 01:10 大基数公理（历史 | 编辑） [16,315字节] 星汐镜Littlekk（留言 | 贡献）（大基数公理（超链接未补，严谨定义版，可借鉴曹知秋大数理论放一些引子在最前面））标签：可视化编辑

10:012026年2月22日 (日) 10:01 哥德尔不完备性（历史 | 编辑） [23,856字节] Tabelog（留言 | 贡献）（创建页面，内容为“以下是 Gödel 关于完备性定理的证明。 ---------- 众所周知，怀特海和罗素构建逻辑和数学的方法是，将某些显而易见的命题置于公理之上，并根据一些精确表述的推理原理，以纯粹形式化的方式（即不再诉诸符号含义）从中推导出逻辑和数学命题。这种思路自然会立即引发一个问题：置于顶端的公理和推理原理体系是否完备，即是否真的足以推导出…”）

23:372026年2月21日 (六) 23:37 iBLP （历史 | 编辑） [46,477字节] 油手就行（留言 | 贡献）（创建页面，内容为“== 记号简介 == 无限基本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…”）标签：可视化编辑最初创建为“iblp”
22:542026年2月21日 (六) 22:54 变换映射（历史 | 编辑） [26,880字节] Tabelog（留言 | 贡献）（创建页面，内容为“变换映射方法是<code>P進大好きbot</code>发展的一个系统性地对记号进行分析和证明良序的方法。分析一个符号时，需要将其与另一个符号进行比较。换句话说，需要明确“哪个项对应哪个项”。在传统的表格分析中，我们并非写出每个项对应的项，而是简单地选择有限个看起来美观的项，然后写出希望它们对应的项。而使用转换映射进行分析，则是…”）标签：可视化编辑：已切换
19:522026年2月21日 (六) 19:52 弱MMS VS ω-Y （历史 | 编辑） [31,375字节] Z（留言 | 贡献）（创建页面，内容为“本条目展示弱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,…”）标签：可视化编辑
19:392026年2月21日 (六) 19:39 ZSS Hydra分析（历史 | 编辑） [142,830字节] Z（留言 | 贡献）（创建页面，内容为“本词条展示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…”）标签：可视化编辑
19:312026年2月21日 (六) 19:31 ZSS Hydra （历史 | 编辑） [2,275字节] Z（留言 | 贡献）（创建页面，内容为“ZSS Hydra，是梅天狸创造的序数记号。它既可以是两行ZSM进一步理想化的产物，也是SSS Hydra更易分析的改版。 == 定义 == 表达式集和极限表达式和PSS Hydra一致。将表达式中所有的pn()称为'''节点'''，n为该节点等级，括号中的部分称为被该节点包含的部分；记最内层的、包含节点A的节点为节点A的外层；若节点B包含节点A，则称节点A、节点A…”）标签：可视化编辑
19:212026年2月21日 (六) 19:21 ZSM （历史 | 编辑） [806字节] Z（留言 | 贡献）（创建页面，内容为“ZSM是梅天狸创造的急模式的序数记号。它是BSM的改版。 == 定义 == ZSM中有"待定根"和"检测根"两个概念。检测根，即BSM规则中的待定根，除了0不再向前找父项。大根和小根概念和BSM完全一样，但没有强制大根和强制小根的规则。 ZSM的待定根就是末列最下非0项的祖先项。而ZSM的坏根是最右的小根往右一个的待定根。若没有小根，则是最左的…”）标签：可视化编辑
19:042026年2月21日 (六) 19:04 zFOS （历史 | 编辑） [6,091字节] Z（留言 | 贡献）（创建页面，内容为“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。除了判断序列阶数时…”）标签：可视化编辑
19:022026年2月21日 (六) 19:02 提升急矩阵（历史 | 编辑） [2,058字节] 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 父项…”）标签：可视化编辑
18:342026年2月21日 (六) 18:34 pPMPN （历史 | 编辑） [7,063字节] Z（留言 | 贡献）（创建页面，内容为“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)... 列：序列中以底层逗号分隔的数组，用列标表示一列在序列中的相对位置项：一个由多逗号分隔符和数字组成的元素，是记号的基本组成部…”）标签：可视化编辑
18:292026年2月21日 (六) 18:29 传递序数超运算（历史 | 编辑） [6,244字节] Z（留言 | 贡献）（创建页面，内容为“传递序数超运算，是量子杰克发明的记号。目前未知其定义，只有理念和枚举分析。 == 分析 == <ε_ε_0: 和无传递的版本相同 * ω^^ω^ω^^ω = ε_ε_0 * ω^^(ω^ω^^ω+1) = ω^(ε_ε_0+1) * ω^^(ω^ω^^ω+ω) = ε_(ε_0+1) * ω^^(ω^ω^^ω*2) = ε_(ε_0*2) * ω^^ω^(ω^^ω+1) = ε_(ω^(ε_0+1)) * ω^^ω^(ω^^ω*2) = ε_(ω^(ε_0*2)) * ω^^ω^ω^^(ω+1) = ω^^ω^ω^(ω^^ω+1) = ε_(ω^ω^(ε_0+1)) * ω^^ω^ω^^(ω+2) =…”）标签：可视化编辑
18:242026年2月21日 (六) 18:24 跨行父项矩阵系统（历史 | 编辑） [5,512字节] 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项的父项是…”）标签：可视化编辑
18:192026年2月21日 (六) 18:19 BOS （历史 | 编辑） [4,312字节] Z（留言 | 贡献）（创建页面，内容为“BOS是qwerty创造的序数记号, 2024.3.24 == 定义 == 1.空序列等于0，即(Ø)=0 2.所有合法的非空序列必须以1开头，(1)=1 3.对于任意合法的非空序列(#)，(#,1)=(#)+1 4.对于任意合法的不以1结尾非空序列，都可以找到坏根并进行展开，序列的展开有无穷多项 5.对于任意合法的不以1结尾非空序列所代表的序数，都存在标准基本列，设该序列一共有m项，坏根是序列的…”）标签：可视化编辑
18:152026年2月21日 (六) 18:15 非驼峰BMS （历史 | 编辑） [3,031字节] Z（留言 | 贡献）（创建页面，内容为“非驼峰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…”）标签：可视化编辑
18:072026年2月21日 (六) 18:07 FOSnn （历史 | 编辑） [11,495字节] Z（留言 | 贡献）（创建页面，内容为“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层尾项自然数…”）标签：可视化编辑
18:002026年2月21日 (六) 18:00 毁灭者矩阵系统（历史 | 编辑） [4,791字节] Z（留言 | 贡献）（创建页面，内容为“DMS（Destroyer Matrix System）是 qwerty 于 2024.5.11 创造的记号。 DMS是我最近十天才开始创造的记号，应用了前所未有的模式，极大可能能拓宽全人类对大递归序数的理解，是理想强度最高的递归记号，没有之一。DMS(Destroyer Matrix System)，又名毁灭者矩阵系统，其中“毁灭”二子表示该记号具有强大的威力，很可能能毁灭现有所有的递归记号，杀穿整个递归…”）标签：可视化编辑
17:492026年2月21日 (六) 17:49 复制一次当后继的BMS （历史 | 编辑） [4,527字节] Z（留言 | 贡献）（创建页面，内容为“复制一次当后继的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…”）标签：可视化编辑
17:192026年2月21日 (六) 17:19 赋权链图（历史 | 编辑） [3,510字节] Z（留言 | 贡献）（创建页面，内容为“赋权链图(Weighted Chain Graph，wcg),是FataliS1024创造的图论记号。 == 定义 == 满足以下性质的有限图为一个wcg： * 所有边都是有向边，都有一个正整数的权值 * 不一定连通，但是每个连通部分都有且只有一个顶点使得这个顶点的入度为0，这个顶点称作根 * 所有顶点的入度不是0就是1，即边的方向总是从根向外放射的 * 无环，无重边对两个wcg A和B，称A“镶…”）标签：可视化编辑
16:032026年2月21日 (六) 16:03 Sudan 函数（历史 | 编辑） [12,486字节] 星汐镜Littlekk（留言 | 贡献）（创建Sudan函数页面【左对齐问题群内未解决】）标签：可视化编辑
15:492026年2月21日 (六) 15:49 赋权二叉树（历史 | 编辑） [6,823字节] Z（留言 | 贡献）（创建页面，内容为“赋权二叉树（Weighted Binary Tree）是FataliS1024提出的大数函数。 === 定义 === 对于有根二叉树，令其每条边都有一个正整数权值，即得到赋权二叉树，记作'''wb''' 对于两个'''wb''' A和B，如果A能通过以下操作得到B，就称B嵌入A，A容纳B，A大于B，B小于A： # 删掉一个度为1的顶点和它连接的边 # 删掉一个度为2的非根顶点和它连接的两条边，并将它原本连接的…”）标签：可视化编辑

22:362026年2月20日 (五) 22:36 BLP （历史 | 编辑） [2,324字节] Phyrion（留言 | 贡献）（创建页面，内容为“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…”）标签：可视化编辑
15:492026年2月20日 (五) 15:49 IBLP分析Part2 （历史 | 编辑） [61,976字节] Baixie01000a7（留言 | 贡献）（创建页面，内容为“{| class="wikitable" |(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2,1,0)3(5,*4,3,2,1,0)3(6,3,2,1,0)3 |1,2,4,8,10 |- |(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2,1,0)3(5,*4,3,2,1,0)3(6,3,2,1,0)3(7,2,1,0)2 |1,2,4,8,10,6 |- |(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2,1,0)3(5,*4,3,2,1,0)3(6,3,2,1,0)3(7,2,1,0)2(8,7,2,1,0)3(9,8,7)1 |1,2,4,8,10,6,9 |- |(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2,1,0)3(5,*4,3,2,1,0)3(6,3,2,1,0)3(7,2,1,0)2(8,7,2,1,0)3(9,8,7)1(10,9,8,7)2(11,10,9,8,7)3(12,*11,10,9,8,7)3 |1,2,4,8,10,6,10 |-…”）标签：可视化编辑
15:162026年2月20日 (五) 15:16 无穷降链（历史 | 编辑） [835字节] Phyrion（留言 | 贡献）（创建页面，内容为“在googology中，无穷降链是一个重要概念。一个记号有没有良定义就取决于其是否有无穷降链。定义一个记号良序等价于其没有无穷降链。例子例如，坏根始终为第一项的PrSS： 1,2,2展开为1,2,1,2,1,2...... 1,2,1,2展开为1,2,1,1,2,1,1,2,1,1,2... 1,2,1,1,2展开为1,2,1,1,1,2,1,1,1,2,1,1,1,2... 因此，我们需要知道1,2,2有多大，就需要知道1,2,1,2有多大…”）标签：可视化编辑
14:432026年2月20日 (五) 14:43 IBLP分析Part1 （历史 | 编辑） [11,090字节] Baixie01000a7（留言 | 贡献）（创建页面，内容为“{| class="wikitable" |Infinite Basic Laver Pattern |ω-Y Sequence |- |(1,0)1 |1 |- |(1,0)1(2,0)1 |1,1 |- |(1,0)1(2,0)1(3,0)1 |1,1,1 |- |(1,0)1(2,1)1 |1,2 |- |(1,0)1(2,1)1(3,0)1 |1,2,1 |- |(1,0)1(2,1)1(3,0)1(4,3)1 |1,2,1,2 |- |(1,0)1(2,1)1(3,1)1 |1,2,2 |- |(1,0)1(2,1)1(3,1)1(4,0)1(5,4)1(6,4)1 |1,2,2,1,2,2 |- |(1,0)1(2,1)1(3,1)1(4,1)1 |1,2,2,2 |- |(1,0)1(2,1)1(3,2)1 |1,2,3 |- |(1,0)1(2,1)1(3,2)1(4,1)1 |1,2,3,2 |- |(1,0)1(2,1)1(3,2)1(4,1)1(5,4)1 |1,2,3,2,3 |- |(1,…”）标签：可视化编辑：已切换
14:342026年2月20日 (五) 14:34 PPS分析Part2 （历史 | 编辑） [41,876字节] Baixie01000a7（留言 | 贡献）（创建页面，内容为“{| class="wikitable" ! PPS !! 康托范式 |- | <math>(0,1,0,2,0,4,4,3,0,3,0,10)</math> || <math>\varepsilon_{\omega^{\omega^{\varepsilon_0+1}+\omega^\omega}}</math> |- | <math>(0,1,0,2,0,4,4,3,0,3,0,10,0,3,0,14)</math> || <math>\varepsilon_{\omega^{\omega^{\varepsilon_0+1}+\omega^\omega\times2}}</math> |- | <math>(0,1,0,2,0,4,4,3,0,3,0,10,9)</math> || <math>\varepsilon_{\omega^{\omega^{\varepsilon_0+1}+\omega^{\omega+1}}}</math> |- | <math>(0,1,0,2,0,4…”）
14:342026年2月20日 (五) 14:34 PPS分析Part1 （历史 | 编辑） [48,455字节] Baixie01000a7（留言 | 贡献）（创建页面，内容为“{| class="wikitable" ! PPS !! 康托范式 |- | <math>(0,1)</math> || <math>\omega</math> |- | <math>(0,1,0,0,3)</math> || <math>\omega\times2</math> |- | <math>(0,1,0,0,3,0,0,6)</math> || <math>\omega\times3</math> |- | <math>(0,1,0,0,3,0,0,6,0,0,9)</math> || <math>\omega\times4</math> |- | <math>(0,1,0,0,3,3)</math> || <math>\omega^2</math> |- | <math>(0,1,0,0,3,3,0,0,7)</math> || <math>\omega^2+\omega</math> |- | <math>(0,1,0,0,3,3,0,0,7,0,0,10)</mat…”）标签：可视化编辑：已切换
14:162026年2月20日 (五) 14:16 条目编辑规范（历史 | 编辑） [2,749字节] Phyrion（留言 | 贡献）（创建页面，内容为“本条目说明编辑条目时的注意事项和规范，违法本条目规范的可能会受到撤职、时长不等的封禁等处罚。条目层面一、页面的移动和删除页面的移动和删除最好需要经过条目创建者及大部分编辑者的同意，同时操作者本人要做好善后工作（如修改原有的指向该条目的链接）二、页面标题的修改因为修改标题必须经过移动或删除，规范以一为主…”）标签：可视化编辑

2026年4月22日 (星期三)

2026年3月3日 (星期二)

2026年2月28日 (星期六)

2026年2月26日 (星期四)

2026年2月25日 (星期三)

2026年2月24日 (星期二)

2026年2月23日 (星期一)

2026年2月22日 (星期日)

2026年2月21日 (星期六)

2026年2月20日 (星期五)