Googology Wiki - 用户贡献 [zh-cn]

测试页面

2026-07-19T13:10:48Z

Phyrion：重定向页面至Test

#重定向 [[Test]]{{默认排序:!}}
[[分类:入门]]
[[en:Test]]

讨论:Y(1,2,4,8,10,8)问题

2026-07-19T13:03:38Z

Phyrion：/* 问题起因 */ 回复

Y(1,2,4,8,10,8)问题问的是，这个表达式对应的BMS表达式是什么。

此页面为Y(1,2,4,8,10,8)问题的讨论页面，在该页面只能发布Y(1,2,4,8,10,8)问题相关话题及回复。
[[分类:分析]]

== 问题起因 ==

(0)(1,1,1)(2,1)=Y(1,2,4,8,10)

(0)(1,1,1)(2,1)(1,1,1)=Y(1,2,4,8,11,8) [[用户:CGoL|CGoL]]（[[用户讨论:CGoL|留言]]） 2026年7月19日 (日) 09:11 (CST)

:这里只是普通的错层而已，这种问题没必要开讨论帖，这里并不是论坛形式的网站 [[用户:Phyrion|Phyrion]]（[[用户讨论:Phyrion|留言]]） 2026年7月19日 (日) 21:03 (CST)

== Y(1,2,4,8,10,8) = (0)(1,1,1)(2,1)(1,1)(2,2,1)(3,1)(2,2,1) ==

Y(1,2,4,8,10) = 0-Y(1,4,6) = 0,111,21 = ψ(Ω_ω*Ω)

Y(1,2,4,8,10,8) = 0-Y(1,4,6,3,7,9,7) = 0,111,21,11,221,31,221 = ψ(Ω_ω*(Ω+1))

Y(1,2,4,8,11) = 0-Y(1,4,6,3,7,10) = 0,111,21,11,221,32 = ψ(Ω_ω*Ω_2)

Y(1,2,4,8,11,8) = 0-Y(1,4,6,4) = 0,111,21,111 = ψ(Ω_ω^2)

Y序列没有0,111,21,111提升，需要Y(1,2,4,8,11,8)才能到此强度 [[用户:量子杰克|量子杰克]]（[[用户讨论:量子杰克|留言]]） 2026年7月19日 (日) 14:51 (CST)

测试页面

2026-06-24T14:53:27Z

Phyrion：已移除至Test的重定向

{{默认排序:!}}
[[分类:入门]]
[[en:Test]]

IUN扽西(期望强度)

2026-06-14T16:41:41Z

Phyrion：Phyrion移动页面IUN分析至IUN森系(期望强度)，不留重定向

注：本页面包含未经证实或有严重错误的内容，请谨慎甄别

