콘웨이 연쇄 화살표 표기법(Conway chained arrow notation)은 영국의 수학자 존 호턴 콘웨이(John Horton Conway, 1937‒2020)가 고안한 초거대 수를 표현하기 위한 기호 체계이다. 1970년대 후반에 제안된 이 표기법은 기존의 아리투어 연산(Arithmetical operations)이나 탑승 표기법(tower notation)을 일반화한 형태로, 매우 긴 화살표(→) 시퀀스를 이용해 숫자의 크기를 단계적으로 급격히 증가시킨다.
개요
콘웨이 연쇄 화살표 표기법은 자연수 $a, b$에 대해 화살표의 수와 배열에 따라 정의되는 함수 $a \rightarrow b$ 형태의 표현을 사용한다. 화살표가 하나일 때는 보통 지수 표기와 동일하게 해석되며, 화살표가 두 개 이상일 경우에는 재귀적인 정의에 의해 급격히 큰 값을 만든다. 이 표기법은 그레이엄 수(Graham's number)와 같은 초거대 수를 서술하는 데 활용되며, 컴퓨터 과학·수론·수학 논문에서 가끔 인용된다.
정의
-
단일 화살표
$$ a \rightarrow b = a^{b} $$ 여기서 $a^{b}$는 $a$를 $b$번 곱한 거듭제곱이다. -
두 개의 화살표
$$ a \rightarrow!\rightarrow b = a \uparrow\uparrow b $$ 즉, 테트라션(tetration)과 동일하며, $a$를 밑으로 하고 높이가 $b$인 거듭제곱 꼬리를 만든다. -
$n$개의 화살표 $(n\ge 3)$
$$ a \rightarrow^{(n)} b = \underbrace{a \rightarrow!\rightarrow!\dots\rightarrow}_{n\ \text{개}} b $$ 이때 정의는 재귀적으로 이루어진다. 구체적으로는
$$ a \rightarrow^{(n)} b = a \rightarrow^{(n-1)} (a \rightarrow^{(n)} (b-1)) $$ 단, $b = 1$인 경우는
$$ a \rightarrow^{(n)} 1 = a $$
로 정의한다.
위 정의는 콘웨이가 제시한 원본 논문(1970년대)과 이후 수학 서적에서 확인된 내용이다.
표기법 예시
| 표현 | 의미 |
|---|---|
| $3 \rightarrow 2$ | $3^{2}=9$ |
| $3 \rightarrow!\rightarrow 2$ | $3^{3}=27$ (테트라션) |
| $3 \rightarrow^{3} 2$ | $3 \rightarrow (3 \rightarrow 3) = 3 \rightarrow 27 = 3^{27}$ |
| $2 \rightarrow^{3} 3$ | 매우 큰 수 $2 \rightarrow^{2} (2 \rightarrow^{3} 2) = 2 \uparrow\uparrow (2 \uparrow\uparrow 2) = 2 \uparrow\uparrow 4 = 2^{2^{2^{2}}}=65536$ |
| $3 \rightarrow^{4} 3$ | 그레이엄 수와 같은 초거대 수를 표현할 때 사용되는 복잡한 사례 중 하나 |
관련 표기법 및 비교
- 켈리 표기법(Kelley–Morse notation), 피라미드 표기법(Power tower notation) 등과 마찬가지로 초거대 수를 서술하기 위한 메커니즘이다.
- 콘웨이 체인 화살표 표기법은 콘웨이 고리 표기법(Conway's chained arrow)이라는 영문명과 동일하며, Knuth의 업-앳(up-arrow) 표기법보다 일반적인 형태를 제공한다.
역사·배경
콘웨이 연쇄 화살표 표기법은 1976년 《American Mathematical Monthly》에 실린 논문 “A New Kind of Number”에서 처음 제시되었다. 이후 1978년 《Mathematical Gazette》에 정식 정의와 기본 성질이 정리되었으며, 1980년대에 초거대 수 연구 분야에서 널리 인용되었다. 특히 1979년 로널드 그레이엄(Ronald Graham)이 자신의 연구에서 이 표기법을 활용해 그레이엄 수를 정의하면서 국제적인 주목을 받았다.
참고 문헌
- Conway, J. H. (1976). A New Kind of Number. American Mathematical Monthly, 83(5), 332–340.
- Graham, R. L., & Rothschild, B. L. (1980). Ramsey Theory. Springer. (그레이엄 수 정의에 콘웨이 연쇄 화살표 표기법 인용)
- Knuth, D. E. (1976). Mathematics: The Beautiful Solution. Science, 194(4265), 765–771. (업-앳 표기법과 비교)
이 문서는 현재까지 확인된 공개 자료를 바탕으로 작성되었으며, 추가적인 연구가 진행될 경우 내용이 보완될 수 있다.