主要公开日志

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

• 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 中颇具名气，更不用…”） 标签：可视化编辑
• 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月13日 (日) 11:46 GaoKao 留言 贡献创建了页面TFBO （创建页面，内容为“'''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:50 Tabelog 留言 贡献创建了页面Googolism - Part 12 （创建页面，内容为“=== Part 12.1: <math>f_{\Gamma_0}^2(10)</math> ~ <math>f_{\Gamma_1}^2(10)</math> === * Grand pentacthulhum / grand tethrarxihect / tethrarxitethrarxihect, E100#^^^#100#2 * Grand grand pentacthulhum, E100#^^^#100#3 * Triple grand pentacthulhum, E100#^^^#100#4 * Quadruple grand pentacthulhum, E100#^^^#100#5 * Quintuple grand pentacthulhum, E100#^^^#100#6 * Sextuple grand pentacthulhum, E100#^^^#100#7 * Septuple grand pentacthulhum, E100#^^^#100#8 * Octuple grand…”） 标签：可视化编辑
• 2025年7月12日 (六) 19:50 GaoKao 留言 贡献创建了页面PSS Hydra （创建页面，内容为“'''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月12日 (六) 19:42 Tabelog 留言 贡献创建了页面Googolism - Part 11 （创建页面，内容为“=== Part 11.1: <math>f_{\zeta_0}^2(10)</math> ~ <math>f_{\varepsilon_{\zeta_0+1}}^2(10)</math> === * Grand tethracross, E100#^^##100#2 * Grand Berlin Wall, E100#^^##100,000,000#2 * '''Fish number 6''', <math>\approx f_{\zeta_0+1}(63)</math> * Grangol-carta-tethracross, E100#^^##100#100 * Godgahlah-carta-tethracross, E100#^^##100#^#100 * Tethrathoth-carta-tethracross, E100#^^##100#^^#100 * Tethriterator-carta-tethracross, E100#^^##100#^^#>#100 * Tethracross-by-…”） 标签：可视化编辑
• 2025年7月12日 (六) 19:36 Tabelog 留言 贡献创建了页面Googolism - Part 10 （创建页面，内容为“=== Part 10.1: <math>f_{\varepsilon_0}^2(10)</math> ~ <math>f_{\varepsilon_02}^2(10)</math> === * Backoogolplex, {10,3,2 [1\2] 2} * Grand tethrathoth, E100#^^#100#2 * Goppatothplex, {10,goppatoth,2} & 10 * Grand tethrinoogol, {100,3,2 [1\2] 2} * Grand tethrathothigong, E100,000#^^#100,000#2 * Grand grand tethrathoth, E100#^^#100#3 * Grand grand grand tethrathoth / three-ex-grand tethrathoth, E100#^^#100#4 * Grand grand grand grand tethrathoth / four-ex-grand t…”） 标签：可视化编辑
• 2025年7月12日 (六) 19:22 Tabelog 留言 贡献创建了页面Googolism - Part 9 （创建页面，内容为“=== Part 9.1: <math>f_{\omega^{\omega^{\omega^{\omega}}}}(f_3(10))</math> ~ <math>f_{\omega^{\omega^{\omega^{\omega^2}}}}(f_3(10))</math> === * Grand godtothol, E100#^#^#^#100#2 * Grangol-carta-godtothol, E100#^#^#^#100#100 * Dimentrienthrex, s(3,3,3{1{2}2}2) * Godgahlah-carta-godtothol, E100#^#^#^#100#^#100 * Godgathor-carta-godtothol, E100#^#^#^#100#^#^#100 * Dimentrilthrex, s(3,3{1{2}2}3) * Godtritothol, E100#^#^#^#100#^#^#^#100 * Godtertothol, E100#^#^#^#1…”） 标签：可视化编辑
• 2025年7月12日 (六) 19:17 Tabelog 留言 贡献创建了页面Googolism - Part 8 （创建页面，内容为“=== Part 8.1: <math>f_{\omega^{\omega^2}}(f_3(10))</math> ~ <math>f_{\omega^{\omega^3}}(f_3(10))</math> === * Xappolplex, {10,3,2 (2) 2} * Planelplex, s(3,3,2{3}2) * Grand gridgahlah, E100#^##100#2 * Plantrienel, s(3,3,3{3}2) * Xappolduplex, {10,4,2 (2) 2} * Gixxol, {10,100,2 (2) 2} * Grangol-carta-gridgahlah, E100#^##100#100 * Gaxxol, {10,100,3 (2) 2} * Greagol-carta-gridgahlah, E100#^##100#100#100 * Geexol, {10,100,4 (2) 2} * Gigangol-carta-gridgahlah, E100#…”） 标签：可视化编辑
• 2025年7月12日 (六) 07:18 Z 留言 贡献创建了页面多边形记号 （重定向页面至斯坦豪斯-莫泽表示法） 标签：新重定向
• 2025年7月11日 (五) 23:11 Tabelog 留言 贡献创建了页面Googolism - Part 7 （创建页面，内容为“=== Part 7.1: <math>f_{\omega^2}(f_3(10))</math> ~ <math>f_{\omega^2 2}(f_3(10))</math> === * Chainol, s(3,2,2,1,2) * Gugolda-plexithird, E100###2#2 * Great gugolthra, E100###3#2 * Tetratriplex, {3,3,1,1,2} * Gugoltesla-plexithird / Great gugoltesla, E100###4#2 * Gugolpeta-plexithird / Great gugolpeta, E100###5#2 * Gugolhexa-plexithird / Great gugolhexa, E100###6#2 * Gugolhepta-plexithird / Great gugolhepta, E100###7#2 * Gugolocta-plexithird / Great gugolocta,…”） 标签：可视化编辑
• 2025年7月11日 (五) 22:13 Z 留言 贡献创建了页面Goodstein函数 （创建页面，内容为“古德斯坦函数(Goodstein Function)是由鲁宾•古德斯坦(Reuben Goodstein)构造出的快速增长的函数。”）