本条目展示[[递增元序列|IUN]]的强度森系，使用[[BMS]]进行对照，出自[https://space.bilibili.com/274884728 '''3183丶4139''']

== 分析 ==
{| class="wikitable"
|+分析
!IUN
!BMS
|-
|1
|(0)
|-
|1,1
|(0)(0)
|-
|1,2
|(0)(1)
|-
|1,2,1
|(0)(1)(0)
|-
|1,2,1,1,2
|(0)(1)(0)(1)
|-
|1,2,1,1,2,1,1,2
|(0)(1)(0)(1)(0)(1)
|-
|1,2,1,2
|(0)(1)(1)
|-
|1,2,1,2,1,1,2,1,2
|(0)(1)(1)(0)(1)(1)
|-
|1,2,1,2,1,2
|(0)(1)(1)(1)
|-
|1,2,2
|(0)(1)(2)
|-
|1,2,2,1,2
|(0)(1)(2)(1)
|-
|1,2,2,1,2,1,2,2
|(0)(1)(2)(1)(2)
|-
|1,2,2,1,2,1,2,2,1,2,1,2,2
|(0)(1)(2)(1)(2)(1)(2)
|-
|1,2,2,1,2,2
|(0)(1)(2)(2)
|-
|1,2,2,2
|(0)(1)(2)(3)
|-
|1,2,2,2,3
|(0)(1,1)
|-
|1,2,2,2,3,1,2
|(0)(1,1)(1)
|-
|1,2,2,2,3,1,2,1,2,2,2,3
|(0)(1,1)(1)(2,1)
|-
|1,2,2,2,3,1,2,2
|(0)(1,1)(1)(2,1)(2)
|-
|1,2,2,2,3,1,2,2,2,3
|(0)(1,1)(1,1)
|-
|1,2,2,2,3,1,2,2,2,3,1,2,2,2,3
|(0)(1,1)(1,1)(1,1)
|-
|1,2,2,2,3,2
|(0)(1,1)(2)
|-
|1,2,2,2,3,2,2,3
|(0)(1,1)(2)(3,1)
|-
|1,2,2,2,3,2,3
|(0)(1,1)(2,1)
|-
|1,2,2,2,3,2,3,2,3
|(0)(1,1)(2,1)(2,1)
|-
|1,2,2,2,3,3
|(0)(1,1)(2,1)(3)
|-
|1,2,2,2,3,3,2,3,3
|(0)(1,1)(2,1)(3)(3)
|-
|1,2,2,2,3,3,3
|(0)(1,1)(2,1)(3)(4)
|-
|1,2,2,2,3,3,3,4
|(0)(1,1)(2,1)(3)(4,1)
|-
|1,2,2,2,3,3,3,4,4
|(0)(1,1)(2,1)(3)(4,1)(5,1)(6)
|-
|1,2,2,3
|(0)(1,1)(2,1)(3,1)
|-
|1,2,2,3,1,2,1,2,2,3
|(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)
|-
|1,2,2,3,1,2,2
|(0)(1,1)(2,1)(3,1)(2)
|-
|1,2,2,3,1,2,2,1,2,2,3
|(0)(1,1)(2,1)(3,1)(2,1)
|-
|1,2,2,3,1,2,2,2,1,2,2,3
|(0)(1,1)(2,1)(3,1)(2,1)(3,1)
|-
|1,2,2,3,1,2,2,2,1,2,2,3,1,2,2,2,1,2,2,3
|(0)(1,1)(2,1)(3,1)(3,1)
|-
|1,2,2,3,1,2,2,2,2
|(0)(1,1)(2,1)(3,1)(4)
|-
|1,2,2,3,1,2,2,2,2,1,2,2,3
|(0)(1,1)(2,1)(3,1)(4,1)
|-
|1,2,2,3,1,2,2,2,3
|(0)(1,1)(2,2)
|-
|1,2,2,3,1,2,2,2,3,1,2,2,2,3
|(0)(1,1)(2,2)(2,2)
|-
|1,2,2,3,1,2,2,2,3,1,2,2,3
|(0)(1,1)(2,2)(3,1)
|-
|1,2,2,3,1,2,2,2,3,2
|(0)(1,1)(2,2)(3,2)
|-
|1,2,2,3,1,2,2,3
|(0)(1,1)(2,2)(3,2)(4,1)
|-
|1,2,2,3,3
|(0)(1,1)(2,2)(3,2)(4,2)
|-
|1,2,2,3,3,1,2,2,2,3
|(0)(1,1)(2,2)(3,3)
|-
|1,2,2,3,3,3,4
|(0)(1,1,1)
|-
|1,2,2,3,3,4
|(0)(1,1,1)(2,1,1)(3,1)
|-
|1,2,2,3,3,4,4,5
|(0)(1,1,1)(2,1,1)(3,1)(1,1,1)(2,1,1)(3,1)
|-
|1,2,3
|(0)(1,1,1)(2,1,1)(3,1)(2)
|-
|1,2,3,1,2,1,2,3
|(0)(1,1,1)(2,1,1)(3,1)(2,1)(3,2,1)(4,2,1)(5,2)(4)
|-
|1,2,3,1,2,2,2,3
|(0)(1,1,1)(2,1,1)(3,1)(4,2)
|-
|1,2,3,1,2,3
|(0)(1,1,1)(2,1,1)(3,1)(4,2,1)(5,2,1)(6,2)(5)
|-
|1,2,3,2,3,3
|(0)(1,1,1)(2,1,1)(3,1,1)(2,1,1)(3,1)(2)
|-
|1,2,3,2,3,4
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(2)
|-
|1,2,3,2,3,4,1,2,3,2,3,4
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1)(4,2,1)(5,2,1)(6,2,1)(6,2)(7,2)
|-
|1,2,3,2,3,4,2
|(0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)
|-
|1,2,3,2,3,4,3,4,5
|(0)(1,1,1)(2,1,1)(3,1,1)(4,1)(2)
|-
|1,2,3,3
|(0)(1,1,1)(2,2)
|-
|1,2,3,4
|(0)(1,1,1)(2,2)(3,2)(4,1)(2)
|-
|1,2,3,4,1,2,3,4
|(0)(1,1,1)(2,2)(3,2)(4,1)(3,1,1)(4,2)(5,2)(6,1)(2)
|-
|1,2,3,4,2,3,4,5
|(0)(1,1,1)(2,2)(3,2)(4,1,1)
|-
|1,2,3,4,3
|(0)(1,1,1)(2,2,1)
|-
|1,2,3,4,3,4,5,5
|(0)(1,1,1)(2,2,1)(3,3)
|-
|1,2,3,4,4
|(0)(1,1,1)(2,2,1)(3,3,1)(4,2,1)(5,3)(6,2)
|-
|Limit
|（推测）(0)(1,1,1)(2,2,2)
|}

2026-03-03T17:17:33Z

Phyrion：创建页面，内容为“本wiki的站长求资助qwq”

本wiki的站长

求资助qwq

2026-03-02T11:22:09Z

Phyrion：/* 一、语言规范 */

本条目说明编辑条目时的注意事项和规范，违反本条目的规范可能会受到'''撤职、时长不等的封禁'''等处罚。

=== 条目层面 ===

==== 一、页面的移动和删除 ====
页面的移动和删除最好需要经过条目创建者及大部分编辑者的同意，同时操作者本人要做好'''善后工作'''（如修改原有的指向该条目的链接）

==== 二、页面标题的修改 ====
因为修改标题必须经过移动或删除，规范以一为主，同时完全不建议进行如“在中文词汇与英文词汇间添加空格”这样完全无意义的操作

==== 三、分析页面的编写 ====
单个分析页面的分析(公式)行数原则上不超过三百行，多了(尤其移动端)会卡死，超出部分可分P(Part 1、Part2)。如有优化方案欢迎提出

