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

新页面

更多操作
新页面
隐藏注册用户 | 隐藏机器人 | 显示重定向
最新 | 最旧) 查看( | )(20 | 50 | 100 | 250 | 500

2025年7月20日 (星期日)

  • 16:052025年7月20日 (日) 16:05 Googology 娱乐历史 | 编辑[727字节] Phyrion留言 | 贡献 (创建页面,内容为“以下是Googology 社区中的一些娱乐项目: === 1.增量游戏 === 关于增量游戏的介绍,可以看[https://zhuanlan.zhihu.com/p/564483395 这篇文章](写的非常好) 不过,大部分增量游戏的极限数字并不大,基本只有指数塔级别。但[https://patcailmemer.github.io/Ordinal-Markup/ 序数增量]里的序数最高达到了<math>\psi(\Omega_2\omega)</math> === 2.你画我猜 === [https://enazo.cn 绘迷你画我猜]…”) 标签可视化编辑

2025年7月19日 (星期六)

2025年7月18日 (星期五)

  • 16:402025年7月18日 (五) 16:40 非递归BMS分析历史 | 编辑[28,065字节] Z留言 | 贡献 (创建页面,内容为“本条目展示非递归BMS和其他非递归记号的列表分析 {| class="wikitable" |+ !非递归BMS !其他记号 |- |<math>\varnothing</math> |<math>0</math> |- |<math>(1)</math> |<math>1</math> |- |<math>(1)(1)</math> |<math>2</math> |}”) 标签可视化编辑
  • 16:002025年7月18日 (五) 16:00 非递归BMS历史 | 编辑[1,452字节] Z留言 | 贡献 (创建页面,内容为“非递归BMS是用BMS结构来表示非递归序数的一个记号。 == 定义 == 首列一定是若干的1构成 0和空等价,在列末可以任意添加0而不改变表达式本身大小,如<math>(1,1,1,1)(2,2,1)(3,3,2)</math>等价于<math>(1,1,1,1,0)(2,2,1,0,0)(3,3,2,0,0)</math> 如果末列是<math>(1)</math>,则等同于后继 如<math>(1,1,1)(2,2)(1)=(1,1,1)(2,2)+1</math> 否则,如果LNZ(末列…”) 标签可视化编辑
  • 09:262025年7月18日 (五) 09:26 模型历史 | 编辑[2,720字节] 虚妄之幻留言 | 贡献 (模型的定义) 标签可视化编辑
  • 08:242025年7月18日 (五) 08:24 投影序数历史 | 编辑[14,255字节] Z留言 | 贡献 (创建页面,内容为“投影序数(projection)是test_alpha0创造的非递归记号。投影序数是目前为止最方便的强大非递归序数表达方式,伴生的限制则是——它很有可能永远无法良定义(至少在比较小的序数处如此)。但即使如此,它可以作为非递归序数和递归记号的交接桥梁,并在国内大数社群广泛地被使用。 == 定义 == === 第一个2-投影序数 === 我们定义1-投影序数(<math>1-projecti…”) 标签可视化编辑
  • 08:072025年7月18日 (五) 08:07 0-Y历史 | 编辑[10,917字节] Apocalypse留言 | 贡献 (创建页面,内容为“'''0-Y'''是一种Worm型序数记号,它是PrSS的一种扩展。 == 定义 == === 合法表达式 === 一个合法的 0-Y 表达式是以 1 开头的正整数序列,即形如 <math>(a_1,a_2,\cdots,a_n)\quad(n,a_1,a_2,\cdots,a_n\in\N,a_1=1)</math> 的序列。 例如:<math>(1,4,6,4)</math>和<math>(1,1,4,5,1,4)</math>都是合法的 0-Y 表达式,而<math>(1,2,\pi)</math>不是。 === 结构 === 0-Y…”)
  • 05:392025年7月18日 (五) 05:39 SCG函数 & SSCG函数历史 | 编辑[4,166字节] Apocalypse留言 | 贡献 (创建页面,内容为“'''SCG(SubCubic Graph number)函数'''和'''SSCG(Simple SubCubic Graph number)函数'''是两个由Harvey Friedman提出的图论函数。 == 定义 == === 图的嵌入 === 给定两个图<math>A</math>和<math>B</math>,我们称<math>A</math>能嵌入到<math>B</math>中,如果<math>B</math>能通过有限次以下操作得到<math>A</math>: * 删除一个度为0的点,即没有连接边的点。 * 删除一条边。 * 对于一条连接两个不同…”)

2025年7月17日 (星期四)

  • 12:452025年7月17日 (四) 12:45 Σ1稳定序数历史 | 编辑[36,063字节] Z留言 | 贡献 (创建页面,内容为“Σ1稳定序数是一个非递归记号。它是最初级的稳定序数。本条目介绍<math>\omega-\pi-\Pi_0</math>之前的Σ1稳定链。 前排提示:请先阅读条目反射序数。”) 标签可视化编辑
  • 12:402025年7月17日 (四) 12:40 Circle函数历史 | 编辑[2,614字节] Z留言 | 贡献 (创建页面,内容为“Circle函数是Harvey Friedman提出的一个快速增长的函数 == 定义 == 由平面上n个不相交的圆(可能外离或内含)组成了一个序列<math>\{C_1,C_2,\cdots,C_n\}</math>.把并集<math>C_a\cup C_{a+1}\cup\cdots C_{b-1}\cup C_b</math>记作<math>C_{[a,b]}</math>.给定一个正整数k,如果存在满足“<math>k\leq i<j\leq n/2</math>,且存在把<math>C_{[i,2i]}</math>变成<math>C_{[j,2j]}</math>的子集的同胚拓扑变换”的<mat…”) 标签可视化编辑
  • 12:172025年7月17日 (四) 12:17 Friedman序列历史 | 编辑[1,693字节] Z留言 | 贡献 (创建页面,内容为“Friedman序列,是 Harvey Friedman 提出的。 == 定义 == 考虑一个正整数构成的序列<math>\{a_1,a_2,\cdots,a_k\}</math>,我们定义Friedman序列如下: 若对于正整数k来说,序列满足不存在正整数<math>1\leq i< j\leq k/2</math>,使得<math>\{a_i,a_{i+1},\cdots,a_{2i}\}</math>是<math>\{a_j,a_{j+1},\cdots,a_{2j}\}</math>的子序列,则称其为关于k的Friedman序列。 函数<math>n(k)</math>定义为关于k的Friedman序…”) 标签可视化编辑
  • 09:422025年7月17日 (四) 09:42 皮亚诺公理体系历史 | 编辑[4,039字节] Tabelog留言 | 贡献 (创建页面,内容为“Peano 公理是定义自然数集合及其基本性质的一组公理。 === 定义 === 用数学语言(一阶逻辑与集合论)可形式化表述如下: 设 <math>N</math> 为一个集合,<math>0\in N</math> 为其一个特定元素,<math>s:N\rightarrow N</math>为一个函数(称为“后继函数”),满足以下五条公理: # <math>0\in N</math>(0 是自然数) # <math>\forall n\in N, s(n)\in N</math>(后继函数的封闭性)…”) 标签可视化编辑

2025年7月16日 (星期三)

  • 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留言 | 贡献 (创建页面,内容为“反射是一个非递归记号。它表示非递归序数,其特点是并不会表示其极限之下的所有序数。它具有深厚的集合论背景”)

2025年7月15日 (星期二)

  • 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…”) 标签可视化编辑
  • 16:072025年7月15日 (二) 16:07 忙碌海狸函数历史 | 编辑[12,698字节] Z留言 | 贡献 (创建页面,内容为“忙碌海狸函数(Busy Beaver Function,又名BB函数或Radó的Σ函数)是一个不可计算的快速增长函数。它是最著名的不可计算函数,也是专业数学中出现的有史以来增长最快的函数之一。 == 定义 == === 图灵机 === 图灵机,是由英国数学家艾伦・麦席森・图灵于1936年提出的一种抽象的计算模型,即将人们使用纸笔进行数学运算的过程进行抽象,由一个虚拟的…”) 标签可视化编辑
  • 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矩…”)

2025年7月14日 (星期一)

  • 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发明的序数记号。它目前还未被证明良序。它被认为是急模式的源头 == 定义 == ''前排提示:请先阅读BMSBHM的定义'' BSM只有找坏根规则和BMS不一致。以下介绍不一致的地方。 # 第0列:默认行、列标均从1开始,并在第1列之前加上一个额外的没有值的第0列。如果BHM中一…”) 标签可视化编辑 最初创建为“Bashicu急矩阵”

2025年7月13日 (星期日)

  • 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…”) 标签可视化编辑

2025年7月12日 (星期六)

  • 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…”) 标签可视化编辑

2025年7月11日 (星期五)

  • 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<sup>(≡≡)</sup> * Dupercoxal, 10<sup>(≡≡`2)</sup> * 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超矩阵”

2025年7月10日 (星期四)

  • 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, 10<sup>1,000,000</sup> * 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, 7<sup>1,953,125</sup> <math>\approx 1.2865 \times 10^{1,6…”) 标签可视化编辑
  • 18:592025年7月10日 (四) 18:59 Googolism - Part 2历史 | 编辑[131,484字节] Tabelog留言 | 贡献 (创建页面,内容为“== Part 2.1: 10<sup>6</sup> ~ 10<sup>20</sup> == * '''Million''' / Duolillion / duillion / sooxol / 6-noogol / goonaoltetrault / niloogoltriplex / goosol, 1,000,000 = 10<sup>6</sup> * Welkillillion, 1,004,020 * Guppybit / binary-minnowcrumb / Binary-Goovol / Hexadecimal-Gooqnol / hexadecimal-qoonol, 1,048,576 = 2<sup>20</sup> * 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,超康托尔序数)''',是一个重要的序数。它也是BOCFMOCF的第一个追平点。 {| 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…”) 标签可视化编辑:已切换

2025年7月9日 (星期三)

2025年7月8日 (星期二)

2025年7月7日 (星期一)

  • 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 |<…”)
  • 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: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 表达式…”) 标签可视化编辑
最新 | 最旧) 查看( | )(20 | 50 | 100 | 250 | 500