主要公开日志

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

• 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月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月24日 (二) 12:02 Z 留言 贡献创建了页面sqar函数 （创建页面，内容为“Sqar函数，又名独方函数，是Increasinity于2025年提出的大数函数。 == 定义 == 函数sqar(n)定义为按照以下规则，能够写出的最多的字符串数量： * 所有字符串都只包含已经选取的n种字符 * 第k个字符串长度不超过k * 对于任意u＞v，在第u个字符串不能通过删除一部分字符使其成为第v个字符串 可以看出，sqar函数类似于Friedman序列，是按照规则不断地写字…”） 标签：可视化编辑
• 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: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日 (六) 15:49 Z 留言 贡献创建了页面赋权二叉树 （创建页面，内容为“赋权二叉树（Weighted Binary Tree）是FataliS1024提出的大数函数。 === 定义 === 对于有根二叉树，令其每条边都有一个正整数权值，即得到赋权二叉树，记作'''wb''' 对于两个'''wb''' A和B，如果A能通过以下操作得到B，就称B嵌入A，A容纳B，A大于B，B小于A： # 删掉一个度为1的顶点和它连接的边 # 删掉一个度为2的非根顶点和它连接的两条边，并将它原本连接的…”） 标签：可视化编辑