主要公开日志

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

• 2025年7月15日 (二) 16:05 Z 留言 贡献创建了页面文件:Busy-beaver-four-states.webp
• 2025年7月15日 (二) 16:05 Z 留言 贡献上传文件:Busy-beaver-four-states.webp
• 2025年7月15日 (二) 16:01 Z 留言 贡献创建了页面文件:Busy-beaver-three-states.webp
• 2025年7月15日 (二) 16:01 Z 留言 贡献上传文件:Busy-beaver-three-states.webp
• 2025年7月15日 (二) 15:59 Z 留言 贡献创建了页面文件:Busy-beaver-two-states.webp
• 2025年7月15日 (二) 15:59 Z 留言 贡献上传文件:Busy-beaver-two-states.webp
• 2025年7月15日 (二) 15:26 Z 留言 贡献创建了页面文件:5327ce16801ceb4b972b43a8.webp
• 2025年7月15日 (二) 15:26 Z 留言 贡献上传文件:5327ce16801ceb4b972b43a8.webp
• 2025年7月15日 (二) 15:19 Z 留言 贡献创建了页面Xi函数 （重定向页面至Ξ函数） 标签：新重定向 可视化编辑
• 2025年7月15日 (二) 15:18 Z 留言 贡献创建了页面Ξ函数 （创建页面，内容为“Ξ函数是Adam P. Goucher定义的一个快速增长的不可计算函数。它的“增长率”被估算为OFP。 == 定义 == === SKI演算 === Ξ函数的定义基于SKI演算，SKI演算是组合逻辑的一个子系统，它是<math>\lambda</math>演算的前身。SKI演算是一颗二叉树，其中叶子是组合子为三个符号S、K、I，它们使用括号来表示树。SKI程序的一个简单的例子是<math>(((SK)S)((KI)S))</math>.我们默…”） 标签：可视化编辑
• 2025年7月15日 (二) 13:15 Z 留言 贡献创建了页面投影 VS 反射稳定 （创建页面，内容为“本条目展示投影序数和反射序数、稳定序数的列表分析 {| 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^…”） 标签：可视化编辑
• 2025年7月14日 (一) 10:15 Z 留言 贡献创建了页面BSM （重定向页面至Bashicu急矩阵） 标签：新重定向 可视化编辑
• 2025年7月14日 (一) 10:14 Z 留言 贡献创建了页面Bashicu急矩阵 （创建页面，内容为“Bashicu急矩阵(Bashicu Sudden Matrix,BSM)是Bashicu Hyudora发明的序数记号。它目前还未被证明良序。它被认为是急模式的源头 == 定义 == ''前排提示：请先阅读BMS和BHM的定义'' BSM只有找坏根规则和BMS不一致。以下介绍不一致的地方。 # 第0列：默认行、列标均从1开始，并在第1列之前加上一个额外的没有值的第0列。如果BHM中一…”） 标签：可视化编辑
• 2025年7月13日 (日) 15:10 Z 留言 贡献创建了页面超E记号 （创建页面，内容为“超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称为底数。如果省略它，则默…”） 标签：可视化编辑
• 2025年7月12日 (六) 07:18 Z 留言 贡献创建了页面多边形记号 （重定向页面至斯坦豪斯-莫泽表示法） 标签：新重定向
• 2025年7月11日 (五) 22:13 Z 留言 贡献创建了页面Goodstein函数 （创建页面，内容为“古德斯坦函数(Goodstein Function)是由鲁宾•古德斯坦(Reuben Goodstein)构造出的快速增长的函数。”）
• 2025年7月11日 (五) 22:05 Z 留言 贡献创建了页面斯坦豪斯-莫泽表示法 （创建页面，内容为“斯坦豪斯-莫泽表示法(Steinhaus-Moser Notation)是由斯坦豪斯•雨果(Hugo Steinhaus)创造，并且由利奥•莫泽(Leo Moser)扩展的大数表示法”）
• 2025年7月11日 (五) 17:06 Z 留言 贡献创建了页面BHM （重定向页面至Bashicu超矩阵） 标签：新重定向 可视化编辑
• 2025年7月11日 (五) 17:04 Z 留言 贡献创建了页面Bashicu超矩阵 （创建页面，内容为“Bashicu超矩阵(Bashicu Hyper Matrix,'''BHM''')是Bashicu Hyudora发明的序数记号。它是BMS的一个运用急模式的改版。目前BHM还未被证明良序。 == 定义 == == 枚举和强度分析 ==”） 标签：可视化编辑
• 2025年7月11日 (五) 10:48 Z 留言 贡献创建了页面文件:Image 1752201913143.jpg
• 2025年7月11日 (五) 10:48 Z 留言 贡献上传文件:Image 1752201913143.jpg
• 2025年7月11日 (五) 10:46 Z 留言 贡献创建了页面文件:Ζ.jpg
• 2025年7月11日 (五) 10:46 Z 留言 贡献上传文件:Ζ.jpg
• 2025年7月9日 (三) 15:37 Z 留言 贡献创建了页面BHM分析 （创建页面，内容为“本条目展示BHM的强度的列表分析 分类:分析”） 标签：可视化编辑
• 2025年7月9日 (三) 15:36 Z 留言 贡献创建了页面BOCF VS MOCF （创建页面，内容为“本条目展示BOCF与MOCF在关键节点上的差异的列表分析。”） 标签：可视化编辑
• 2025年7月8日 (二) 00:00 Z 留言 贡献创建了页面BO （创建页面，内容为“BO(Buchholz's Ordinal，布赫霍兹序数)，是googology中一个非常重要的序数。它被认为是具有“里程碑”意义的大序数。学会一个BO级别的序数记号被认为是googology新人入门的标志。BO还是FGH和SGH的第一次Catch。”） 标签：可视化编辑
• 2025年7月7日 (一) 10:53 Z 留言 贡献创建了页面BMS （创建页面，内容为“#RE DIRECT Bashicu矩阵”）
• 2025年7月7日 (一) 10:52 Z 留言 贡献创建了页面Bashicu矩阵 （创建页面，内容为“Bashicu矩阵(Bashicu Matrix System,'''BMS''')是一个序数记号。Bashicu Hyudora在2018年给出了它的良好定义。”）
• 2025年7月7日 (一) 10:44 Z 留言 贡献移动页面OCF至序数坍缩函数
• 2025年7月6日 (日) 22:26 Z 留言 贡献创建了页面序数超运算 （创建页面，内容为“序数超运算是对序数使用超运算的尝试。它虽然是最直观、新人最容易想到的模式，但已经被长期的googology实践所证明是低效、难以扩展的。 好吧”）
• 2025年7月6日 (日) 15:12 Z 留言 贡献删除页面哈代层级 （内容：“'''哈代层级(Hardy Hierarchy,HH)'''是一种增长层级。 ==== 定义 ==== <math>H_0(n)=n</math> <math>H_{\alpha+1}(n)=H_{\alpha}(n+1)</math> <math>H_\alpha(n)=H_{\alpha[n]}(n),{\rm if}\ \alpha\ {\rm is \ a \ limit\ ordinal}</math> 其中<math>\alpha[n]</math>表示极限序数<math>\alpha</math>的基本列的第<math>n</math>项 分类:入门”）
• 2025年7月6日 (日) 15:12 Z 留言 贡献删除页面慢速增长层级 （内容：“'''慢速增长层级(Slow-Growing Hierarchy,SGH)'''是一种增长层级。 ==== 定义 ==== <math>g_0(n)=0</math> <math>g_{\alpha+1}(n) =g_{\alpha}(n)+1</math> <math>g_\alpha(n)=g_{\alpha[n]}(n),{\rm if}\ \alpha{\rm \ is \ a \ limit\ ordinal}</math> 其中<math>\alpha[n]</math>表示极限序数<math>\alpha</math>的基本列的第<math>n</math>项 分类:入门”）
• 2025年7月6日 (日) 15:12 Z 留言 贡献删除页面快速增长层级 （内容：“{{DISPLAYTITLE:快速增长层级(FGH)}} {{DISPLAYTITLE:快速增长层级(FGH)}} '''快速增长层级(Fast-Growing Hierarchy,FGH)'''是一种增长层级。 ==== 定义 ==== <math>f_0(n)=n+1</math> <math>f_{\alpha+1}(n) =f_{\alpha}^n(n)= \underbrace{f_{\alpha}(f_{\alpha}(f_{\alpha}(\cdots f_{\alpha}(n))))}_{n \text{ times}}</math> <math>f_\alpha(n)=f_{\alpha[n]}(n),{\rm if}\ \alpha{\rm \ is \ a \ limit\ ordinal}</math> 其中<math>\alpha[n]</math>表示序数#极…”）
• 2025年7月6日 (日) 15:11 Z 留言 贡献删除页面中速增长层级 （内容：“'''中速增长层级(Middle-Growing Hierarchy,MGH)'''是一种增长层级。 ==== 定义 ==== <math>m_0(n)=n+1</math> <math>m_{\alpha+1}(n) =m_{\alpha}(m_{\alpha}(n))</math> <math>m_\alpha(n)=m_{\alpha[n]}(n),{\rm if}\ \alpha{\rm \ is \ a \ limit\ ordinal}</math> 其中<math>\alpha[n]</math>表示极限序数<math>\alpha</math>的基本列的第<math>n</math>项 分类:入门”）
• 2025年7月6日 (日) 14:52 Z 留言 贡献创建了页面SCO （创建页面，内容为“缩略图|（图片仅供参考） 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…”） 标签：可视化编辑
• 2025年7月6日 (日) 14:40 Z 留言 贡献创建了页面文件:D9d74070393528d7b74a28c888717d2d2354dbd6.jpg
• 2025年7月6日 (日) 14:40 Z 留言 贡献上传文件:D9d74070393528d7b74a28c888717d2d2354dbd6.jpg
• 2025年7月6日 (日) 14:32 Z 留言 贡献创建了页面Beklemishev's Worm （创建页面，内容为“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月4日 (五) 22:08 Z 留言 贡献创建了页面BOCF VS veblen函数 （创建页面，内容为“本条目展示BOCF和veblen函数的列表分析。 分类:分析”） 标签：可视化编辑
• 2025年7月4日 (五) 22:06 Z 留言 贡献创建了页面LPrSS VS veblen函数 （创建页面，内容为“本条目展示LPrSS和veblen函数的列表分析。 分类:分析”） 标签：可视化编辑
• 2025年7月4日 (五) 22:04 Z 留言 贡献创建了页面PrSS VS 康托范式 （创建页面，内容为“本条目展示PrSS和康托范式的列表分析 分类:分析”） 标签：可视化编辑
• 2025年7月4日 (五) 12:17 Z 留言 贡献创建了页面长初等序列 （创建页面，内容为“长初等序列(Long Primitive Sequence System)，是一种Worm型序数记号。它是PrSS的一种扩展。 == 定义 == === 合法式 === LPrSS的合法式是1开头的自然数序列，即 s_1,s_2,s_3,…,s_n|n,s_1,s_2,…,s_n∈N 且满足s_1=1 例： 1,7,3,9是一个合法的LPrSS表达式 3,1,8,4不是一个合法的LPrSS表达式，因为s_1=3≠1 1,2,3,😰不是一个合法的LPrSS表达式，因为s_4=😰不是自然…”）
• 2025年7月3日 (四) 21:03 Z 留言 贡献创建了页面不动点 （创建页面，内容为“在数学中，函数的不动点（fixed point,fp），指的是在函数定义域内的某一个值，经过函数映射后的值还是其本身。 == 例子 == 在googology中，我们一般只关心N→N的连续递增函数以及Ord→Ord的连续递增函数。由于前者一般无不动点(即使有也是平凡的，如f(x)=x))，因而只有后者的不动点是重要的。 如 f(x)=1+ω 注意到当x=ω时，f(x)=1+ω=sup{1+0,1+1,1+2,…}…”）
• 2025年7月3日 (四) 16:36 Z 留言 贡献创建了页面古戈尔 （创建页面，内容为“古戈尔(googol),是<math>10^{100}</math>,即10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000。 == 历史 == 这个词是在1938年由美国数学家爱德华·卡斯纳（Edward Kasner）的九岁侄子米尔顿·西罗蒂（Milton Sirotta）所创造出来的。同时被创造的数还有古戈尔普勒克斯（即<math>10^{googol}</math>）。 == 应用 == 网络公司Google的名字正是从古戈尔…”） 标签：可视化编辑
• 2025年7月3日 (四) 13:19 Z 留言 贡献创建了页面增长率 （创建页面，内容为“增长率是描述函数增长速度的工具。它的定义依赖于序数和增长层级。对于同一个给定函数，不同的增长层级会给出不同的增长率。FGH是最常用的增长层级。因此，一般提及增长率默认指FGH增长率”）
• 2025年7月3日 (四) 09:59 Z 留言 贡献创建了页面康托范式 （创建页面，内容为“康托范式（Cantor normal form）提供了一种标准化的序数表示方式。它的定义依赖于序数运算中的加法和乘方。”）
• 2025年7月2日 (三) 23:43 Z 留言 贡献创建了页面良序 （创建页面，内容为“== 偏序集 == 如果一个非空集合A上定义的一个二元关系<math>\leq</math>满足 # 自反性：<math>\forall a \in A,a \leq a</math> # 反对称性：<math>\forall a,b \in A,(a \leq b \& b \leq a)\Rightarrow a = b</math> # 传递性：<math>\forall a,b,c \in A,(a \leq b \& b \leq c)\Rightarrow a \leq c</math> 我们就称这个二元关系为集合上的一个'''偏序'''，集合称为'''偏序集'''，记作<math>(A,\leq)</math> == 良序集…”） 标签：可视化编辑
• 2025年7月2日 (三) 22:35 Z 留言 贡献创建了页面有名字的序数 （创建页面，内容为“本条目列举出一些有名字的序数，它们大多在googology中具有重大意义 需要注意的是，它们的命名很多来自googology爱好者而非专业数学研究者。 == 序数表 == {| class="wikitable" |+ |- ! 缩写 !! 英文全称 !! 常规表示方法(BOCF等) !! BMS/Y |- | FTO || First Transfinite Ordinal || ω || BMS(0)(1) |- | LAO || Linar Array Ordinal || ω^ω || BMS(0)(1)(2) |- | SCO || Small Cantor Ordinal || φ(1,0) || BMS…”） 标签：可视化编辑
• 2025年7月2日 (三) 17:54 Z 留言 贡献创建了页面序数记号 （创建页面，内容为“序数记号是大数数学最常用的表示序数的方法。它是一种用有限的符号系统表示序数的数学工具，其核心是建立序数到表达式构成的集合的双射。PrSS，BMS，Y序列等都是序数记号。 == 基本构成 == 序数记号由三部分构成：'''表达式集'''，'''展开规则'''，'''极限表达式''' 表达式集是序数记号定义的一部分，对于一个序数记号，…”） 标签：可视化编辑
• 2025年6月25日 (三) 22:03 用户账号Z 留言 贡献已创建