新页面

21:552025年7月16日 (三) 21:55 weak Veblen 函数（历史 | 编辑） [23,848字节] Tabelog（留言 | 贡献）（创建页面，内容为“weak Veblen 函数（又称“弱 φ”、“弱 veblen”等）是 Veblen 函数的变体。 === 定义 === 一些必要的区分：现在有两种 Veblen 函数的变体可被称为弱 φ。如果称 Veblen 函数的末位+1等价于跳到下一个 ε 点（不动点进制），那么可以直观地定义下面两种弱 φ（与此同时，Veblen 函数是 FP φ）：末位+1=序数*ω（或称 *ω φ）和末位+1=序数+1（+1 φ）。据信在 2024 年…”）标签：可视化编辑最初创建为“Weak veblen函数”
06:302025年7月16日 (三) 06:30 反射序数（历史 | 编辑） [40,581字节] Z（留言 | 贡献）（创建页面，内容为“反射是一个非递归记号。它表示非递归序数，其特点是并不会表示其极限之下的所有序数。它具有深厚的集合论背景”）

23:202025年7月15日 (二) 23:20 TREE函数（历史 | 编辑） [4,344字节] GaoKao（留言 | 贡献）（创建页面，内容为“'''TREE函数'''是由数理逻辑学家Harvey Friedman提出的图论函数。 == 定义 == === 树的嵌入 === 给定两棵树<math>A</math>和<math>B</math>，我们称<math>A</math>能嵌入到<math>B</math>中，如果<math>B</math>能通过有限次以下操作得到<math>A</math>： * 删除一个叶子节点。 * 若某点只有两条边和它连接，删除这个点，用一条边连接与它相邻的两个顶点(即将两条相邻的边合并成…”）标签：可视化编辑
22:282025年7月15日 (二) 22:28 Catching （历史 | 编辑） [1,855字节] Tabelog（留言 | 贡献）（创建页面，内容为“（待补充） == Hyp cos 的定义与分析 == === 分析 - BEAF、FGH 和 SGH（第 1 部分） === 你认为 SGH 第一次追上 FGH 是在 LVO 还是 <math>\psi(\Omega_\omega)</math>？你认为 BEAF 中军团的极限是 LVO 吗？ We used to think the limit of a legion of BEAF is LVO, which "happens to be" the first catching ordinal some people think. Now we know the real catching ordinal, so let's analysis BEAF again. I hope to see the real strengt…”）标签：可视化编辑
18:002025年7月15日 (二) 18:00 Busy Beaver （历史 | 编辑） [85字节] Z（留言 | 贡献）（重定向页面至忙碌海狸函数）标签：新重定向可视化编辑
16:072025年7月15日 (二) 16:07 忙碌海狸函数（历史 | 编辑） [12,698字节] Z（留言 | 贡献）（创建页面，内容为“忙碌海狸函数（Busy Beaver Function，又名BB函数或Radó的Σ函数）是一个不可计算的快速增长函数。它是最著名的不可计算函数，也是专业数学中出现的有史以来增长最快的函数之一。 == 定义 == === 图灵机 === 图灵机，是由英国数学家艾伦・麦席森・图灵于1936年提出的一种抽象的计算模型，即将人们使用纸笔进行数学运算的过程进行抽象，由一个虚拟的…”）标签：可视化编辑
15:192025年7月15日 (二) 15:19 Xi函数（历史 | 编辑） [42字节] Z（留言 | 贡献）（重定向页面至Ξ函数）标签：新重定向可视化编辑
15:182025年7月15日 (二) 15:18 Ξ函数（历史 | 编辑） [4,418字节] Z（留言 | 贡献）（创建页面，内容为“Ξ函数是Adam P. Goucher定义的一个快速增长的不可计算函数。它的“增长率”被估算为OFP。 == 定义 == === SKI演算 === Ξ函数的定义基于SKI演算，SKI演算是组合逻辑的一个子系统，它是<math>\lambda</math>演算的前身。SKI演算是一颗二叉树，其中叶子是组合子为三个符号S、K、I，它们使用括号来表示树。SKI程序的一个简单的例子是<math>(((SK)S)((KI)S))</math>.我们默…”）标签：可视化编辑
13:152025年7月15日 (二) 13:15 投影 VS 反射稳定（历史 | 编辑） [9,757字节] Z（留言 | 贡献）（创建页面，内容为“本条目展示投影序数和反射序数、稳定序数的列表分析 {| class="wikitable" |+ !投影序数 !反射稳定 |- |<math>\omega</math> |<math>1</math> |- |<math>\omega\times2</math> |<math>2nd~1</math> |- |<math>\omega\times3</math> |<math>3rd~1</math> |- |<math>\omega^2</math> |<math>1-1</math> |- |<math>\omega^2+\omega</math> |<math>1~aft~1-1</math> |- |<math>\omega^2+\omega\times2</math> |<math>2nd~1~aft~1-1</math> |- |<math>\omega^…”）标签：可视化编辑
04:052025年7月15日 (二) 04:05 提升效应（历史 | 编辑） [973字节] Apocalypse（留言 | 贡献）（创建页面，内容为“'''提升效应'''是googology分析时出现的一种现象。 == 定义 == 提升一般不严谨地描述为“在分析时出现的比直觉感知更强的结论”，往往容易伴随分析的错误出现。提升并没有一个严谨的定义，最接近严谨的可能是“在一个极限序数范围内正确的googology分析归纳结论，在超出这个序数范围后，实际结论强于归纳结论”。最经典的提升无疑是Bashicu矩…”）

20:502025年7月14日 (一) 20:50 EBO （历史 | 编辑） [1,764字节] GaoKao（留言 | 贡献）（创建页面，内容为“'''EBO(Extended Buchholz Ordinal, 扩展布赫兹序数)'''，是扩展BOCF的极限。 {| class="wikitable" |+EBO !记号 !表达式 |- |BOCF |<math>\psi(\Omega_{\Omega_\ddots})=\psi(I)</math> |- |MOCF |<math>\psi(\Omega_{\Omega_\ddots})=\psi(\psi_I(0))</math> |- |BMS |<math>\begin{pmatrix} 0&1&2&3&2\\ 0&1&1&1&0\\ 0&1&1&0&0 \end{pmatrix}</math> |- |0-Y |<math>1,4,7,9,5</math> |- |Y…”）标签：可视化编辑
10:142025年7月14日 (一) 10:14 BSM （历史 | 编辑） [4,805字节] Z（留言 | 贡献）（创建页面，内容为“Bashicu急矩阵(Bashicu Sudden Matrix,BSM)是Bashicu Hyudora发明的序数记号。它目前还未被证明良序。它被认为是急模式的源头 == 定义 == ''前排提示：请先阅读BMS和BHM的定义'' BSM只有找坏根规则和BMS不一致。以下介绍不一致的地方。 # 第0列：默认行、列标均从1开始，并在第1列之前加上一个额外的没有值的第0列。如果BHM中一…”）标签：可视化编辑最初创建为“Bashicu急矩阵”

17:492025年7月13日 (日) 17:49 BEAF （历史 | 编辑） [12,538字节] Tabelog（留言 | 贡献）（创建页面，内容为“Bowers' Exploding Array Function（BEAF，鲍尔斯爆炸数组函数）是由乔纳森·鲍尔斯（Jonathan Bowers）发明的一种表示极大数的符号系统，类似于链式箭头符号，但强度远超后者。它是数阵记号（Array Notation）和扩展数阵记号（Extended Array Notation）的超集，两者均由鲍尔斯发明。由于其简洁性和极快的增长速度，BEAF 在 googology 中颇具名气，更不用…”）标签：可视化编辑
15:102025年7月13日 (日) 15:10 超E记号（历史 | 编辑） [5,090字节] Z（留言 | 贡献）（创建页面，内容为“超E记号（Hyper-E Notation，简称E#）是Sbiis Saibian发明的大数记号。<ref>[https://sites.google.com/site/largenumbers/home/4-3/4-3-1-foray 4.3.1 - A 2nd Grader's Close Encounter with the Infinite - Large Numbers]</ref> == 定义 == 原始的超E记号由一个或多个正整数参数的序列<math>a_n</math>组成，这些参数由#分隔。我们将其标记为 <math>E[b]a_1\#a_2\#a_3\#\cdots\#a_n</math>.b称为底数。如果省略它，则默…”）标签：可视化编辑
11:462025年7月13日 (日) 11:46 TFBO （历史 | 编辑） [975字节] GaoKao（留言 | 贡献）（创建页面，内容为“'''TFBO(Takeuti-Feferman-Buchholz ordinal)'''，是Buchholz Hydra的极限。 {| class="wikitable" |+TFBO !记号 !表达式 |- |BOCF |<math>\psi(\Omega_{\omega+1})</math> |- |MOCF |<math>\psi(\psi_\omega(0))</math> |- |BMS |<math>\begin{pmatrix} 0&1&2&3\\ 0&1&1&2\\ 0&1&0&0 \end{pmatrix}</math> |- |0-Y |<math>1,4,6,9</math> |- |Y序列 |<math>1,2,4,8,11,15</math> |- |Bashicu…”）标签：可视化编辑

19:502025年7月12日 (六) 19:50 PSS Hydra （历史 | 编辑） [5,456字节] GaoKao（留言 | 贡献）（创建页面，内容为“'''PSS Hydra(Pair Sequence System Hydra)'''，是一种Hydra型序数记号，其行为和BO之前的BOCF类似。 == 定义 == === 合法表达式 === PSS Hydra 的表达式由<math>\psi^H_n(n\in\N)</math><ref>PSS Hydra 的定义中使用的是<math>\psi_n</math>，这里为了和OCF区分，添加了上标H。</ref>，<math>+</math>，<math>0</math>和括号组成。在使用时，<math>\psi^H_n</math>通常简写为<mat…”）标签：可视化编辑
07:182025年7月12日 (六) 07:18 多边形记号（历史 | 编辑） [42字节] Z（留言 | 贡献）（重定向页面至斯坦豪斯-莫泽表示法）标签：新重定向

22:132025年7月11日 (五) 22:13 Goodstein函数（历史 | 编辑） [9,083字节] Z（留言 | 贡献）（创建页面，内容为“古德斯坦函数(Goodstein Function)是由鲁宾•古德斯坦(Reuben Goodstein)构造出的快速增长的函数。”）
22:052025年7月11日 (五) 22:05 斯坦豪斯-莫泽表示法（历史 | 编辑） [3,442字节] Z（留言 | 贡献）（创建页面，内容为“斯坦豪斯-莫泽表示法(Steinhaus-Moser Notation)是由斯坦豪斯•雨果(Hugo Steinhaus)创造，并且由利奥•莫泽(Leo Moser)扩展的大数表示法”）
20:362025年7月11日 (五) 20:36 Googolism - Part 6 （历史 | 编辑） [170,738字节] Tabelog（留言 | 贡献）（创建页面，内容为“=== Part 6.1: <math>f_{\omega}(f_3(10))</math> ~ <math>f_{\omega+1}(f_3(10))</math> === * <nowiki>Giggotri, {10, 10, {10, 100, 2}}</nowiki> * Great grangol / Grangolsuplex, E100##2#2 * Grangolsuplexigong, E100,000##2#2 * Googoldexisuplex, E100##(E100#1#2) * Googolplexidexisuplex, E100##(E100#2#2) * Grangoldexisuplex, E100##(E100#100#2) * Grangoldudexisuplex, E100##(E100#100#3) * '''Moser''', 2[2[5, 2 in a mega-gon * Joyce's tetratri, g(2,1,1,4,3,3) * Tritriple…”）标签：可视化编辑
20:302025年7月11日 (五) 20:30 Googolism - Part 5 （历史 | 编辑） [148,816字节] Tabelog（留言 | 贡献）（创建页面，内容为“=== Part 5.1: 10↑↑10↑↑10 ~ 10↑↑↑4 === * Tria-taxis / tria-teraksys / dekalogialogue, E1#1#3 = 10↑↑10↑↑10 * Googoloctiplexidex, E100#9#2 * Equiduoxal, 10(≡≡) * Dupercoxal, 10(≡≡`2) * Grand Hyperillion, H* (10,2) * Googolnoniplexidex, E100#10#2 * Googoldeciplexidex, E100#11#2 * Grand-exi-hyperillion, H* (16,2) * Doovolplex / Icosalogialogue, 10↑↑10↑↑20 * Dutriquomevalka, 2[3,4] * Grand-icosi-hyperillion…”）标签：可视化编辑
19:592025年7月11日 (五) 19:59 Googolism （历史 | 编辑） [9,766字节] Tabelog（留言 | 贡献）（创建页面，内容为“这里按照升序给出了所有 googolism 的列表。 === 概念 === ==== googolism ==== googolism 是 googology 中给数字的名称。与“大数”这一概念不同的是，它不特指极大的具体数值，任何大小的数字都可被称为 googolism（这个词在中文语境中通常被译为“大数”或“有名字的大数”）。在现代 googology 时期之前，googolism 一直是 googology 的核心研究对象。 ==== googologism =…”）标签：可视化编辑
17:042025年7月11日 (五) 17:04 BHM （历史 | 编辑） [4,524字节] Z（留言 | 贡献）（创建页面，内容为“Bashicu超矩阵(Bashicu Hyper Matrix,'''BHM''')是Bashicu Hyudora发明的序数记号。它是BMS的一个运用急模式的改版。目前BHM还未被证明良序。 == 定义 == == 枚举和强度分析 ==”）标签：可视化编辑最初创建为“Bashicu超矩阵”

22:522025年7月10日 (四) 22:52 Googolism - Part 4 （历史 | 编辑） [97,135字节] Tabelog（留言 | 贡献）（创建页面，内容为“=== Part 4.1: <math>10^{10^{1,000,000}}</math> ~ <math>10^{10^{10^{100}}}</math> === * '''Millionduplex''' / milliduplexion / goob-holplex, <math>10^{10^{1,000,000}}</math> * Fzmilliplexion, <math>10^{10^{1,000,006}}</math> * Tetrahectekillillion, <math>10^{3\times10^{1,200,000}+3}</math> * Hyper-pen-exitillion, <math>10^{3\times16^{16^5}+3}\approx10^{6.195\times10^{1,262,611}}</math> * Pentahectekillillion, <math>10^{3\times10^{1,500,000}+3}</math> * Heads-Pe…”）标签：可视化编辑
22:492025年7月10日 (四) 22:49 Googolism - Part 3 （历史 | 编辑） [118,457字节] Tabelog（留言 | 贡献）（创建页面，内容为“=== Part 3.1: <math>10^{1,000,000}</math> ~ <math>10^{10^{20}}</math> === * Milliplexion / Maximusmillion / goob-hol / goosolplex, 101,000,000 * Largest known factorial prime (−1), 208,003! − 1 <math>\approx 8.5854 \times 10^{1,015,842}</math> * Largest known prime not containing digit '4' / largest known non-pandigital prime, <math>653 \times 10^{1,435,026}-1</math> * Heads-Tet-1-primol, 71,953,125 <math>\approx 1.2865 \times 10^{1,6…”）标签：可视化编辑
18:592025年7月10日 (四) 18:59 Googolism - Part 2 （历史 | 编辑） [131,484字节] Tabelog（留言 | 贡献）（创建页面，内容为“== Part 2.1: 106 ~ 1020 == * '''Million''' / Duolillion / duillion / sooxol / 6-noogol / goonaoltetrault / niloogoltriplex / goosol, 1,000,000 = 106 * Welkillillion, 1,004,020 * Guppybit / binary-minnowcrumb / Binary-Goovol / Hexadecimal-Gooqnol / hexadecimal-qoonol, 1,048,576 = 220 * Killer, 1,132,021 * Wściekłość, 1,273,262 * Aspirin, 1,338,227 * Ruin, 1,345,986 * Kyran, 1,398,101 * Iaq, 1,419,857 * Algardome, 1…”）标签：可视化编辑
16:422025年7月10日 (四) 16:42 FSO （历史 | 编辑） [1,672字节] 夏浅不是下潜（留言 | 贡献）（创建页面，内容为“'''FSO(Feferman-Schutte Ordinal，费福尔曼-舒特序数)'''，是veblen函数的极限。 {| class="wikitable" |+FSO !记号 !表达式 |- |veblen函数 |<math>\varphi(1,0,0)</math> |- |BOCF |<math>\psi(\Omega^\Omega)/\psi(\psi_1(0)^{\psi_1(0)})</math> |- |MOCF |<math>\psi(\Omega^\Omega)</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 \\ 0 & 1 & 1 \end{pmatrix}</math> |- |HPrSS |<math>1,3,5,7</mat…”）标签：可视化编辑：已切换
16:162025年7月10日 (四) 16:16 HCO （历史 | 编辑） [1,497字节] 夏浅不是下潜（留言 | 贡献）（创建页面，内容为“'''HCO(Hyper Cantor's Ordinal，超康托尔序数)'''，是一个重要的序数。它也是BOCF和MOCF的第一个追平点。 {| class="wikitable" |+SCO !记号 !表达式 |- |序数 |veblen函数 |<math>\varphi(\omega,0)</math> |- |BOCF |<math>\psi(\Omega^\omega)/\psi(\psi_1(0)^\omega)</math> |- |MOCF |<math>\psi(\Omega^\omega)</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 \\ 0 &…”）
16:022025年7月10日 (四) 16:02 LCO （历史 | 编辑） [1,303字节] 夏浅不是下潜（留言 | 贡献）（创建页面，内容为“'''LCO(Large Cantor's Ordinal，大康托尔序数)'''。 {| class="wikitable" |+SCO !记号 !表达式 |- |序数 |<math>\eta_0</math> |- |veblen函数 |<math>\varphi(3,0)</math> |- |BOCF |<math>\psi(\Omega^3)/\psi(\psi_1(0)^3)</math> |- |MOCF |<math>\psi(\Omega^2)</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 1 & 1 \\ 0 & 1 & 1 & 1 \end{pmatrix}</math> |- |LPrSS |<math>1,5</math> |- |HPrSS |<math>1…”）标签：可视化编辑：已切换
15:552025年7月10日 (四) 15:55 CO （历史 | 编辑） [1,289字节] 夏浅不是下潜（留言 | 贡献）（创建页面，内容为“'''CO(Cantor Ordinal，托尔序数)'''。 {| class="wikitable" |+SCO !记号 !表达式 |- |序数 |<math>\zeta_0</math> |- |veblen函数 |<math>\varphi(2,0)</math> |- |BOCF |<math>\psi(\Omega^2)/\psi(\psi_1(0)^2)</math> |- |MOCF |<math>\psi(\Omega)</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 1\\ 0 & 1 & 1 \end{pmatrix}</math> |- |LPrSS |<math>1,4</math> |- |HPrSS |<math>1,3,6</math> |- |0-Y |…”）
15:442025年7月10日 (四) 15:44 LAO （历史 | 编辑） [1,384字节] 夏浅不是下潜（留言 | 贡献）（创建页面，内容为“'''LAO(LAO，Linar Array Ordinal，线性数阵序数)'''，因在googology一度经典的线性数阵的极限是它而得名 {| class="wikitable" |+LAO !记号 !表达式 |- |序数 |<math>\omega^\omega</math> |- |veblen函数 |<math>\varphi(\varphi(1))</math> |- |BOCF |<math>\psi(\psi(0))</math> |- |Worm序列 |<math>1,2,3</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 \end{pmatrix}</math> |- |长初等序…”）
15:282025年7月10日 (四) 15:28 FTO （历史 | 编辑） [1,457字节] 夏浅不是下潜（留言 | 贡献）（创建页面，内容为“'''FTO(First Transfinite Ordinal，第一个超限序数)'''，是一个重要的序数。它被认为是具有“里程碑”意义的一个序数。 {| class="wikitable" |+FTO !记号 !表达式 |- |序数 |<math>\omega</math> |- |veblen函数 |<math>\varphi(1)</math> |- |BOCF |<math>\psi(0)</math> |- |Worm序列 |<math>1,2</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 \end{pmatrix}</math> |- |长初等序列|LP…”）标签：可视化编辑：已切换

18:482025年7月9日 (三) 18:48 Googolism - Part 1 （历史 | 编辑） [116,417字节] Tabelog（留言 | 贡献）（创建页面，内容为“=== Part 1.1 负数和 0（* ~ 0） === * 所有的负数（-1 -2 -3 -4 等） * '''Zero''' / Nil / Null / None / Nothing / Nought / Naught / Nada / Zip / Zilch / Rock Bottom / Cipher / Cypher, 0 * Infinitesimal, \(\epsilon\) === Part 1.2 Micronyms（0 ~ 1） === micronym 是指为极小量级的小数所赋予的特殊名称。该术语由Sbiis Saibian创造，作为对 googolism 一词的类比——后者指代任何对数字的命名。任何 googolism…”）标签：可视化编辑
15:372025年7月9日 (三) 15:37 BHM分析（历史 | 编辑） [620字节] Z（留言 | 贡献）（创建页面，内容为“本条目展示BHM的强度的列表分析分类:分析”）标签：可视化编辑
15:362025年7月9日 (三) 15:36 BOCF VS MOCF （历史 | 编辑） [3,943字节] Z（留言 | 贡献）（创建页面，内容为“本条目展示BOCF与MOCF在关键节点上的差异的列表分析。”）标签：可视化编辑

14:512025年7月8日 (二) 14:51 LVO （历史 | 编辑） [1,540字节] GaoKao（留言 | 贡献）（创建页面，内容为“LVO (Large Veblen Ordinal, 大维布伦序数)，是序数元Veblen函数的极限。 {| class="wikitable" |+LVO !记号 !表达式 |- |Veblen函数 |\(\varphi(1@(1,0))=\min \alpha\mapsto\varphi(1@\alpha) Fixed Point\) |- |BOCF/MOCF |<math>\psi(\Omega^{\Omega^\Omega})</math> |- |BMS |<math>\begin{pmatrix} 0&1&2&3&4\\ 0&1&1&1&1 \end{pmatrix} =(0,0)(1,1)(2,1)(3,1)(4,1)</math> |- |…”）标签：可视化编辑
00:002025年7月8日 (二) 00:00 BO （历史 | 编辑） [1,649字节] Z（留言 | 贡献）（创建页面，内容为“BO(Buchholz's Ordinal，布赫霍兹序数)，是googology中一个非常重要的序数。它被认为是具有“里程碑”意义的大序数。学会一个BO级别的序数记号被认为是googology新人入门的标志。BO还是FGH和SGH的第一次Catch。”）标签：可视化编辑

22:312025年7月7日 (一) 22:31 SVO （历史 | 编辑） [1,558字节] Partygoer002（留言 | 贡献）（创建页面，内容为“SVO(Small Veblen's Ordinal，小韦伯伦序数；Veblen，又译维布伦、凡勃伦)，是有限元veblen函数的极限。 {| class="wikitable" |+SCO !记号 !表达式 |- |veblen函数 |\(\varphi(1@\omega)\) |- |BOCF或MOCF |<math>\psi(\Omega^{\Omega^\omega})=\psi(\psi_1(\psi_1(\psi_1(1))))</math> |- |BMS |<math>\left(\begin{smallmatrix}0&1&2&3&4\\0&1&1&1&0\end{smallmatrix} \right)=(0,0)(1,1)(2,1)(3,1)(4,0)</math> |- |HPrSS或0-Y |<…”）
22:292025年7月7日 (一) 22:29 维布伦函数（历史 | 编辑） [27字节] Zhy137036（留言 | 贡献）（重定向页面至Veblen函数）标签：新重定向
21:532025年7月7日 (一) 21:53 BHO （历史 | 编辑） [1,750字节] Partygoer002（留言 | 贡献）（创建页面，内容为“BHO（Bachmann-Howard Ordinal，巴克曼－霍华德序数），是一个重要的序数。它被认为是具有“里程碑”意义的一个序数。有人称其为“大号的SCO”。 {| class="wikitable" |+BHO !记号 !表达式 |- |veblen函数 |\(\varphi(1@(1@(\cdots)))=\varphi(\min\;\alpha\mapsto1@(\alpha)\;\text{Fixed Point})\) |- |BOCF |<math>\psi(\Omega_2)=\psi(\psi_1(\psi_1(\psi_1(\cdots))))</math> |- |MOCF |<math>\psi…”）
21:052025年7月7日 (一) 21:05 HPrSS （历史 | 编辑） [29字节] GaoKao（留言 | 贡献）（重定向页面至超初等序列）标签：新重定向可视化编辑：已切换
21:032025年7月7日 (一) 21:03 超初等序列（历史 | 编辑） [6,985字节] GaoKao（留言 | 贡献）（创建页面，内容为“'''超初等序列(Hyper Primitive Sequence System, HPrSS)'''，是一种Worm型序数记号，它是PrSS的一种扩展。 == 定义 == === 合法表达式 === 一个合法的 HPrSS 表达式是以 1 开头的正整数序列，即形如 <math>(s_1,s_2,\cdots,s_n)\quad(n,s_1,s_2,\cdots,s_n\in\N,s_1=1)</math> 的序列。例如：<math>(1,4,6,4)</math>和<math>(1,1,4,5,1,4)</math>都是合法的 HPrSS 表达式…”）标签：可视化编辑
10:522025年7月7日 (一) 10:52 BMS （历史 | 编辑） [19,321字节] Z（留言 | 贡献）（创建页面，内容为“Bashicu矩阵(Bashicu Matrix System,'''BMS''')是一个序数记号。Bashicu Hyudora在2018年给出了它的良好定义。”）最初创建为“Bashicu矩阵”
10:442025年7月7日 (一) 10:44 OCF （历史 | 编辑） [32字节] Z（留言 | 贡献）（Z移动页面OCF至序数坍缩函数）标签：新重定向
10:402025年7月7日 (一) 10:40 LPrSS （历史 | 编辑） [29字节] Zhy137036（留言 | 贡献）（重定向页面至长初等序列）标签：新重定向

22:262025年7月6日 (日) 22:26 序数超运算（历史 | 编辑） [8,034字节] Z（留言 | 贡献）（创建页面，内容为“序数超运算是对序数使用超运算的尝试。它虽然是最直观、新人最容易想到的模式，但已经被长期的googology实践所证明是低效、难以扩展的。好吧”）
22:112025年7月6日 (日) 22:11 Kirby-Paris Hydra （历史 | 编辑） [5,823字节] GaoKao（留言 | 贡献）（创建页面，内容为“'''Kirby-Paris Hydra(KP-Hydra)''' 是在一棵树上进行的单人游戏，需要很长时间才能终止。由此游戏导出的函数<math>\rm{Hydra(n)}</math>的增长率超过了皮亚诺公理体系可证明停机的一切递归函数。它与Beklemishev's worm密切相关。 == 规则 == KP-Hydra 游戏的规则如下： * 游戏从一棵有根树T开始； * 第n回合，选择T的一个叶子节点a，设a的父节点为b…”）标签：可视化编辑
20:352025年7月6日 (日) 20:35 条目编写规范（历史 | 编辑） [148字节] Phyrion（留言 | 贡献）（创建页面，内容为“我们在条目编写指南中介绍了一些常用功能的实现。在这篇文章中，我们将详细介绍'''内容层面'''上的规范。”）标签：可视化编辑
14:522025年7月6日 (日) 14:52 SCO （历史 | 编辑） [1,742字节] Z（留言 | 贡献）（创建页面，内容为“缩略图|（图片仅供参考） SCO(Small Cantor's Ordinal，小康托尔序数)，是一个重要的序数。它被认为是具有“里程碑”意义的一个序数 {| class="wikitable" |+SCO !记号 !表达式 |- |veblen函数 |<math>\varphi(1,0)/\varepsilon_0</math> |- |BOCF |<math>\psi(\Omega)/\psi(\psi_1(0))</math> |- |MOCF |<math>\psi(0)</math> |- |BMS |<math>\b…”）标签：可视化编辑
14:322025年7月6日 (日) 14:32 Beklemishev's Worm （历史 | 编辑） [4,123字节] Z（留言 | 贡献）（创建页面，内容为“Beklemishev's Worm是列夫·贝克勒米舍夫（俄语：Беклемишев Лев Дмитриевич<ref>[https://www.ras.ru/win/db/show_per.asp?P=.id-5721.ln-ru]</ref><ref>https://googology.fandom.com/wiki/Beklemishev%27s_worms#cite_ref-2</ref>）在2002年描述的一种结构，它是一个单人游戏，需要很长时间才能终止<ref>Beklemishev， L. （2006）.蠕虫原理。在Z. Chatzidakis， P. Koepke， & W. Pohlers （编辑），逻辑…”）标签：可视化编辑

2025年7月16日 (星期三)

2025年7月15日 (星期二)

2025年7月14日 (星期一)

2025年7月13日 (星期日)

2025年7月12日 (星期六)

2025年7月11日 (星期五)

2025年7月10日 (星期四)

2025年7月9日 (星期三)

2025年7月8日 (星期二)

2025年7月7日 (星期一)

2025年7月6日 (星期日)