=== 内容层面 ===

==== 一、语言规范 ====
所用词语以'''清晰明了'''为主，不得在原有词语不影响阅读的情况下擅自修改为学术词汇、专业词汇。如有必要，可以在条目中额外开一个如“形式化定义”栏，在此处进行形式化的说明

{{默认排序:!}}
[[分类:入门]]

条目编辑规范

2026-03-02T11:17:55Z

Phyrion：

本条目说明编辑条目时的注意事项和规范，违反本条目的规范可能会受到'''撤职、时长不等的封禁'''等处罚。

=== 条目层面 ===

==== 一、页面的移动和删除 ====
页面的移动和删除最好需要经过条目创建者及大部分编辑者的同意，同时操作者本人要做好善后工作（如修改原有的指向该条目的链接）

==== 二、页面标题的修改 ====
因为修改标题必须经过移动或删除，规范以一为主，同时完全不建议进行如“在中文词汇与英文词汇间添加空格”这样完全无意义的操作

==== 三、分析页面的编写 ====
单个分析页面的分析行数原则上不超过三百行，多了(尤其移动端)会卡死，超出部分可分P(Part 1、Part2)。如有优化方案欢迎提出

=== 内容层面 ===

==== 一、语言规范 ====
所用词语以清晰明了为主，不得在原有词语不影响阅读的情况下擅自修改为学术词汇、专业词汇。如有必要，可以在条目中额外开一个如“形式化定义”栏，在此处进行形式化的说明

{{默认排序:!}}
[[分类:入门]]

条目编辑规范

Phyrion：Phyrion移动页面googology至Googology，不留重定向

