打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

新页面

更多操作
新页面
隐藏注册用户 | 隐藏机器人 | 隐藏重定向

2026年8月30日 (星期日)

2026年8月29日 (星期六)

  • 22:522026年8月29日 (六) 22:52 P1-Y2.3历史 | 编辑[3,805字节] 送到留言 | 贡献 (创建页面,内容为“= P1-Y = <math display="inline">P1-Y(</math>'''伪兼容'''<math display="inline">1-Y)</math> ==整体规则== <math display="inline">P1-Y </math>的合法式型如<math display="inline">S=[P_1,P_2,P_3...[\#],P_n...[\%]...](!)_a($)_b...(P_1=1,P_n \in \omega)</math> <math display="inline">P1-Y </math>的'''极限表达式'''为<math display="inline">P1-Y (1,\omega)</math>,对<math display="inline">P1-Y (1,\omega)</math>取有限次'''基本列'''得不到的…”) 最初创建为“P1-Y”

2026年8月14日 (星期五)

  • 23:072026年8月14日 (五) 23:07 PSS的良序性历史 | 编辑[399,941字节] Tabelog留言 | 贡献 (创建页面,内容为“我们给出 P 進大好き bot 关于 PSS(即两行 BMS)良序性的证明。<ref>P 進大好き bot. Introduction to the Termination of Pair Sequence System [EB/OL]. 2018. https://googology.fandom.com/wiki/User_blog:P%E9%80%B2 %E5%A4%A7%E5%A5%BD%E3%81%8Dbot/Introduction_to_the_Termination _of_Pair_Sequence_System.</ref><ref>P 進大好き bot. ペア数列の停止性[EB/OL]. 2018. https://googology.fand om.com/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC…”)
  • 20:432026年8月14日 (五) 20:43 BMS的良序性历史 | 编辑[21,718字节] Tabelog留言 | 贡献 (创建页面,内容为“我们给出 BMS 良序性的证明过程。<ref>VARGOVCIK S. Well-orderedness of the bashicu matrix system[A]. 2023.</ref><ref>小清新. 对 BMS 良序性证明的个人理解[EB/OL]. 2023. https://zhuanlan.zhihu.com/p/653719928.</ref> '''定义''' 在 BMS 中给出如下定义和约定: (1) 列和行均从 0 开始数起。例如 <math>(000)(111)</math> 的 <math>(000)</math> 是第 0 列。 (2) <math>A</math>:一般指一个 BMS。 (3) <math>A[n]</m…”) 标签可视化编辑

2026年8月12日 (星期三)

2026年8月4日 (星期二)

2026年8月1日 (星期六)

  • 22:452026年8月1日 (六) 22:45 strong fffz分析Part7历史 | 编辑[13,864字节] Alice留言 | 贡献 (创建页面,内容为“<math>\psi_Z[\omega^\omega](\omega^\omega) = (0)(1^\omega)</math> <math>\psi_Z[\omega^\omega, \omega^\omega + \omega](\omega^\omega + \omega) = (0)(1^\omega)(1)(2)</math> <math>\psi_Z[\omega^\omega, \omega^\omega + \omega](\psi_Z[\omega^\omega](\omega^\omega)) = (0)(1^\omega)(1)(2, 1^\omega)</math> <math>\psi_Z[\omega^\omega](\omega^\omega + \omega) = (0)(1^\omega)(1,1)</math> <math>\psi_Z[\omega^\omega, \omega^\omega + \omega^2](\omega^\omega + \omega^2) =…”) 标签可视化编辑

2026年7月30日 (星期四)

  • 18:402026年7月30日 (四) 18:40 strong fffz分析Part6历史 | 编辑[12,393字节] Alice留言 | 贡献 (创建页面,内容为“<math>\psi_Z[\omega^\omega](\omega^\omega) = (0)(1^\omega)</math> <math>\psi_Z[\omega^\omega, \omega^\omega + \omega](\omega^\omega + \omega) = (0)(1^\omega)(1)(2)</math> <math>\psi_Z[\omega^\omega, \omega^\omega + \omega](\psi_Z[\omega^\omega](\omega^\omega)) = (0)(1^\omega)(1)(2, 1^\omega)</math> <math>\psi_Z[\omega^\omega](\omega^\omega + \omega) = (0)(1^\omega)(1,1)</math> <math>\psi_Z[\omega^\omega, \omega^\omega + \omega^2](\omega^\omega + \omega^2) =…”) 标签可视化编辑
  • 16:422026年7月30日 (四) 16:42 strong fffz分析Part5历史 | 编辑[10,392字节] Alice留言 | 贡献 (创建页面,内容为“<math>\psi_Z(\omega^3) = (0)(1,1,1,1)</math> <math>\psi_Z(\omega^3 + \omega^2) = (0)(1,1,1,1)(1,1,1)</math> <math>\psi_Z[\omega^3 \times 2](\omega^3 \times 2) = (0)(1,1,1,1)(1,1,1)(2)</math> <math>\psi_Z[\omega^3 \times 2](\omega^\omega) = (0)(1,1,1,1)(1,1,1)(2,1)</math> <math>\psi_Z[\omega^3 \times 2](\omega^{\omega^2}) = (0)(1,1,1,1)(1,1,1)(2,1,1)</math> <math>\psi_Z[\omega^3 \times 2](\psi_Z(\omega)) = (0)(1,1,1,1)(1,1,1)(2,2)</math> <math>\psi_Z[\omeg…”) 标签可视化编辑
  • 15:072026年7月30日 (四) 15:07 strong fffz分析Part4历史 | 编辑[8,524字节] Alice留言 | 贡献 (创建页面,内容为“<math>\psi_Z[\omega^3](\psi_Z[\omega^2](\omega^2)) = (0)(1,1,1)(2,2,1)</math> <math>\psi_Z[\omega^3](\psi_Z[\omega^2](\omega^2+1)) = (0)(1,1,1)(2,2,1)(2)</math> <math>\psi_Z[\omega^3](\psi_Z[\omega^2, \omega^2+\omega](\omega^2+\omega)) = (0)(1,1,1)(2,2,1)(2,1)</math> <math>\psi_Z[\omega^3, \psi_Z[\omega^2, \omega^2+\omega](\omega^2 \times 2)](\psi_Z[\omega^2, \omega^2+\omega](\omega^2 \times 2)) = (0)(1,1,1)(2,2,1)(2,1)(3)</math> <math>\psi_Z[\omega^3](\psi…”) 标签可视化编辑

2026年7月25日 (星期六)

  • 19:212026年7月25日 (六) 19:21 strong fffz分析Part3历史 | 编辑[10,643字节] Alice留言 | 贡献 (创建页面,内容为“<math>\psi_Z[\omega^3](\psi_Z(\omega)) = (0)(1,1,1)(2,2)</math> <math>\psi_Z[\omega^3](\psi_Z(\omega)+\omega^2) = (0)(1,1,1)(2,2)(1,1,1)</math> <math>\psi_Z[\omega^3](\psi_Z(\omega) \times 2) = (0)(1,1,1)(2,2)(1,1,1)(2,2)</math> <math>\psi_Z[\omega^3](\psi_Z(\omega+1)) = (0)(1,1,1)(2,2)(2)</math> <math>\psi_Z[\omega^3, \psi_Z[\omega \times 2](\omega \times 2)](\psi_Z[\omega \times 2](\omega \times 2)) = (0)(1,1,1)(2,2)(2)(3)</math> <math>\psi_Z[\omega^3](\…”) 标签可视化编辑
  • 17:182026年7月25日 (六) 17:18 strong fffz分析Part2历史 | 编辑[10,258字节] Alice留言 | 贡献 (创建页面,内容为“<math>\psi_Z(\omega^2) = (0)(1,1,1)</math> <math>\psi_Z(\omega^2+\omega) = (0)(1,1,1)(1,1)</math> <math>\psi_Z[\omega^2 \times 2](\omega^2 \times 2) = (0)(1,1,1)(1,1)(2)</math> <math>\psi_Z[\omega^2 \times 2, \omega^\omega](\omega^\omega) = (0)(1,1,1)(1,1)(2)(3)</math> <math>\psi_Z[\omega^2 \times 2](\omega^\omega) = (0)(1,1,1)(1,1)(2,1)</math> <math>\psi_Z[\omega^2 \times 2](\omega^{\omega^\omega}) = (0)(1,1,1)(1,1)(2,1)(3,1)</math> <math>\psi_Z[\omega^2…”) 标签可视化编辑
  • 15:502026年7月25日 (六) 15:50 strong fffz分析Part1历史 | 编辑[13,191字节] Alice留言 | 贡献 (创建页面,内容为“<math>\psi_Z(0) = 1</math> <math>\psi_Z[1](1) = 2</math> <math>\psi_Z[1](\psi_Z[1](1)) = 3</math> <math>\psi_Z(1) = \omega</math> <math>\psi_Z[2](2) = \omega+1</math> <math>\psi_Z[2](\psi_Z(1)) = \omega \times 2</math> <math>\psi_Z[2](\psi_Z[2](2)) = \omega \times 2+1</math> <math>\psi_Z(2) = \omega^2</math> <math>\psi_Z[\omega](\omega) = \omega^\omega</math> <math>\psi_Z[\omega](\omega+1) = \omega^{\omega+1}</math> <math>\psi_Z[\omega](\omega^2) = \o…”) 标签可视化编辑

2026年7月20日 (星期一)

2026年7月11日 (星期六)

  • 13:592026年7月11日 (六) 13:59 WSM历史 | 编辑[2,048字节] Alice留言 | 贡献 (创建页面,内容为“WSM 是 Alice 于 2026 年 5 月创作的记号。其可被视为对 IBSM(ZSM)的进一步加强。 == 定义 == 首先寻找每个元素的父项,与 BMS 相同。 令最后一列行数最大的有父项的项为 LNZ。如果没有这样的项,那么展开结果为原始矩阵去掉最后一列,不再进行后续步骤。 生成列:将某一列的 LNZ 以上高度的项替换到末列上,称为这一列的生成列。 原始根:LNZ 的…”) 标签可视化编辑

2026年7月8日 (星期三)

  • 15:272026年7月8日 (三) 15:27 K3pd历史 | 编辑[3,302字节] 积分元素.留言 | 贡献 (创建页面,内容为“本记号作者为积分元素,灵感主要来源于KPnd序列。 K3pd序列形如<math>(1,3,a_3,a_4,a_5,......a_n)</math><math>(a_3,a_4,a_5,......a_n\in\{x|x\geqslant3,x\in\N\})</math>。 一个元素<math>a_i(i\geqslant3)</math>的父项为其左侧最靠近它的小于它的元素。3和1没有父项。 令<math>a_n(a_n>3)</math>的父项为<math>a_f</math>。则坏部为从<math>a_f</math>到<math>a_{n-1}</math>的所有项(包含这两项)。…”) 标签可视化编辑
  • 08:532026年7月8日 (三) 08:53 UPS历史 | 编辑[6,439字节] Alice留言 | 贡献 (创建页面,内容为“UPS(Upper Projection Sequence, 向上投影序列) 是由 Optimism 最初创作,Alice 完善的记号,旨在以序列形式模拟向上投影。”) 标签可视化编辑

2026年7月5日 (星期日)

2026年7月4日 (星期六)

2026年6月23日 (星期二)

  • 19:442026年6月23日 (二) 19:44 TON记号分析Part1历史 | 编辑[1,361字节] CGoL留言 | 贡献 (创建页面,内容为“本条目展示TON记号强度分析的第一部分 {| class="wikitable" |+分析 !TON记号 !向上投影递归化 |- |0 |0 |- |C(0,0) |<math>\psi(0)</math> |- |C(0,C(0,0)) |<math>\psi(0)2</math> |- |C(C(0,0),0) |<math>\psi(1)</math> |}”) 标签可视化编辑
  • 07:542026年6月23日 (二) 07:54 TON记号历史 | 编辑[7,826字节] CGoL留言 | 贡献 (创建页面,内容为“ == 合法表达式 == 常量包含0、Ω<sub>n</sub>。 * 常量是合法表达式; * 如果a和b是合法表达式,那么C(a,b)是合法表达式。 == 后缀形式 == 对于一个合法表达式,我们删去它其中的所有","与"()",并反转整个字符串,即为该表达式的后缀形式。 == 比较 == 对于两个合法表达式,它们的大小关系等同于它们的后缀形式在字典序上的大小关系(我们认为 C<0<Ω<sub>…”) 标签可视化编辑

2026年6月22日 (星期一)

  • 11:032026年6月22日 (一) 11:03 FG-CN体系强度分析历史 | 编辑[1,307字节] CGoL留言 | 贡献 (创建页面,内容为“本条目展示了FG-CN的体系强度分析,纯属娱乐 {| class="wikitable" |FG-CN官方体系 |FG-CN类反射 |- |FG Class 1 |FG Class 1 |- |FG Class FG Class 1 |FG Class FG Class 1 |- |FG Super Class FG Class 1 |FG Class (1,0) |- |FG Super Class (FG Class 1)2 |FG Class (2,0) |- |FG Super Class FG Class 2 |FG Class (FG Class 2,0) |- |FG Super Class FG Super Class FG Class 1 |FG Class (FG Class (1,0),0) |- |FG Mega Class FG Class 1 |FG Class (1,0,0) |- |FG…”) 标签可视化编辑:已切换

2026年6月16日 (星期二)

  • 09:462026年6月16日 (二) 09:46 Uriel Function历史 | 编辑[1,041字节] CGoL留言 | 贡献 (创建页面,内容为“基本规则: <math>\mathcal U_0(n)=n+1</math> <math>\mathcal U_\alpha(n)=\underbrace{\mathcal U_{\alpha-1}(\mathcal U_{\alpha-1}(\dots\mathcal U_{\alpha-1}(n)\dots))}_{n\text{ times}},\alpha<\omega</math> <math>\mathcal U_\omega(n)=\mathcal U_n\big(\mathcal U_{n-1}(n-1)\big)</math> <math>\mathcal U_{\omega+m}(n)=\mathcal U_{\omega+m-1}^{\mathcal U_{\omega+m}(n-1)}(n)</math> <math>\mathcal U_{\omega^2}(n)=\mathcal U_{\omega\cdot \mathcal U_{\omega^2}(n-1…”) 标签可视化编辑

2026年6月15日 (星期一)

2026年6月12日 (星期五)

  • 20:182026年6月12日 (五) 20:18 UPMS VS 投影OCF历史 | 编辑[19,761字节] Z留言 | 贡献 (创建页面,内容为“本词条展示了UPMS投影OCF的列表分析。本分析来自test_alpha0。 {| class="wikitable" |UPMS |投影OCF |- |0 111 |p(W_w) |- |0 111 21 |p(W_wW) |- |0 111 21 11 221 |p(W_wW+pW_2(W_w)) |- |0 111 21 11 221 31 |p(W_wW+pW_2(W_wW)) |- |0 111 21 11 221 31 22 |p(W_wW+W_2) |- |0 111 21 111 |p(W_wW+W_w) |- |0 111 21 32 |p(W_wpW_2(W_2)) |- |0 111 21 321 |p(W_wpW_2(W_w)) |- |0 111 211 |p(W_w^2) |- |0 111 211 211…”) 标签可视化编辑
  • 20:152026年6月12日 (五) 20:15 UPMS历史 | 编辑[2,414字节] Z留言 | 贡献 (创建页面,内容为“UPMS(Unupgrading Projection Matrix System),是test_alpha0制作的序数记号。它目前被认为是理想的无提升BMS。 == 定义 == UPMS的合法表达式与绝大部分规则都与BMS相同,此处不再赘述,只在坏部中,多出一些特殊的元素不加阶差向量。 在展开流程中,当我们按照BMS的规则判断好部、坏部、阶差向量,我们需要进行以下额外的工作判断坏部中哪些…”) 标签可视化编辑
  • 19:422026年6月12日 (五) 19:42 WSS历史 | 编辑[1,597字节] Z留言 | 贡献 (创建页面,内容为“WSS(Wu's Sequence System)是无声武息制作的序数记号。 == 定义 == === 合法式 === WSS的合法式是第1项和第2项都是1的自然数序列,即 <math>\rm{s_1,s_2,s_3,\cdots,s_n|n,s_1,s_2,s_3,\cdots,s_n\in \mathbb{N}}</math>,且满足<math>\rm{s_1=1,s_2=1}</math> WSS的极限基本列是<math>(1,1,2)</math>、<math>(1,1,2,4)</math>、<math>(1,1,2,4,7)</math>、<math>(1,1,2,4,7,11)</math>…… === 结构 === 我们定义以下…”) 标签可视化编辑
  • 17:342026年6月12日 (五) 17:34 IUN扽西(期望强度)历史 | 编辑[1,995字节] CGoL留言 | 贡献 (创建页面,内容为“本条目展示IUN的强度分析,使用BMS进行对照,出自[https://space.bilibili.com/274884728 '''3183丶4139'''] == 分析 == {| class="wikitable" |+分析 !IUN !BMS |- |1 |(0) |- |1,1 |(0)(0) |- |1,2 |(0)(1) |- |1,2,1 |(0)(1)(0) |- |1,2,1,1,2 |(0)(1)(0)(1) |- |1,2,1,1,2,1,1,2 |(0)(1)(0)(1)(0)(1) |- |1,2,1,2 |(0)(1)(1) |- |1,2,1,2,1,1,2,1,2 |(0)(1)(1)(0)(1)(1) |- |1,2,1,2,1,2 |(0)(1)(1)(1) |- |1,2,2 |(0)(1)(2) |- |1,2,2,1,2 |(…”) 标签可视化编辑 最初创建为“IUN分析”

2026年6月11日 (星期四)

2026年6月6日 (星期六)

  • 15:082026年6月6日 (六) 15:08 编写文案历史 | 编辑[541字节] Er1224留言 | 贡献 (创建页面,内容为“我发明了一个序列:\begin{align*} &\mathcal U_0(n)=n+1\\ &\mathcal U_\alpha(n)=\underbrace{\mathcal U_{\alpha-1}(\mathcal U_{\alpha-1}(\dots\mathcal U_{\alpha-1}(n)\dots))}_{n\text{ times}},\alpha<\omega\\ &\mathcal U_\omega(n)=\mathcal U_n\big(\mathcal U_{n-1}(n-1)\big)\\ &\mathcal U_{\omega+m}(n)=\mathcal U_{\omega+m-1}^{\mathcal U_{\omega+m}(n-1)} === ( === n)\\ &\mathcal U_{\omega^2}(n)=\big(\mathcal U_{\omega\cdot \mathcal U_{\omega^2}(n-1)}\big)^{\m…”)

2026年6月4日 (星期四)

  • 17:392026年6月4日 (四) 17:39 超限TSS分析历史 | 编辑[4,652字节] CGoL留言 | 贡献 (创建页面,内容为“本词条展示超限TSS的分析,使用QSS作为对照 {| class="wikitable mw-collapsible" |+分析 !超限TSS !QSS |- |<math>(0)(1,1,1)(2,2,2)\cdots(\omega,\omega,\omega)</math> |<math>(0)(1,1,1,1)</math> |- |<math>(0)(1,1,1)(2,2,2)\cdots(\omega,\omega,\omega)(1,1)</math> |<math>(0)(1,1,1,1)(1,1)</math> |- |<math>(0)(1,1,1)(2,2,2)\cdots(\omega,\omega,\omega)(1,1,1)</math> |<math>(0)(1,1,1,1)(1,1,1)</math> |- |<math>(0)(1,1,1)(2,2,2)\cdots(\omega,\om…”) 标签可视化编辑 最初创建为“TTSS分析”