主要公开日志

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

• 2025年7月17日 (四) 16:38 GaoKao 留言 贡献创建了页面文件:TREE(3).jpg （Googology Fandom给出的TREE(3)序列的前几项。）
• 2025年7月17日 (四) 16:38 GaoKao 留言 贡献上传文件:TREE(3).jpg （Googology Fandom给出的TREE(3)序列的前几项。）
• 2025年7月17日 (四) 13:59 QWQ-bili 留言 贡献创建了页面Peano 公理体系 （重定向页面至皮亚诺公理体系） 标签：新重定向
• 2025年7月17日 (四) 13:57 QWQ-bili 留言 贡献创建了页面PA （重定向页面至皮亚诺公理体系） 标签：新重定向
• 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月17日 (四) 09:42 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月17日 (四) 08:15 Tabelog 留言 贡献创建了页面Goodstein序列 （重定向页面至古德斯坦序列） 标签：新重定向 可视化编辑：已切换
• 2025年7月17日 (四) 08:07 Tabelog 留言 贡献创建了页面追平 （重定向页面至Catching） 标签：新重定向 可视化编辑：已切换
• 2025年7月16日 (三) 21:55 Tabelog 留言 贡献创建了页面Weak veblen函数 （创建页面，内容为“weak Veblen 函数（又称“弱 φ”、“弱 veblen”等）是 Veblen 函数的变体。 === 定义 === 一些必要的区分：现在有两种 Veblen 函数的变体可被称为弱 φ。如果称 Veblen 函数的末位+1等价于跳到下一个 ε 点（不动点进制），那么可以直观地定义下面两种弱 φ（与此同时，Veblen 函数是 FP φ）：末位+1=序数*ω（或称 *ω φ）和末位+1=序数+1（+1 φ）。据信在 2024 年…”） 标签：可视化编辑
• 2025年7月16日 (三) 07:35 GaoKao 留言 贡献创建了页面文件:树的嵌入.png （解释TREE函数中两棵树的"嵌入"关系）
• 2025年7月16日 (三) 07:35 GaoKao 留言 贡献上传文件:树的嵌入.png （解释TREE函数中两棵树的"嵌入"关系）
• 2025年7月16日 (三) 06:30 Z 留言 贡献创建了页面反射序数 （创建页面，内容为“反射是一个非递归记号。它表示非递归序数，其特点是并不会表示其极限之下的所有序数。它具有深厚的集合论背景”）
• 2025年7月15日 (二) 23:20 GaoKao 留言 贡献创建了页面TREE函数 （创建页面，内容为“'''TREE函数'''是由数理逻辑学家Harvey Friedman提出的图论函数。 == 定义 == === 树的嵌入 === 给定两棵树<math>A</math>和<math>B</math>，我们称<math>A</math>能嵌入到<math>B</math>中，如果<math>B</math>能通过有限次以下操作得到<math>A</math>： * 删除一个叶子节点。 * 若某点只有两条边和它连接，删除这个点，用一条边连接与它相邻的两个顶点(即将两条相邻的边合并成…”） 标签：可视化编辑
• 2025年7月15日 (二) 22:28 Tabelog 留言 贡献创建了页面Catching （创建页面，内容为“（待补充） == 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…”） 标签：可视化编辑
• 2025年7月15日 (二) 18:43 QWQ-bili 留言 贡献创建了页面文件:Busy-beaver-four-states-new.png
• 2025年7月15日 (二) 18:43 QWQ-bili 留言 贡献上传文件:Busy-beaver-four-states-new.png
• 2025年7月15日 (二) 18:43 QWQ-bili 留言 贡献创建了页面文件:Busy-beaver-three-states-new.png
• 2025年7月15日 (二) 18:43 QWQ-bili 留言 贡献上传文件:Busy-beaver-three-states-new.png
• 2025年7月15日 (二) 18:33 QWQ-bili 留言 贡献创建了页面文件:Busy-beaver-two-states-test.gif
• 2025年7月15日 (二) 18:33 QWQ-bili 留言 贡献上传文件:Busy-beaver-two-states-test.gif
• 2025年7月15日 (二) 18:30 QWQ-bili 留言 贡献创建了页面文件:Test.png
• 2025年7月15日 (二) 18:30 QWQ-bili 留言 贡献上传文件:Test.png
• 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月15日 (二) 05:15 Phyrion 留言 贡献创建了页面文件:G64.png （无）
• 2025年7月15日 (二) 05:15 Phyrion 留言 贡献上传文件:G64.png （无）
• 2025年7月15日 (二) 05:14 Phyrion 留言 贡献创建了页面文件:OCF.png （无）
• 2025年7月15日 (二) 05:14 Phyrion 留言 贡献上传文件:OCF.png （无）
• 2025年7月15日 (二) 05:14 Phyrion 留言 贡献创建了页面文件:BMS.png （无）
• 2025年7月15日 (二) 05:14 Phyrion 留言 贡献上传文件:BMS.png （无）
• 2025年7月15日 (二) 04:05 Apocalypse 留言 贡献创建了页面提升效应 （创建页面，内容为“'''提升效应'''是googology分析时出现的一种现象。 == 定义 == 提升一般不严谨地描述为“在分析时出现的比直觉感知更强的结论”，往往容易伴随分析的错误出现。 提升并没有一个严谨的定义，最接近严谨的可能是“在一个极限序数范围内正确的googology分析归纳结论，在超出这个序数范围后，实际结论强于归纳结论”。 最经典的提升无疑是Bashicu矩…”）
• 2025年7月14日 (一) 20:50 GaoKao 留言 贡献创建了页面EBO （创建页面，内容为“'''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…”） 标签：可视化编辑
• 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日 (日) 17:49 Tabelog 留言 贡献创建了页面BEAF （创建页面，内容为“Bowers' Exploding Array Function（BEAF，鲍尔斯爆炸数组函数）是由乔纳森·鲍尔斯（Jonathan Bowers）发明的一种表示极大数的符号系统，类似于链式箭头符号，但强度远超后者。它是数阵记号（Array Notation）和扩展数阵记号（Extended Array Notation）的超集，两者均由鲍尔斯发明。由于其简洁性和极快的增长速度，BEAF 在 googology 中颇具名气，更不用…”） 标签：可视化编辑