超运算

超运算序列是数学中一种二元运算的序列，前三项分别为加法、乘法、幂，一般来说，除了序列中第一项的加法运算之外，序列中每一项的运算都是重复的前一项的运算（例如乘法是重复的加法：${\displaystyle a\cdot <!--\; \cdot \; -->b=\underset{b}{\underset{⏟<!--\; ⏟\; -->}{a+a+a+\cdots <!--\; \cdots \; -->+a}}}$项称为超-运算或第级的超运算，其符号为。英文则由鲁宾·古德斯坦（英语：Reuben Goodstein）命名，当≥4时，由的希腊语前缀加上后缀-ation组成（例如超-4运算称为tetration，超-5运算称为pentation）。当≥3 时，使用高德纳箭号表示法可将超-运算的符号表示为(-2)个箭头。

超运算可通过递归进行定义，对于所有正整数，正整数和正整数：

除这一最常见的定义之外，超运算还有其他的变体。（见下文）

超运算序列是定义在自然数集${\displaystyle \mathbb{N}}$上的一个序列，记为${\displaystyle H_n}$。前几项为加法（n=1）、乘法（n=2）和幂（n=3）。高阶超运算的参数与幂运算相似，即a称为底数，b称为指数（或称超指数），而n则称为阶数。

用高德纳箭号表示法可以将超运算定义为

注意到，对于序列的前三项有：

通过这样的递归能够定义出高阶运算，从而输入很小的数就可以产生非常大的数。

其实，某一超运算就是一种基于低一阶超运算而进行数的复合的方法。我们可以以加法、乘法与幂的概念为例来说明。加法运算就是将指定次数的1加到原本的数上从而得到最终的结果（如2+3是将1三次加到2上），乘法运算就是将指定次数的某数通加（如${\displaystyle 2\times <!--\; \times \; -->3}$就是3个2相加），幂运算则是将指定次数的某数通乘（如${\displaystyle 2^3}$就是3个2相乘）。

下表列出了前七个超运算：

1914年，阿尔伯特·贝内特（Albert Bennett）最早提出了超运算，他发展出了一套交换超运算（见下文）的理论。12年之后，威廉·阿克曼定义了函数${\displaystyle \mathrm{\varphi <!--\; \varphi \; -->}(a,b,n)}$，和超运算序列已经有了某种程度上的相似。最早的使用三个自变量的阿克曼函数使用了同样的递归法则，但有两点与现在的超运算不同。一是它定义了${\displaystyle n=0}$时为加法、${\displaystyle n=1}$时为乘法、${\displaystyle n=2}$时为幂运算，二是由其对${\displaystyle \mathrm{\varphi <!--\; \varphi \; -->}}$初始条件的定义能得到${\displaystyle \mathrm{\varphi <!--\; \varphi \; -->}(a,b,3)=a(b+1)}$，最后的运算结果与超运算不同。

1947年，鲁宾·古德斯坦提出现在所使用的超运算序列，只是那时他使用记号${\displaystyle G(n,a,b)}$来表示，而非今天的${\displaystyle ab}$。在1947年的论文中，古德斯坦还引进了幂运算之后超运算的英文名称，即tetration、pentation、hexation等。

下表列出了曾用来表示超运算的各种符号表示法：

1928年，威廉·阿克曼提出了一个三自变量的函数${\displaystyle \mathrm{\varphi <!--\; \varphi \; -->}(a,b,n)}$，后来发展为现有的两个自变量的阿克曼函数。初始的阿克曼函数与现在的超运算之间的区别更大，因为他当时使用了初始条件：对所有${\displaystyle n>2}$，有${\displaystyle \mathrm{\varphi <!--\; \varphi \; -->}(a,0,n)=a}$。另外他还将${\displaystyle n=0}$指定为加法、${\displaystyle n=1}$为乘法、${\displaystyle n=2}$为幂。因而，幂运算及更高阶的运算就有了完全不同的结果。