'''googology'''，又名大数数学，是一门专门研究大[[序数#有限序数|自然数]]的学科。<ref>曹知秋. 大数理论. (EB/OL), Vol.1, pp.27-36. https://github.com/ZhiqiuCao/Googology</ref>

== 词源 ==
该术语是由 André Joyce（安德烈·乔伊斯）根据 Michael Halm（迈克尔·哈尔姆）的虚构故事创造的，由 [[古戈尔|googol]]（这是一个经典的大数）+ -logos（希腊语后缀，意思是“学习”）组合而成。Joyce 的 googology 包含根据文字游戏和异想天开的推断设计一个数字名称系统，虽然目前的大数学家已经不在热衷于命名大数。

'''googologist（大数“学家”）'''，现在一般指大数数学爱好者。

== 历史 ==
主词条：[[大数简史]]

从最早的原始计数法到进制计数法，古人发展的大数已经足够日常生活使用了。近几百年来发展的指数函数以及科学计数法，乃至指数塔的推广，也已经足够除了极少数数学分支以外的科学研究使用了。但是直到 20 世纪，大数数学的萌芽才逐渐开始出现。

较早的大数数学研究都是非常零散的。Sudan 于 1927 年提出了 [[Sudan 函数]]，Ackermann 在 1928 年定义了 [[阿克曼函数|Ackermann 函数]]，这两个函数是非原始递归函数，具有较高增长率。早在 1944 年，Goodstein 就在研究序数的过程中就提出了 [[Goodstein函数|Goodstein 序列]]，它的强度远远超过了当时（以及之后几十年）的所有大数记号，只不过这一结果当时在大数领域中并未得到人们的足够重视。Goodstein 在 1947 年正式提出了超运算的概念。Knuth于 1976 年定义了描述超运算的 [[高德纳箭头|Knuth 箭头]]记号，这一记号一直沿用至今。Graham 在1971 年为了解决超立方体染色的问题，提出了 [[葛立恒数#葛立恒函数|Graham 函数]]，而后 Gardner 在 1977 年以它为基础定义了一个更容易理解，同时也更加强大的 [[葛立恒数|Graham 数]]，从而使得大数问题被人们所知。Conway 于 1996 年提出了 [[链式箭头记号|Conway 链]]，这可以视为 Knuth 箭头的一个强大的推广。

而早在 19 世纪 70 年代，Cantor 就开始系统性地研究无穷的性质，并导致了数学史上璀璨的明珠<del>——</del>集合论的诞生。他提出了[[序数]]的概念，并且定义了诸如 ω, ε 等序数。在1908 年，Veblen 提出了 [[Veblen 函数]]，它能够利用序数[[不动点]]系统性地刻画更大的序数。与此同时，Zermelo 提出了集合论公理化系统，后经过 Fraenkel 以及 Skolem 改进，形成了完整的 [[ZFC公理体系|ZFC]] 集合论体系。1950 年，Bachmann 首次提出了[[序数坍缩函数|序数折叠函数]]，而更加现代的序数折叠函数是 Buchholz 于 1986 年提出的。1995 年，Rathjen 利用反射序数提出了更加强大的序数折叠函数，后续的工作又将其强度进一步提高到了很高的层次。

集合论独立地发展了很长的时间，直到 1970 年，在 Wainer 提出最早的 Wanier 层次之后，它才与大数数学建立起来联系。它给出了一种将大序数映射为大数的方式，因此能够利用集合论中的成果来系统性地构造大数。Ketonen 与 Solovay 在 1981 年提出了[[增长层级#快速增长层级|快速增长层次]]的现代版本，并一直沿用至今。但是长期以来，这一结果也并未得到大数领域的重视。大数记号和大（递归）序数记号的真正联系要等到 2014 年以后才得以实现。

进入 21 世纪之后，大数的发展开始变得更加迅速了。在 2001-2004 年，Bowers 首先提出了 [[BEAF|Bowers 数阵]]（Bowers’ Exploding Array Function，BEAF），这是人们首次为了创造一个大数本身（而并非去为了解决其他问题）而创造的大数记号。这一记号在大数历史上具有重要的意义，一些研究者也将这一工作视为大数数学开始独立的起点。此时开始出现了一些零散的大数数学研究者，他们并非是职业的数学家，而是业余的数学爱好者。这一时期的记号主要为 Saibian 于 2005-2008 提出的 [[超E记号|E#]] 记号，以及 Bird 于 2010-2013 年提出的 [[BAN|Bird 数阵]]（Bird’s Array Notation，BAN）。后来数阵记号又得到了较为充分的发展，例如[[美元记号]]等。2016 年提出的[[SAN|强数阵记号]] (Strong Array Notation, SAN) 是数阵型记号的顶峰，它所提出的下降（[[Dropping]]）模式在之后的几年中一直是大数数学研究的最前沿模式。

在 2014 年左右，序数记号开始被引入到大数领域的研究之中。人们发现实际上序数记号与大数记号是统一的，大数记号的核心结构实际上就对应于一个序数，而序数记号套上一层简单的壳子就得到了有限的大数记号。序数记号和大数记号的统一无疑是大数数学有史以来最深刻的发现。至此人们的研究中心逐渐由大数记号转移到了大序数记号上，大数领域也真正迎来了迅速的发展。在这一阶段，递归序数记号的代表是 2015 年提出的 [[TON|Taranovsky 序数记号]]，它远远超过了当时人们所能够理解的强度。HypCos 的《大数入门》恰好成书于这段时间，它反映了大数领域的这场深刻的变革。

与此同时，关于非递归分析的研究也逐渐变得越来越深入，大量[[序数#非递归序数|非递归序数]]的结果被引入到大数数学中。人们意识到通过将越来越强大的非递归序数引入到序数折叠函数之中的方法，可以得到越来越强的递归序数。研究者们从序数分析和证明论中吸收了大量相关的结果，发展了诸如[[反射序数]]、[[稳定序数]]等非递归序数的折叠理论。2014 年的[[方括号稳定]]揭示了 [[Σ1稳定序数|Σ1 稳定序数]]的复杂行为，2018 年的 [[UNOCF]] 则是将反射序数系统性地放入序数折叠函数中的尝试。2020 年提出的[[投影序数|投影]]记号是一个强大的非递归记号。由于非递归分析对于数理逻辑的要求非常高，因此关于非递归分析的研究进展相对缓慢，相关的前沿成果也并不十分为研究者所理解。

在非递归分析发展的同时，人们也在寻求着更加强大的递归记号模式。由 Bashicu 于2014 年提出，并于 2018 年完善的 [[BMS|Bashicu 矩阵]] 是大数数学中划时代的工作。它开启了 [[Beklemishev's Worm|Worm]] 型记号的全新范式，至今仍然有着非常深远的影响。BMS 的强度远远超过了此前记号的极限，但是人们早期对此并没有十分充分的认识。只有当对 BMS 记号的分析变得越来越深入之后，它的强大之处才逐渐显现出来。在 BMS 提出后的相当长一段时间内，对其强度的分析是当时最为重要的工作之一，而这一分析过程也极大地催生了大数界相关数学工具的发展。但由于 BMS 的复杂性，这一项工作直到2025年才被完成，通过很晚近的[[向上投影]]。同时由于 BMS 的强大性和系统性，它现在已经成为了分析其他记号的标准。

2020 年 Yukito 提出的 [[Y序列]] 则是 Worm 型记号的又一座高峰。BMS 与 [[0-Y]] 序列是等价的，而通常所说的 Y 序列指的是 1-Y 序列，在这之上还有更加强大的 [[ω-Y|ω−Y]] 序列。相比于 BMS 的平凡扩展来说，Y 序列彻底超越了 BMS 的强度，达到了前所未有的境地。在 Y 序列之中蕴含的复杂结构也仍然有待于人们进行进一步的探索。

尽管人们一直在试图提出强于 Y 系列的新记号，但是这些记号都没有严谨的证据表明其具有超过 Y 系列记号的预期强度。且这些记号在各自方面相对于传统的广义 Y 系列记号一脉都还只是刚刚有一定的基础，其各自的体系仍然没有完善。在 Y 系列记号的内部，定义任意的 α − Y 乃至更加强大的 Ω − Y 的尝试一直也没有停止。尽管 CIF’s Ω-Y 已经遭遇了失败，但是一些其他的记号仍然在探索序列型记号的进一步推广。目前在这一方向上的代表为由 HypCos 于 2024 年提出的山脉记号（[[Mountain Notation]]，MN）、以及由 Aarex 于 2023 年提出，并且由 HypCos 和 ProjectCF 改进的[[MMS|变异矩阵系统]]（Mutant Matrix System，MMS），由 318'4 提出的[[FOS|基本列序数系统]]（Fundemental Ordinal Sequence，FOS）等。

除了在 Y 序列记号内部进行扩展之外，也存在着一些超出 Y 序列记号体系的尝试。近年来挖掘记号之中的[[传递]]结构已经成为了递归构造的前沿问题，除此之外，由 Asheep233 提出的[[对角化理论]]正在试图找寻 googology 构造记号的一般规律。除此之外，由 Yahtzee 于 2022 年提出，并由夏夜星空改进的 [[Fake Fake Fake Zeta]]（fffz）记号为我们揭示了更加强大的 Stellar 模式的冰山一角，它将有希望为我们揭示递归序数的更深刻结构。近期关于[[构造理论]]的研究为我们揭示了记号强度的部分来源，并将有可能指导我们创造出更加强大的记号。

以上我们讨论的都是可以被明显构造出来的递归记号，这是大数研究者最为关心的部分。然而在此之外，确实存在着一些更加强大的记号。在证明论的研究之中，自然地涌现出了一批非常强大的序数，称为[[证明论序数]]（Proof Theory Ordinal，PTO）。证明论序数是与公理系统相关联的，一个公理系统的强度越高，它的证明论序数就越大。长期以来，序数分析领域的专业数学家对证明论序数进行了深入的研究，得到许多重要的结果。我们猜想 <math>\mathrm{PTO}(\mathrm{Z}_{2})</math> 就达到了 BMS 极限的层次，<math>\mathrm{PTO}(\mathrm{Z}_{\omega})</math> 可能已经远远超越了目前所有递归记号的极限，而 <math>\mathrm{PTO}(\mathrm{ZFC})</math> 则更加遥不可及。1992 年，Laver 提出了 [[Laver Table|Laver 表]]。2001 年，Loader 提出了 [[Loader 数]]，这是一个增长率为 <math>\mathrm{PTO}(\mathrm{Z}_{\omega})</math>的记号。此外 Friedman 还提出了[[有限树序列]]、[[贪心团序列]]等，它们的增长率上界都已经达到较强系统的证明论序数的层次。

在一切递归函数之上的是非递归函数，它们的增长速度超越了一切的递归记号。1961年，Rado 在研究计算理论的时候定义了 [[忙碌海狸函数|Busy Beaver]]。它是基于 Turing 机的性质构建的，是一个重要的非递归函数。2013 年，Goucher 提出了 [[Ξ函数]]，这是一个增长率更高的非递归函数。而基于更加强大的超计算模型，我们可以构建一些增长率更高的不可计算函数。在所有这些记号之上的是 Rayo 于 2007 年提出的 [[Rayo函数|Rayo 数]]，它利用了一阶逻辑的不可描述性质，远远超越了之前的所有记号。

== 意义 ==
研究大数有什么意义？事实上，大数数学的发展就是人们对数这一概念的认识不断加深的过程。

我们回想一下原始社会中的文明，他们的数学水平几乎为零，仅仅是对数有着模糊的概念。若他们的语言中可能会有 10 个表示数字的单词，那么这种计数法所能表达的极限大概为 10。在这个数字范围之内的数是能够为原始人所把握的，而这也差不多是他们所能够直观地把握的极限。

语言确实会影响人的思维。如果一个东西是不能够被我们说出来的，那么它在我们的头脑中也同样是几乎是无法设想的。对于原始人来说，他们或许知道这个世界上确实存在着更大的数，但是他们对这些数的大小已经没有了具体的感知。对于那些更大的数，例如部落中的人口数量、森林里树木的数量、采摘回的果子的数量等等，他们只能够模糊地知道这些数非常巨大，但却无法知道这些数具体有多大。

随着文明的发展，更大的计数法被创造了出来，人们也能够理解一些更大的概念。或者说，正是对处理更大数字的迫切需要，催生了人们对于更优秀的计数法的发展。为了统计诸如城镇所拥有的耕地面积、交战军队所要携带的物资这样的数，更大的计数法被创造了出来。对于古希腊和古罗马来说，它们的计数系统可以表示几万到几十万的数字。后来随着进制计数法的逐渐普及，计数法的能力达到了数亿的量级，这已经足够古人理解生活中的所有大数了。

科学的发展要求人们认识和处理更大的数字，在这种情况下，传统的计数法日益显得捉襟见肘，阻碍了人们的思维。随着指数计数法的发展，人们逐渐解决了这一问题。也正是由于有了更加强大的计数法，我们才能够理解那些大得无法设想的数字，并能够通过对这些数字的处理进一步地发展科学。最终我们的成就是辉煌的：自然界中所能够达到的任何数字都被限制在了五层[[高德纳箭头#幂塔|指数塔]]之内，我们已经一劳永逸地表示出了实际世界中的所有大数。

但是，这显然不是我们的终点。尽管我们原则上已经得到了所有的自然数，我们也可以用指数塔表示出任意大的数，但除非我们能够构造出更加强大的表示法，那么我们永远也不可能从直观上认识到那些更大的数的存在。这正如如果只有进制计数法，就永远无法设想指数塔层次的大数一样，一旦我们发展了更加强大的计数法，我们立刻会觉得指数塔层次的大数小得可怜，而更高层次的大数也只有在此时才能够直观地展现在我们的面前。大数记号的发展让我们对于自然数体系的结构有了更深刻的认识。

正如 Saibian 所说：

<div style="word-wrap: break-word;text-wrap: pretty;color: var(--color-subtle);font-style: italic;width:Fit-content;padding:1rem;border-left:solid #00000030 5px;background-color:var(--color-surface-2)">大数使[[序数#超限序数|无穷大]]显得更大的作用远远超过无穷大使大数显得更小的作用。<ref>Saibian, S. One to Infinity: A Guide to the Finite. ''(M/OL)'', (alpha 2.0.0.0.8). https://sites.google.com/site/largenumbers.</ref></div>

诚然，我们早就知道无穷大远远大于任何有限的数，但是我们恐怕对此始终没有直观的认识。只有当我们真正明显地构造出那些难以设想的大数之后，我们才会认识到无穷大究竟大到了何种程度，我们也才能够真正了解自然数体系之内所蕴含的丰富结构。事实上对于任何一个有限的数来说，不仅仅是有无限多的自然数比它更大，甚至“几乎所有”的自然数都会比它更大，无论这个数自身已经大到了何种程度。大数为我们理解无穷的性质提供了一个直观的参考。

在近几十年的研究中，人们逐渐意识到了大数领域与集合论的密切联系。对集合论的研究极大地促进了大数领域的发展，我们也相信大数领域可以对数理逻辑等领域的研究进行反哺。大数领域与其他的数学体系有着千丝万缕的联系，对大数的研究也有助于我们进一步地理解数学体系中的其他部分。

[[证明论序数|证明论]]与[[SCG函数 & SSCG函数|图论]]等领域中为我们提供了大量增长极快的问题，解决这些问题需要发展更加强大的大数表示法。但或许大数数学的真正魅力并不在于对于其他问题的解决，而恰恰在于'''发现更大的大数'''这件事本身。借助理性的力量，我们在大数的世界之中不断地前进，一次又一次地挑战已知的极限。我们正在试图用我们渺小的头脑，去追寻那些整个宇宙都承载不了的数字。这是人类智慧的一场别开生面的冒险，它已经吸引了许多的数学爱好者参与其中。

== 相关亚文化 ==
以下是一些 googology 相关的亚文化。

=== 挑战葛立恒数 ===
作为大数界的“守门员”，Graham数利用简单的迭代规则创造出了一个在现实世界之中大得难以置信的数。这样一个数字的大小引起了人们的好奇，人们认识到了通常的十进制计数法和指数计数法也存在着表示的极限，在它们之上还有着更加强大的数字。Graham 数（以及一些其他的同样巨大的数字）的知名度不断地提高，而这也吸引了网络上的博主对其进行进一步的解释和宣传。一时间，“写出一个比 Graham 数更大的数字”（即“挑战 Graham 数”）仿佛成为了一个时尚的智力小游戏，吸引着无数人前来参与。

参与数学游戏对人的智力总归是一种锻炼，但是大多数跟风的参与者对大数仅仅有高中水平的认识，因此其想象力仅仅停留在各种自然界中存在的大数（宇宙中的原子数量/一天中一次彩票的概率等），以及最多达到指数塔层次的运算方法和迭代规则。仅仅依靠这些显然是不可能达到葛立恒数的，绝大多数挑战者因此铩羽而归。当然，也有一些挑战者感受到了这一问题的有趣之处，从而愿意对于大数数学有一些更深入的了解。

=== 伪数学 ===
对于伪数学更恰当的称呼应该是“虚构大数学”，它致力于创造出一些仅存在于想象之中的、不存在的大数。这并不是一个数学分支，因为它所讨论的并不是数学对象。伪数学的爱好者会创造出一系列的符号和概念，以此来试图说明一些非常大的数（典型的如所谓各种“绝对无穷”等）。当然，这些结论并不是严肃的数学，而只是一场想象力的狂欢而已。伪数学通常是以视频的形式来表现的，这些视频中充斥着眼花缭乱的特效，以试图表现伪数学世界的狂暴与杂乱无章。伪数学的创作没有任何限制，如果有的话，那么唯一的一条限制就是“怎么都行”。除此之外，伪数学还与其他的社区（如数字方块）有一定的联系。

=== 论战 ===
论战指的是战力比较。不同文学或者娱乐作品之中刻画了许多具有超凡力量的角色，如何比较这些角色之间战斗力的强弱便成为了一个困难的问题。一般来说，要想对一系列角色的战斗力进行比较，可以首先根据其破坏力划分量级，量级高者战斗力占优势。而如果是在统一量级之中实力非常接近的角色，则是借助一个（或者一系列）中间角色 B，通过比较 A > B, B > C 来间接论证 A > C。由于论战问题天然地与大数以及大序数（超越无穷的排序）、大基数（不同层次的无穷大）的问题相关，因此在论战的过程中，这些概念逐渐地开始为人所知。在有限的层面上，可以简单地通过破坏力来划分量级。战力的论证过程一旦上升到无穷，就需要数学的语言来进行进一步的阐述，但是这一部分目前尚没有十分统一的标准。例如可以设想某角色能够毁灭一个无限大的宇宙（单体宇宙），一个角色可以毁灭无限个无限大的宇宙（多元宇宙），一个角色可以毁灭无限个无限大的宇宙，而这里的每个宇宙中又包含了无限个宇宙，这样下去直至无穷（无限盒子），以此类推。当然，人的思维不能够直观地刻画无限，因此即便一个设定上全知全能的角色，其实力也总是以有限的形式表现出来的，这受限于作者本人的想象力。

论战社群非常庞大，且分布极为分散。由于论战社群兴趣的广泛性，它与其他亚文化群体的关联也非常紧密，如二次元动漫、欧美奇幻作品、玄幻小说等。不同的论战群体之间关注的问题以及讨论的方式也完全不同，因此要对论战社群进行一个完整的概括并不是容易的，并且事实上也很难找到能够被整个论战社群所承认的共识。

除了论战之外，还有“自创”设定的做法，即以文字或者小说的形式描述那些尽可能强大的概念。

=== 增量游戏 ===
放置/增量游戏是一种独特的游戏类型，这种游戏通过大量的点击等操作，来获取随时间增长的资源。其经典的设计模式是设计一种或多种随时间增长的资源，然后在增长的过程中可以利用这些资源来升级，以进一步提高资源的增长速度。有些游戏比较侧重玩法，这类游戏被称为放置类游戏。比较经典放置类游戏的有饼干点击（Cookie Clickern）、点击泰坦（Tap Titans）以及进化（Theresmore）等。更加广义的放置类游戏还包含一部分养成类型的游戏，近年来火热的抽卡手游有相当一部分都是广义的放置类游戏。

而有些游戏则去掉了所有其余的部分，而只保留了一个数值增长的核心，这样的游戏称为增量游戏。增量游戏通常是以单纯的文字模式呈现的，例如反物质维度（Antimatter dimensions）、序数增量（Ordinal Markup）等。相比于注重玩法的放置类游戏来说，增量游戏与大数数学的关系要更加密切一些。增量游戏是一个小众的门类，增量游戏的数值设计是不容易的，因为不论何种层次的增长，在一个合适的计数法之下总会被压平成线性的。换句话说，在这一尺度下新的增长模式实际上和最基础的加一又没什么区别了。为了突破这一限制，就要在玩法中引入新的机制，而为了保证可玩性，这一机制加入的时间和强度都需要进行精心设计。一些优秀的增量游戏可以达到很大的数值。

== 讨论 ==
虽然上述亚文化中所有人的目标都是对那些强大得难以想象的概念的追求，但是由于所选择的道路不同，其讨论方式以及风格也完全不同。

仅以严格性论之，数理逻辑等领域的专业数学家最强，其次是严肃的大数数学研究者，他们尽可能严格地使用严格的概念（尽管对于目前的大数数学来说，还不总是能够真正做到这一点）。再其次是论战爱好者，他们不严格地使用那些数学上的概念，通常并不能够理解其含义，有时也自创数学概念。最后是伪数学爱好者，他们使用那些并没有明确定义的概念。
而若以圈子规模来看，那么论战爱好者的人数要远远多于其余的所有人（当然，并非所有的论战爱好者都关心大数和无限的相关问题）。

由此可见，这一时期大数数学已经在国内形成了一个独具特色的亚文化群体。大数数学吸引了大量的爱好者参与其中，逐渐演变成了一场盛况空前的网络狂欢。
客观上来说，这极大地拓展了大数数学的影响力，使其从一个冷僻的数学分支变成了为许多人所了解的有趣问题。同时由于大数数学问题的趣味性和低门槛的特征，许多没有经受过专业的数学训练的人也可以在这一问题上以自己的方式进行探索和研究。这些人将自己探索得到的结果（即便可能是非常弱的结果）发布在网络上，而这又会吸引更多的人加入到这一问题的研究之中。

但是另一方面，大量爱好者的涌入使得中文互联网上本就散乱的大数数学的知识变得更加鱼龙混杂。大量低质、无意义甚至错误的内容充斥着整个社区，使得真正志于深入了解这一问题的爱好者几乎寸步难行。

目前在互联网上，有关于大数数学的低劣内容已经多到了令人发指的程度。许多人对于大数数学的认识（比如 Graham 数或者是 TREE(3)）是一知半解，甚至是完全错误的。这些错误的观念经过宣传之后在网络上获得了很高的知名度，反而是正确的观念由于其难度超过了普通人的理解能力而完全无人理睬。
许多流传于互联网上的信息是毫无价值的。大量由完全不了解大数数学的人创造的结构混乱、强度孱弱、定义残缺，甚至根本不能够被称为“数学内容”的记号几乎淹没了一切有价值的信息。
这种低质量的记号不仅无益于大数数学的发展，反而会加深对于大数数学的刻板印象，认为只是小孩子过家家的比大小游戏。同时这样的记号蒙蔽了真正有意义的递归结构，对它们进行了解不仅仅是白白地浪费时间，还有损于数学的品味，令有志于从事大数数学研究的爱好者误入歧途。

即使是在那些正确的信息之中，绝大多数也已经严重过时了。目前网络上流行的大数记号仍然为 Knuth 箭头、Conway 链、E# 记号以及 Bowers 数阵。
以上的记号之中除了 Knuth 箭头以及 Bowers 数阵的一部分（单行线性数阵）仍然作为大数数学的基础之外，其余的记号早就已经被当前的大数数学界淘汰了。这些记号已有二十年左右的历史，它们仍然是大数数学刚刚出现的时候提出的，其结构仍然带有着那个时代的粗糙痕迹，其强度也十分有限。
少部分“较新”的资料会提到 Bird 数阵，而这一数阵已经是十年前的成果了。而真正的“现代”记号（例如 Bashicu 矩阵），仅仅能够在寥寥可数的几份资料中得以一见而已。

近二十年以来，大数数学取得了长足的发展，涌现出了一大批丰富而又深刻的结果。然而在互联网上，近十年的成果几乎是对外界完全“封闭”了起来。

大数数学社区之外的人难以凭借着自己的力量找到真正有意义的资料，这一点即使是对于有志于学习大数数学的严肃爱好者来说也是如此。
尽管目前大数数学的研究者已经编写了一些较为深入的资料，但是除非已经预先知道相应的关键词，否则这些资料并不容易找到。并且即使找到了这些资料的一部分，可能也会因为它们不够完整和难度较高而放弃。
而真正最前沿的进展，只能够在一些非公开的网络平台（例如 QQ 群或者 discord）上才能找得到。

互联网的发展伴随的不仅仅是知识的流通，还有严重得多的垃圾信息膨胀。在垃圾信息的海洋之中，大数数学只有最表面的一些东西能够为人所知。而更深层次的内容则随着没有意义的垃圾信息一起，被埋葬在了冰冷的海底。
大数数学的问题不仅仅在于知识的传播，还在于相关社区内爱好者不恰当的浮躁心态。在互联网上，许多人完全不能够理解大数数学的内容，而仅仅是通过大数数学里的概念来炫耀自己在互联网平台上的优越感。

令人遗憾的是，许多人到最后逐渐演变成了只会堆叠名词的“名词党”，或者是只沉溺于自己世界中的“民科”。在他们眼中，“大数”仿佛成为了某种时尚的网络单品，成为了一种炫耀自己身份的标志。
有些人受到了伪数学社区和论战社区的影响，误将这些社区的讨论作为真正的大数数学、乃至于整个数学学科本身。
有些人在与大数数学无关的地方不合时宜地发表令人生厌的言论，破坏其他社区的网络环境，这反过来又加剧了人们对于大数数学以及其他相关社区的刻板印象。

但不论如何，当热潮退去之后，[[Googology 社区|总会有真正的大数爱好者留下来，成为该方向上较为严肃的研究者]]。

在 test_alpha0 和夏夜星空的 QQ 群之中大约聚集了几百名爱好者，其中比较活跃的大数研究者大约有几十人，这些人或许占据了国内为数不多的研究者的绝大多数。（作为比较，Discord 大数频道聚集了全世界的大数研究者，其人数大约有一两千人，而其中活跃的研究者可能有几百人。）
他们确实在这个方向上不断地进行更加深入的研究，努力拓宽人类的知识边界。有一些研究者系统性地整理了大数数学的基本知识和一些最新的进展，用较为现代的视角重新审视着整个理论。

特别是在最近几年，国内大数研究者的热情空前高涨，新记号的提出层出不穷，理想的强度极限不断刷新。但是这些记号并未充分经过时间的考验，目前看来仍然有待进一步的完善。
不论如何，相比于前些年的惨淡景象来说，如今的大数界已经算得上是“欣欣向荣”了。

虽然近年来大数数学在国内已经得到了更多的重视，但是时至今日，大数数学仍然是一个极其专门和小众的领域，国内对于大数领域的研究仍然是比较有限的。
并且由于理论发展得越来越艰深，现在的大数数学前沿领域几乎已经超过了普通数学爱好者的能力极限了。
目前国内致力于该方向的研究者几乎都是业余的数学爱好者，人数也仍然较少，长期以来缺乏有能力做出实质性进展的新研究者的加入，与国际大数数学社区的交流仍然不够密切。

总体上来说，国内的大数领域仍然需要进一步的发展。

大数数学的未来是什么样的？目前看来还很难说。或许随着网络的进一步普及和信息化时代的进一步发展，大数数学会为越来越多的人所了解。

大数数学涉及到一些非常艰深的数学，在任何时代热爱数学的人都是极少数。但它毕竟是一个足够有趣的问题，尽管当今时代的人们已经变得越来越浮躁了，它也总会触动一部分人的心灵。

当一切繁杂的声音都逐渐消退之后，剩下的人将会真正地为大数数学的发展做出贡献。我们也期待数学界（特别是数理逻辑相关的领域）能够对大数数学给予更多的重视。

== 逸事 ==
主词条：[[Googology 梗百科|梗百科]]

外网的 discord 上的大数社区对 googology 有 goofology 这种半开玩笑的写法。

无独有偶，在国内大数社区也有类似的梗。

果糕，即😰使用 UTF-8 编码再用 GBK 解码会变成"馃槹"，谐音"果糕"。后来它在国内大数社区发展出了独特的亚文化。具体参见[https://2023largenumber.fandom.com/zh/wiki/%F0%9F%98%B0/ 此处]。而因为果糕和 googol 发音相似，因此 googology 有时被称为果糕逻辑。

== 参考资料 ==

[[分类:重要概念]]
[[分类:入门]]