主题
Search

克努特向上箭头表示法

克努特向上箭头表示法是由克努特 (Knuth) (1976) 发明的一种符号，用于表示大数，其计算从右向左进行 (Conway and Guy 1996, p. 60)

m^nm·m...m_()_(n)
m^^nm^m^...^m_()_(n)
m^^^nm^^m^^...^^m_()_(n)

例如，

m^n=m^n
(1)
m^^n=m^...^m_()_(n)=m^(m^(·^(·^(·^m))))_()_(n)
(2)
m^^2=m^m_()_(2)=m^m=m^m
(3)
m^^3=m^m^m_()_(3)=m^(m^m)
(4)
=m^m^m=m^(m^m)
(5)
m^^^2=m^^m_()_(2)=m^^m=m^(m^(·^(·^(·^m))))_()_(m)
(6)
m^^^3=m^^m^^m_()_(3)=m^^m^(m^(·^(·^(·^m))))_()_(m)
(7)
=m^...^m_()_(m^(m^(·^(·^(·^m))))_()_(m))=m^(m^(·^(·^(·^m))))_()_(m^(m^(·^(·^(·^m))))_()_(m)).
(8)

m^^n 有时被称为幂塔。 值 n^...^_()_(n)n 被称为 阿克曼数。

另请参阅

阿克曼数, 链式箭头表示法, 向下箭头表示法, 大数, 幂塔, 拉姆齐理论, 斯坦豪斯-莫泽表示法

使用 Wolfram|Alpha 探索

参考文献

Conway, J. H. 和 Guy, R. K. The Book of Numbers. New York: Springer-Verlag, pp. 59-62, 1996.Guy, R. K. 和 Selfridge, J. L. "The Nesting and Roosting Habits of the Laddered Parenthesis." Amer. Math. Monthly 80, 868-876, 1973.Knuth, D. E. "Mathematics and Computer Science: Coping with Finiteness. Advances in Our Ability to Compute are Bringing Us Substantially Closer to Ultimate Limitations." Science 194, 1235-1242, 1976.Vardi, I. Computational Recreations in Mathematica. Redwood City, CA: Addison-Wesley, pp. 11 和 226-229, 1991.

请引用为

Weisstein, Eric W. “克努特向上箭头表示法。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/KnuthUp-ArrowNotation.html

主题分类