路莎·彼得（Rózsa Péter）还曾用${\displaystyle A(0,b)=2b+1}$作初始条件，但无法形成一个超运算等级。

1984年，C.W.克莱恩肖（C. W. Clenshaw）和F.W.J.奥立弗（F. W. J. Olver）开始讨论如何使用超运算以防止计算机浮点数溢出。此后，很多人都开始对于超运算在浮点数表示中的应用产生兴趣。在探讨超-4运算时，克莱恩肖等人曾令${\displaystyle F_n(a,0)=0}$作为初始条件，这就产生了又一个超运算等级。

1914年阿尔伯特·贝内特提出了超运算，很可能是关于超运算最早的尝试。交换超运算通过以下递归法则定义：

由于a和b的对称性，意味着所有的超运算都是可交换的。但由于序列并不包括幂运算，因此也就不能成为一个超运算等级。

均衡超运算于1991年首先由克莱门特·弗拉皮耶（Clément Frappier）提出，这种超运算是基于函数${\displaystyle x^x}$的，因而与斯坦豪斯-莫泽表示法（Steinhaus-Moser notation）有关。均衡超运算的递归法则是

还有一种变化形式的特点是从左到右的顺序进行求值，即：

令（通过°或下标）${\displaystyle a_{(n+1)}b=(a_{(n+1)}(b-<!--\; -\; -->1){)}_{(n)}a}$，有初始条件${\displaystyle a_{(1)}b=a+b,a_{(2)}0=0}$，且对所有${\displaystyle n>2}$有${\displaystyle a_{(n)}0=1}$。

这样所产生的一个问题是，在4阶时它就与通常的定义不同：${\displaystyle a_{(4)}b=a^{(a^{(b-<!--\; -\; -->1)})}}$。出现这一问题的原因在于加法和乘法运算有一种称为结合律的对称性，但这在幂运算上并不成立。由于通过这种超运算所得到的结果在3阶以上都比普通的超运算更小，因而把这种超运算称为低级超运算。

在取不同的初始条件或不同的递归法则时，就会产生不同的运算。一些数学家扩展出了超运算的许多变体。

通常，超运算等级（hyperoperation hierarchy）${\displaystyle (S,I,F)}$是一个以集合${\displaystyle I}$为索引集、基于集合${\displaystyle S}$的二元运算族${\displaystyle (F_n{)}_{n\in <!--\; \in \; -->I}}$。对于${\displaystyle i,j,k\in <!--\; \in \; -->I}$，有：

如果不满足最后一个条件的话，就能将交换超运算包括在内。当然，也可以明确地定义每一个超运算，但这就超出了我们讨论的范围。大多数的变体形式只包含了对于后继函数（即加法）的定义，而乘法则由递归法则来进行定义。由于这属于对超运算等级的定义，而非等级本身的性质，很难给出形式上的定义。

对于超运算，除了古德斯坦给出的定义外，还有很多其他可能性。如果对${\displaystyle F_n(a,0)}$和${\displaystyle F_n(a,1)}$采用不同的初始条件，则产生的超运算在比幂运算更高阶时就会有不同的结果。现今的超运算定义的条件包括对所有${\displaystyle n\ge <!--\; \ge \; -->3}$有${\displaystyle F_n(a,0)=1}$，而在其他形式中也有${\displaystyle F_n(a,0)=a}$或${\displaystyle F_n(a,0)=0}$的情况。

关于超运算的一个未解决问题是超运算等级${\displaystyle (\mathbb{N},\mathbb{N},F)}$是否能推广到${\displaystyle (\mathbb{R},\mathbb{R},F)}$:5甚至${\displaystyle (\mathbb{C},\mathbb{C},F)}$，以及${\displaystyle (\mathbb{C},F_n)}$是否能成为一个拟群。

鲁宾·古德斯坦（英语：Reuben Goodstein）使用超运算序列定义了一套能表达非负整数的记数系统。