主要公开日志

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

• 2025年7月18日 (五) 16:40 Z 留言 贡献创建了页面非递归BMS分析 （创建页面，内容为“本条目展示非递归BMS和其他非递归记号的列表分析 {| class="wikitable" |+ !非递归BMS !其他记号 |- |<math>\varnothing</math> |<math>0</math> |- |<math>(1)</math> |<math>1</math> |- |<math>(1)(1)</math> |<math>2</math> |}”） 标签：可视化编辑
• 2025年7月18日 (五) 16:00 Z 留言 贡献创建了页面非递归BMS （创建页面，内容为“非递归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(末列…”） 标签：可视化编辑
• 2025年7月18日 (五) 08:24 Z 留言 贡献创建了页面投影序数 （创建页面，内容为“投影序数(projection)是test_alpha0创造的非递归记号。投影序数是目前为止最方便的强大非递归序数表达方式，伴生的限制则是——它很有可能永远无法良定义（至少在比较小的序数处如此）。但即使如此，它可以作为非递归序数和递归记号的交接桥梁，并在国内大数社群广泛地被使用。 == 定义 == === 第一个2-投影序数 === 我们定义1-投影序数(<math>1-projecti…”） 标签：可视化编辑
• 2025年7月17日 (四) 12:45 Z 留言 贡献创建了页面Σ1稳定序数 （创建页面，内容为“Σ1稳定序数是一个非递归记号。它是最初级的稳定序数。本条目介绍<math>\omega-\pi-\Pi_0</math>之前的Σ1稳定链。 前排提示：请先阅读条目反射序数。”） 标签：可视化编辑
• 2025年7月17日 (四) 12:40 Z 留言 贡献创建了页面Circle函数 （创建页面，内容为“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…”） 标签：可视化编辑
• 2025年7月17日 (四) 12:19 Z 留言 贡献创建了页面文件:N% 282% 29 tree.webp
• 2025年7月17日 (四) 12:19 Z 留言 贡献上传文件:N% 282% 29 tree.webp
• 2025年7月17日 (四) 12:17 Z 留言 贡献创建了页面Friedman序列 （创建页面，内容为“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序…”） 标签：可视化编辑
• 2025年7月16日 (三) 06:30 Z 留言 贡献创建了页面反射序数 （创建页面，内容为“反射是一个非递归记号。它表示非递归序数，其特点是并不会表示其极限之下的所有序数。它具有深厚的集合论背景”）
• 2025年7月15日 (二) 18:00 Z 留言 贡献创建了页面Busy Beaver （重定向页面至忙碌海狸函数） 标签：新重定向 可视化编辑
• 2025年7月15日 (二) 16:07 Z 留言 贡献创建了页面忙碌海狸函数 （创建页面，内容为“忙碌海狸函数（Busy Beaver Function，又名BB函数或Radó的Σ函数）是一个不可计算的快速增长函数。它是最著名的不可计算函数，也是专业数学中出现的有史以来增长最快的函数之一。 == 定义 == === 图灵机 === 图灵机，是由英国数学家艾伦・麦席森・图灵于1936年提出的一种抽象的计算模型，即将人们使用纸笔进行数学运算的过程进行抽象，由一个虚拟的…”） 标签：可视化编辑
• 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函数的列表分析。 分类:分析”） 标签：可视化编辑