链式箭头记号 - Googology Wiki

Phyrion（留言 | 贡献）2025年7月2日 (三) 03:45的版本

(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)

链式箭头记号(Chained arrow notation,别名康威链^[注])是由John Horton Conway和Richard K. Guy制作的高德纳箭头的推广记号。

定义

$a \to b = a^{b}$

$a \to b \to c = a ↑^{c} b = a \underset{c}{\underset{⏟}{↑ \dots ↑}} b$

$a \to \dots \to b \to 1 = a \to \dots \to b$

$a \to \dots \to b \to 1 \to c = a \to \dots \to b$

$a \to \dots \to b \to (c + 1) \to (d + 1) = a \to \dots \to b \to (a \to \dots \to b \to c \to (d + 1)) \to d$

检索自“http://wiki.googology.top/index.php?title=链式箭头记号&oldid=470”