수학 역설 on kenji.blog

날아가는 화살은 멈춰 있을까? 제논의 '날아가는 화살'의 역설

Thu, 10 Sep 2026 21:00:00 +0900

활에서 쏘아진 화살이 하늘을 날아가고 있습니다. 이 화살은 분명히 움직이고 있습니다. 하지만 기원전 5세기 그리스의 철학자 제논은 다음과 같은 무서운 논리를 전개했습니다.

“날아가는 화살은 사실 멈춰 있다”

이것은 농담이나 궤변이 아니며, 2500년 동안 수학자와 철학자들이 진지하게 논쟁해 온 **“날아가는 화살의 역설”**입니다.

제논의 논증

제논의 논의는 ‘시간의 순간’이라는 개념을 출발점으로 삼습니다.

시간은 ‘순간’의 연속이다.
어떤 한 순간(시간의 길이가 0인 한 점)을 ‘사진’처럼 잘라내면, 화살은 공간의 특정 한 점에 ‘있다’.
그 순간, 화살은 그 장소를 ‘차지하고’ 있을 뿐이며, 움직이지 않는다. (만약 움직이고 있다면, 그것은 ‘순간’이 아니라 ‘시간의 폭’을 필요로 할 것이다)
이것은 어떤 순간을 꺼내도 마찬가지이다.
시간의 모든 순간에 화살이 정지해 있다면, 화살은 언제 움직이는가?

graph TD A["날아가는 화살"] --> B["시간은 순간의 연속"] B --> C["순간 t1: 화살은 위치 A에 정지"] B --> D["순간 t2: 화살은 위치 B에 정지"] B --> E["순간 t3: 화살은 위치 C에 정지"] C --> F{"모든 순간에 화살은 정지해 있다"} D --> F E --> F F --> G["결론: 화살은 움직이지 않는다!"] style A fill:#2196F3,color:#fff style F fill:#FF9800,color:#fff,stroke-width:2px style G fill:#F44336,color:#fff,stroke-width:3px

직관 vs 논리

“말도 안 돼. 화살은 실제로 날아가고 있잖아"라는 것이 대부분의 사람들의 첫 반응일 것입니다. 하지만 제논의 논의에 대해 논리적으로 어디가 틀렸는지 지적하는 것은 사실 매우 어렵습니다.

실제로 고대 그리스의 철학자 디오게네스는 제논을 향해 그저 일어나 방 안을 걸어 다니며 “보아라, 움직이고 있다"라고 보여주었다고 전해집니다. 하지만 이것은 제논의 논리를 반박한 것이 아닙니다. 제논이 묻고 있는 것은 ‘움직일 수 있는가’가 아니라, ‘움직인다는 것이 무엇인가를 우리의 논리로 모순 없이 설명할 수 있는가’이기 때문입니다.

미적분학을 통한 해결 (시도)

17세기에 뉴턴과 라이프니츠가 발명한 미적분학은 이 역설에 대한 수학적인 해답을 (적어도 부분적으로) 제공했습니다.

미적분학에서는 ‘어떤 순간의 속도(순간 속도)‘를 다음과 같이 정의합니다.

$$ v(t) = \lim_{\Delta t \to 0} \frac{\Delta x}{\Delta t} $$

즉, 위치의 변화량 $\Delta x$ 를 시간의 변화량 $\Delta t$ 로 나누고, $\Delta t$ 를 한없이 0에 가깝게 만든 ‘극한’으로서 속도를 정의하는 것입니다.

여기서 핵심은 ‘순간의 속도’는 시간 폭이 0인 상태에서의 이동 거리가 아니다라는 것입니다. 그것은 그 시간 전후의 미세한 변화의 ‘경향’, 즉 **‘극한’**으로서 정의되는 양인 것입니다.

따라서 미적분학의 입장에서 본 해답은 다음과 같습니다.

“확실히 길이가 0인 순간을 잘라내면, 그 순간 ‘안’에서 화살은 이동하지 않는다. 하지만 화살은 그 순간에도 ‘순간 속도(0이 아닌 극한값)‘라는 성질을 가지고 있다. ‘정지해 있다’는 것은 ‘순간 속도가 0’임을 의미하지만, 날아가는 화살의 순간 속도는 0이 아니기 때문에 화살은 ‘정지해 있다’고 말할 수 없다.”

남겨진 철학적 질문

미적분학은 제논의 역설에 대한 실용적인 해결책을 제공했지만, 철학적으로 완전히 결론이 난 것은 아닙니다.

‘극한’이라는 개념은 어디까지나 수학적인 도구(계산 절차)이며, **‘시간의 최소 단위(순간)란 물리적으로 무엇인가’, ‘연속이란 무엇인가’, ‘운동의 본질이란 무엇인가’**와 같은 근원적인 질문에는 엄밀히 말해 대답하지 않기 때문입니다.

현대 물리학(양자 역학)에서는 시간과 공간에도 최소 단위(플랑크 시간, 플랑크 길이)가 존재할 가능성이 논의되고 있으며, 만약 시간이 ‘연속’이 아니라 ‘이산적(디지털)‘이라면, 제논의 역설은 전혀 다른 맥락에서 재평가되어야 할지도 모릅니다.

제논의 화살은 2500년이 지난 지금도 우리에게 “움직인다는 것은 무엇인가”, “시간이란 무엇인가"를 묻고 있습니다.

단어가 자기 자신을 묘사할 때: 그렐링-넬슨의 역설

Thu, 10 Sep 2026 21:00:00 +0900

언어는 세상을 묘사하기 위한 도구이지만, 언어 그 자체를 묘사하려고 할 때 논리는 예상치 못한 함정에 빠지기도 합니다.

1908년 쿠르트 그렐링과 레너드 넬슨에 의해 고안된 **‘그렐링-넬슨의 역설(Grelling-Nelson Paradox)’**은 바로 그 ‘단어가 단어를 정의한다’는 것의 한계를 들이미는 의미론의 유명한 역설입니다.

단어를 두 가지로 분류하기

그렐링과 넬슨은 모든 형용사(단어)를 다음의 두 그룹으로 분류할 수 있다고 생각했습니다.

자기 서술적(Autological): 그 단어 자체가 그 단어가 의미하는 성질을 가지고 있는 것.
비자기 서술적(Heterological): 그 단어 자체가 그 단어가 의미하는 성질을 가지고 있지 않은 것.

예를 살펴봅시다

자기 서술적인 단어의 예:

‘짧은(short)’: 이 단어 자체도 짧습니다.
‘영어의(English)’: 이 단어 자체도 영어입니다.
‘명사(noun)’: 이 단어는 명사입니다.
‘5음절의(pentasyllabic)’: 영어로 ‘pen-ta-syl-lab-ic’은 5개의 음절을 가집니다.

비자기 서술적인 단어의 예:

‘긴(long)’: 이 단어 자체는 짧으며, 길지 않습니다.
‘독일어의(German)’: 이 단어는 한국어(또는 영어)이며, 독일어가 아닙니다.
‘눈에 보이지 않는(invisible)’: 이 단어는 지금 화면이나 종이 위에 확실하게 보이고 있습니다.

여기까지는 단순한 말장난처럼 보입니다. 모든 단어는 자신의 의미를 체현하고 있거나, 그렇지 않거나 둘 중 하나로 반드시 분류될 수 있을 것입니다.

치명적인 질문: 역설의 발생

그럼, 여기서부터가 역설의 시작입니다. 다음의 한 단어에 대해 생각해 봅시다.

‘비자기 서술적(Heterological)‘이라는 단어 자체는 자기 서술적일까요? 아니면 비자기 서술적일까요?

이 질문에 대해 우리는 어떤 답을 선택하더라도 모순에 직면하게 됩니다.

케이스 1: ‘비자기 서술적’이 『자기 서술적』이라고 가정한다

만약 ‘비자기 서술적(Heterological)‘이라는 단어가 ‘자기 서술적’이라고 한다면, 정의에 의해 ‘그 단어 자체가 의미하는 성질을 가지고 있다’는 것이 됩니다. 하지만 이 단어의 의미는 ‘비자기 서술적’이라는 것입니다. 즉, ‘비자기 서술적’이라는 성질을 가지고 있다는 것은 그것이 ‘비자기 서술적’이라는 의미가 됩니다. 자기 서술적이라고 가정했는데, 결과는 비자기 서술적이 되어버렸습니다. (모순)

케이스 2: ‘비자기 서술적’이 『비자기 서술적』이라고 가정한다

만약 ‘비자기 서술적(Heterological)‘이라는 단어가 ‘비자기 서술적’이라고 한다면, 정의에 의해 ‘그 단어 자체가 의미하는 성질을 가지고 있지 않다’는 것이 됩니다. 이 단어의 의미는 ‘비자기 서술적’이므로, 그 성질을 가지고 있지 않다는 것은 ‘자기 서술적’이라는 의미가 됩니다. 비자기 서술적이라고 가정했는데, 결과는 자기 서술적이 되어버렸습니다. (모순)

어느 쪽으로 가든 논리가 붕괴하고 마는 것입니다.

graph TD A["단어 『비자기 서술적』(Heterological)"] --> B{"어느 쪽에 분류되는가?"} B -->|자기 서술적이다| C["정의: 자신의 의미하는 성질을 가짐"] C --> D["자신의 의미는 『비자기 서술적』"] D --> E["결과: 비자기 서술적이다!"] E -->|모순| B B -->|비자기 서술적이다| F["정의: 자신의 의미하는 성질을 가지지 않음"] F --> G["자신의 의미는 『비자기 서술적』"] G --> H["결과: 자기 서술적이다!"] H -->|모순| B style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#FF9800,stroke:#333,stroke-width:2px,color:#fff style E fill:#F44336,stroke:#333,stroke-width:2px,color:#fff style H fill:#F44336,stroke:#333,stroke-width:2px,color:#fff

수학·논리학과의 연결: 러셀의 역설의 친척

이 역설은 ‘사라진 1달러의 수수께끼’와 같은 단순한 계산 실수나 착각이 아닙니다. 수학의 기초를 뒤흔든 러셀의 역설(‘자기 자신을 포함하지 않는 모든 집합의 집합은 자기 자신을 포함하는가?’)과 본질적으로 같은 구조를 가지고 있습니다.

그렐링-넬슨의 역설은 러셀의 역설의 의미론(단어의 의미) 버전이라고도 할 수 있습니다.

집합론에서의 러셀의 역설:

$$ R = \\{ x \mid x \notin x \\} $$

라는 집합을 정의했을 때, $R \in R$인지 $R \notin R$인지를 물으면 모순이 발생한다.

의미론에서의 그렐링-넬슨의 역설: $Het(x)$를 ‘단어 $x$가 성질 $x$를 가지지 않는다(비자기 서술적이다)‘라고 정의했을 때,

$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$

라는 논리적인 모순에 빠진다.

왜 이 역설이 중요한가?

단어가 단어 자신을 언급할(자기 참조) 때, 거기에는 무한 루프와 같은 에러가 발생할 위험이 항상 잠재되어 있습니다.

이는 철학이나 언어학만의 문제가 아닙니다. 컴퓨터 과학이나 인공지능 분야에서도 프로그램이 자기 자신의 코드를 평가하고 수정하려고 할 때나, 자연어 처리 모델이 의미의 모순을 해석할 때 비슷한 논리의 벽에 직면하게 됩니다.

그렐링-넬슨의 역설은 ‘언어’라는 시스템이 본질적으로 내포하고 있는 버그(한계)를 훌륭하게 시각화한 사고 실험인 것입니다.

당신의 친구는 당신보다 친구가 많다: 우정의 역설

Thu, 10 Sep 2026 21:00:00 +0900

“내 주위 사람들은 나보다 친구가 많고 즐거워 보이네…” SNS를 보다가 그런 느낌을 받은 적이 있나요?

사실, 당신이 그렇게 느끼는 것은 당신의 성격 탓도, 인기가 없는 탓도 아닙니다. 그것은 **‘우정의 역설(Friendship Paradox)’**이라고 불리는, 네트워크 이론과 통계학에 의해 증명된 수학적인 사실입니다.

1991년 사회학자 스콧 펠드(Scott Feld)가 발견한 이 역설은, “대부분의 사람들은 자신의 친구보다 친구의 수가 적다"는 직관에 반하는 현상을 설명합니다.

왜 ‘친구가 친구가 더 많다’고 할까요?

결론부터 말하자면, 이것은 **‘친구가 많은 사람(인기인)은 여러 사람의 친구 목록에 등장한다’**는 단순한 표본 추출의 편향(Sampling Bias) 때문입니다.

간단한 네트워크(그래프)로 생각해 봅시다.

graph TD A["앨리스 (친구 1명)"] --- C["찰리 (친구 3명)"] B["밥 (친구 1명)"] --- C C --- D["데이비드 (친구 1명)"] style A fill:#4FC3F7,stroke:#333,stroke-width:2px style B fill:#4FC3F7,stroke:#333,stroke-width:2px style C fill:#FF9800,stroke:#333,stroke-width:4px style D fill:#4FC3F7,stroke:#333,stroke-width:2px

이 작은 세계에는 앨리스, 밥, 찰리, 데이비드 네 사람이 있습니다. 찰리는 ‘인기인’으로, 나머지 세 명 모두와 친구입니다. 다른 세 명은 찰리와만 친구입니다.

각자의 친구 수를 살펴봅시다.

앨리스의 친구 수: 1명
밥의 친구 수: 1명
데이비드의 친구 수: 1명
찰리의 친구 수: 3명 모두의 평균 친구 수는 $(1 + 1 + 1 + 3) / 4 = 1.5명$ 입니다.

다음으로, “각 사람의 ‘친구의 친구 수’의 평균"을 계산해 보겠습니다.

앨리스의 친구(찰리)의 친구 수: 3명
밥의 친구(찰리)의 친구 수: 3명
데이비드의 친구(찰리)의 친구 수: 3명
찰리의 친구(앨리스, 밥, 데이비드)의 친구 수의 평균: $(1 + 1 + 1) / 3 = 1명$

자, 각각의 ‘나’와 ‘내 친구의 평균’을 비교해 봅니다.

앨리스: 나(1) < 친구의 평균(3)
밥: 나(1) < 친구의 평균(3)
데이비드: 나(1) < 친구의 평균(3)
찰리: 나(3) > 친구의 평균(1)

4명 중 3명(75%의 사람)이 “나의 친구는 나보다 친구가 많다"는 상태에 놓여 있습니다. 인기인 찰리의 존재가 주위 모든 사람의 ‘친구의 평균’을 강력하게 끌어올리고 있는 것입니다.

수학적 증명: 분산이 핵심

이것을 수식으로 표현해 봅시다. 네트워크 이론에서, 어떤 사람 $v$의 친구 수(차수)를 $k(v)$라고 합시다. 네트워크 전체의 평균 친구 수를 $\mu$, 친구 수의 분산을 $\sigma^2$이라고 합니다.

펠드의 증명에 따르면, “무작위로 고른 친구의 친구 수"의 기댓값은 다음과 같습니다:

$$ \text{친구의 친구 수의 평균} = \mu + \frac{\sigma^2}{\mu} $$

분산 $\sigma^2$은 항상 0 이상의 값입니다. 즉, 누구나 완전히 같은 수의 친구를 가지고 있는($\sigma^2 = 0$) 있을 수 없는 상황을 제외하면, 항상 다음 부등식이 성립합니다.

$$ \mu + \frac{\sigma^2}{\mu} > \mu $$

“친구의 친구 수의 평균"은 항상 “전체의 평균 친구 수"보다 반드시 커지게 됩니다.

현실 사회나 SNS(X나 인스타그램 등)에서는, 극히 일부의 사람이 수백만 명의 팔로워(친구)를 가지는 반면, 대부분의 사람은 수십 명~수백 명 밖에 없습니다. 즉 분산 $\sigma^2$이 극히 크기 때문에, 이 역설의 효과는 더욱 강렬해집니다.

응용: 팬데믹과 백신 접종

우정의 역설은 단순한 SNS의 심리학에 머물지 않습니다. 현실의 사회 문제, 특히 감염병 대책에 매우 효과적으로 응용되고 있습니다.

제한된 수의 백신밖에 없어 누구에게 접종해야 할지 망설인다고 합시다. 무작위로 접종하는 것보다 더 효과적인 방법이 있습니다.

무작위로 사람들을 고릅니다.
그 사람 자신이 아니라, 그 사람이 ‘친구다’라고 지목한 상대에게 백신을 접종합니다.

왜 그럴까요? 우정의 역설에 의해, 무작위로 선택된 사람의 ‘친구’는 평균적으로 더 많은 연결을 가지고 있을(허브일) 확률이 높기 때문입니다. 연결이 많은 사람에게 우선적으로 백신을 맞힘으로써, 네트워크 전체로의 감염 확산을 극적으로 늦출 수 있는 것입니다.

결론

당신이 SNS를 보고 “다들 나보다 친구가 많고 인싸네"라고 느낄 때, 그것은 당신의 착각이 아니라 네트워크의 구조가 만들어내는 수학적인 필연입니다.

인기인은 많은 사람의 네트워크에 등장하기 때문에, 우리는 필연적으로 “평균 이상의 인기인"만을 표본으로 관찰하게 되는 것입니다. 다음부터 SNS에서 우울해질 것 같을 때는, 꼭 이 수식을 떠올려 보세요.

$$ \mu + \frac{\sigma^2}{\mu} > \mu $$

도로를 새로 만들었는데 어째서인지 교통 체증이 악화되었다?: 브라스의 역설

Thu, 10 Sep 2026 21:00:00 +0900

아침 출근길 러시. 매일 막히는 도로 때문에 짜증이 난 당신에게 희소식이 들려왔습니다. “교통 체증 해소를 위해 도시 계획 부서에서 최신 지름길(쇼트컷) 도로를 건설했습니다!” 이걸로 내일부터는 조금 더 오래 잘 수 있겠다고 누구나 기대했을 것입니다.

하지만 다음 날, 새로운 도로가 개통되자 상황은 좋아지기는커녕 예전보다 더 심한 대정체를 일으켰고, 모두의 통근 시간이 길어지고 말았습니다.

이것은 도시 전설이나 행정의 실패담이 아닙니다. 1968년 독일의 수학자 디트리히 브라스에 의해 수학적으로 증명된, 네트워크 이론의 유명한 현상 **‘브라스의 역설(Braess’s Paradox)’**입니다.

역설의 모델: 4,000명의 통근자

왜 “길이 늘어났는데도 모두가 느려지는” 현상이 일어나는 것인지, 간단한 수학 모델로 확인해 봅시다.

출발 지점(자택 지역)에서 도착 지점(오피스 타운)으로 향하는 4,000명의 운전자가 있습니다. 처음에는 다음과 같은 2개의 경로(위쪽 경로・아래쪽 경로)밖에 없었습니다.

위쪽 경로: 좁은 길 $A$를 지나고, 그 다음 넓은 고속도로 $B$를 통과한다.
아래쪽 경로: 넓은 고속도로 $C$를 지나고, 그 다음 좁은 길 $D$를 통과한다.

‘좁은 길’은 차가 늘어나면 막히기 때문에, 소요 시간은 ‘달리고 있는 차의 수 $\div 100$‘분이 걸립니다. ‘넓은 고속도로’는 차가 아무리 많이 와도 막히지 않으며, 항상 ‘45분’이 걸립니다.

[도로 건설 전]의 소요 시간

운전자들은 똑똑하기 때문에, 조금이라도 더 빠른 경로를 선택하려고 합니다. 결과적으로 4,000명은 위쪽 경로(2,000명)와 아래쪽 경로(2,000명)로 균등하게 나뉩니다.

위쪽 경로의 소요 시간: $\frac{2000}{100}$ 분(좁은 길) + $45$ 분(고속도로) = $65$분
아래쪽 경로의 소요 시간: $45$ 분(고속도로) + $\frac{2000}{100}$ 분(좁은 길) = $65$분

어느 경로를 선택하든, 소요 시간은 모두 ‘65분’으로 안정됩니다.

지름길 도로의 함정

여기서 시장이 “경유지 1에서 경유지 2로, 소요 시간 0분(순식간)에 이동할 수 있는 꿈의 초고속 우회 도로(바이패스)“를 건설했다고 가정해 봅시다.

운전자들은 새로운 경로의 선택지를 얻었습니다. 출발 지점에 선 운전자는 이렇게 생각합니다. “고속도로 C(45분)를 이용하는 것보다, 좁은 길 A를 이용하는 편이 낫다. 최악의 경우 4,000명 전원이 A를 선택한다고 해도 40분(4000/100)이면 충분하기 때문이다.”

따라서 4,000명 전원이 ‘좁은 길 A’로 향합니다. 경유지 1에 도착한 그들은 다시 생각합니다. “고속도로 B(45분)를 이용하는 것보다, 새 우회 도로(0분)를 통과하여 좁은 길 D를 이용하는 편이 낫다. 최악의 경우 전원이 D를 통과하더라도 40분이기 때문이다.”

따라서 4,000명 전원이 ‘새 우회 도로’를 통과하여 ‘좁은 길 D’로 향합니다.

[도로 건설 후]의 소요 시간

모두가 ‘자신에게 가장 빠른(합리적인) 선택’을 한 결과, 전원이 같은 경로(A → 새 우회 도로 → D)를 통과하게 되었습니다.

그 소요 시간을 계산해 봅시다.

좁은 길 $A$: $\frac{4000}{100} = 40$분
새 우회 도로: $0$분
좁은 길 $D$: $\frac{4000}{100} = 40$분
합계: $80$분

놀랍게도, 편리한 새로운 지름길이 생겼음에도 불구하고 모두의 통근 시간이 ‘65분’에서 ‘80분’으로 악화되고 말았습니다.

“누구 한 명이라도 뒷길(이전 경로)을 이용하면 되지 않느냐"고 생각할 수도 있지만, 만약 한 명이 뒷길인 고속도로 경로(45분+40분=85분)를 선택하면 지금의 80분보다 더욱 늦어지기 때문에 아무도 경로를 바꾸려 하지 않습니다. 이를 게임 이론에서는 **‘내시 균형’**에 도달했다고 말합니다. 모두가 자신에게 최적인 행동을 취한 결과, 전체적으로는 최악의 결과에 빠져버린 것입니다.

현실 세계에서의 실제 사례

브라스의 역설은 단순한 탁상공론이 아니라, 현실의 도시 교통이나 네트워크 시스템에서 여러 번 관찰되고 있습니다.

1969년 독일 슈투트가르트: 교통 체증을 해소하기 위해 새로운 도로를 건설했지만 체증이 악화되었습니다. 결국 그 새로운 도로를 폐쇄하자, 교통 흐름이 개선되었습니다.
1990년 뉴욕: 지구의 날 행사로 체증의 메카인 ‘42번가’를 완전히 폐쇄하자, 교통 전문가의 예상과 달리 맨해튼 전체의 교통 체증이 극적으로 해소되었습니다.
통신 네트워크: 인터넷의 라우팅이나 전력망에서도 같은 현상이 일어날 수 있습니다. 새로운 케이블이나 회선을 추가하는 순간, 데이터 패킷이 ‘최적이라고 생각되는 최단 경로’에 집중되어 네트워크 전체가 다운되는 경우가 있습니다.

브라스의 역설은 ‘개인의 합리적인 선택(이기주의)의 집합’이 반드시 ‘전체의 최적 결과’를 가져오는 것은 아니다라는 복잡계 사회의 딜레마를 훌륭하게 표현하고 있습니다. 때로는 ‘선택지(자유)를 빼앗는 것’이 모두의 이익이 되는 경우도 있는 것입니다.

모래알을 하나 제거하면, 모래더미는 언제 모래더미가 아니게 되는가?: 모래더미의 역설

Thu, 10 Sep 2026 21:00:00 +0900

눈앞에 1만 알의 모래로 만들어진 훌륭한 모래더미가 있다고 합시다. 누가 봐도 이것은 「모래더미」입니다. 여기서 모래알을 하나만 제거합니다. 9,999알. 아직 모래더미이죠? 한 알 더 제거합니다. 9,998알. 이것도 아직 모래더미입니다.

이 작업을 반복해 봅시다. 한 알 제거한 정도로 「모래더미」가 「모래더미가 아닌 것」으로 바뀌지는 않을 것입니다. 그러나 이 논리를 끝없이 반복해 나가면, 최종적으로는 단 한 알의 모래만 남게 됩니다.

한 알의 모래는 「모래더미」일까요?

물론 한 알의 모래를 「모래더미」라고 부르는 사람은 없습니다. 그러나 우리는 「한 알을 제거해도 모래더미는 모래더미 그대로다」라는 전제를 한 번도 부정하지 않았습니다. 어딘가에서 논리가 파탄 났지만, 대체 몇 번째 알에서 모래더미는 모래더미가 아니게 된 걸까요?

이것이 기원전 4세기 고대 그리스의 철학자 에우불리데스에서 유래한 **「모래더미의 역설(소리테스의 역설)」**입니다.

논리적 구조

이 역설은 다음과 같은 삼단논법의 형태로 표현할 수 있습니다.

전제 1: 1만 알의 모래 모임은 「모래더미」이다. 전제 2: 모래더미에서 모래알을 하나 제거한 것은 여전히 「모래더미」이다. 결론: 따라서 한 알의 모래도 「모래더미」이다.

전제 1도 전제 2도, 각각 단독으로는 매우 그럴듯하게 들립니다. 그러나 전제 2를 반복 적용하면, 명백히 틀린 결론이 도출됩니다.

graph LR A["10,000알 = 모래더미"] -->|1알 제거| B["9,999알 = 모래더미"] B -->|1알 제거| C["9,998알 = 모래더미"] C -->|...반복...| D["100알 = 모래더미?"] D -->|1알 제거| E["10알 = 모래더미?"] E -->|1알 제거| F["1알 = 모래더미?"] style A fill:#4CAF50,color:#fff style D fill:#FF9800,color:#fff style E fill:#FF5722,color:#fff style F fill:#F44336,color:#fff,stroke-width:3px

왜 이 역설은 풀 수 없는가

모래더미의 역설의 핵심은, 「모래더미」라는 단어가 본질적으로 모호하다는 것입니다. 「모래더미」에는 「몇 알 이상이면 모래더미」라는 명확한 정의(임곗값)가 존재하지 않습니다. 이러한 개념을 **「모호 술어(vague predicate)」**라고 부릅니다.

우리의 일상 언어는 이러한 모호한 단어로 가득 차 있습니다.

**「키가 크다」**란 몇 센티미터 이상? 180cm인 사람은 「키가 크다」. 1mm 깎으면? 한 1mm 더 깎으면?
**「부자」**란 자산이 얼마 이상? 100억 원이면 「부자」. 1원 줄면?
**「대머리」**란 몇 가닥 이하? 0가닥이면 「대머리」. 1가닥 나면?

이것들은 모두 모래더미의 역설과 완전히 같은 구조를 가지고 있습니다.

철학자들의 접근법

1. 인식론적 접근법 (경계선은 존재한다)

이 접근법에서는 「실은 모래더미와 비모래더미 사이에 명확한 경계선이 존재하지만, 인간에게는 그것을 인식할 능력이 없을 뿐이다」라고 주장합니다. 예를 들어 「5,837알은 모래더미이지만 5,836알은 모래더미가 아니다」라는 정확한 경계가 있지만, 우리는 알 수 없다는 입장입니다.

논리학적으로는 깔끔하지만, 많은 사람이 직관적으로 이 입장에 위화감을 느낄 것입니다.

2. 퍼지 논리 (단계적 진릿값)

고전적인 논리학에서는 「참인가 거짓인가」의 이자택일이지만, 퍼지 논리에서는 「0에서 1 사이의 어딘가의 값」을 취할 수 있습니다.

예를 들어:

1만 알의 모래는 「모래더미도 = 1.0 (완전한 모래더미)」
5,000알이면 「모래더미도 = 0.7」
100알이면 「모래더미도 = 0.1」
1알이면 「모래더미도 = 0.0 (완전한 비모래더미)」

이 방법은 실용적이지만, 역설이 완전히 해소되는 것은 아닙니다. 「모래더미도 0.7과 0.699의 차이는 무엇인가?」라는 새로운 모호함이 생겨 버리기 때문입니다.

3. 초치부여 의미론 (Supervaluationism)

이 사고방식에서는 「모래더미」라는 단어에 대해 생각할 수 있는 모든 합리적인 경계선을 동시에 고려합니다. 모든 경계선에서 「모래더미」로 판정되면 「확실히 모래더미」, 모든 경계선에서 「비모래더미」이면 「확실히 비모래더미」, 의견이 나뉘는 영역은 「불확정」으로 판정합니다.

현대 사회에 미치는 영향

모래더미의 역설은 단순한 말장난이 아니라, 현실의 법률이나 정책의 세계에서도 심각한 문제를 일으킵니다.

성인 연령: 17세 364일은 「아이」이고, 18세 0일은 「어른」. 하루 만에 본질적으로 무엇이 바뀌는가?
빈곤선: 연 소득이 기준액보다 1원 적으면 「빈곤」이고, 1원 많으면 「비빈곤」으로 간주된다.
환경 규제: 오염 물질의 배출량이 기준치를 0.001mg 초과하면 위법. 기준치 딱 맞으면 합법.

인간의 언어와 사고는 본질적으로 모호함을 포함하고 있으며, 세계를 명확한 이항 대립으로 나누려는 것 자체가 무리일지도 모릅니다. 모래더미의 역설은 2400년 이상에 걸쳐 철학자들을 괴롭혀 온, 인간 지성의 근원적인 한계를 보여 주는 역설입니다.

스승과 제자, 어느 쪽이 이겨도 모순되는 재판: 프로타고라스의 역설

Thu, 10 Sep 2026 21:00:00 +0900

고대 그리스, 가장 위대한 소피스트(변론술 교사)인 프로타고라스에게 에우아틀로스라는 젊은이가 제자로 들어갔습니다. 두 사람 사이에는 다음과 같은 수업료 지불 계약이 체결되었습니다.

계약 내용: 에우아틀로스는 변론술의 전 과정을 수료한 후, 첫 번째 재판에서 승소한 시점에 수업료 잔액을 프로타고라스에게 지불한다.

에우아틀로스는 우수한 학생으로, 변론술의 전 과정을 훌륭히 수료했습니다. 그러나 수료 후, 그는 어찌 된 일인지 단 한 건의 재판도 맡으려 하지 않았습니다. 재판에 나가지 않으면 ‘첫 번째 재판에서 승소한다’는 조건이 영원히 충족되지 않기 때문에 수업료를 지불할 필요가 없었기 때문입니다.

애가 탄 프로타고라스는 에우아틀로스를 법정에 고소했습니다. “수업료를 지불하라"고 말이죠.

그리고 여기서부터 논리의 미궁이 시작됩니다.

스승 프로타고라스의 논리

프로타고라스는 법정에서 이렇게 주장했습니다.

“재판관님, 어떻게 되든 저의 승리입니다.

만약 이 재판에서 제가 이기면, 법원의 판결에 따라 에우아틀로스는 저에게 수업료를 지불해야 합니다.
만약 이 재판에서 제가 지면, 에우아틀로스에게는 ‘첫 번째 재판에서 승소한’ 것이 됩니다. 즉 계약 조건이 충족되어, 그는 계약에 따라 수업료를 지불해야 합니다.

어느 경우든 그는 수업료를 지불할 의무가 있습니다.”

제자 에우아틀로스의 논리

이에 맞서 에우아틀로스도 지지 않았습니다.

“재판관님, 어떻게 되든 저의 승리입니다.

만약 이 재판에서 제가 이기면, 법원의 판결에 따라 저는 수업료를 지불할 필요가 없습니다.
만약 이 재판에서 제가 지면, 저는 아직 ‘첫 번째 재판에서 승소’하지 않았습니다. 즉 계약 조건이 충족되지 않았기 때문에, 계약상 저는 수업료를 지불할 의무가 없습니다.

어느 경우든 저는 수업료를 지불할 필요가 없습니다.”

graph TD A["재판의 결과"] --> B["프로타고라스 승소"] A --> C["에우아틀로스 승소"] B --> B1["판결: 에우아틀로스는 지불한다"] B --> B2["계약: 에우아틀로스는 승소하지 않았다 → 지불하지 않아도 된다"] C --> C1["판결: 에우아틀로스는 지불하지 않아도 된다"] C --> C2["계약: 에우아틀로스의 첫 승소 → 지불해야 한다"] B1 --> D{"모순! 판결 vs 계약"} B2 --> D C1 --> E{"모순! 판결 vs 계약"} C2 --> E style A fill:#ECEFF1,stroke:#333,stroke-width:2px style B fill:#4CAF50,color:#fff style C fill:#2196F3,color:#fff style D fill:#F44336,color:#fff,stroke-width:3px style E fill:#F44336,color:#fff,stroke-width:3px

왜 모순되는가

이 역설이 발생하는 근본적인 원인은 서로 다른 두 가지 규칙 시스템(법률과 계약)이 서로 모순되는 판단을 내리기 때문입니다.

법률의 규칙: 법원의 판결을 따르라.
계약의 규칙: “첫 번째 재판에서 승소하면 지불한다"는 조건을 따르라.

일반적으로 법률과 계약은 각각 독립적인 도메인으로 기능하지만, 프로타고라스가 “수업료 지불"을 재판의 쟁점으로 삼으면서, 이 재판의 결과 자체가 계약 조건에 영향을 미치게 되어 두 시스템이 자기 언급적인 루프에 빠진 것입니다.

법학자들의 답변

고대 로마의 법학자 아울루스 겔리우스는 이 문제에 대해 다음과 같은 해결책을 제시했습니다.

“법원은 에우아틀로스에게 유리한 판결(지불 불필요)을 내려야 한다. 왜냐하면 계약 조건이 아직 충족되지 않은 것은 사실이기 때문이다. 그러나 이 판결 이후, 프로타고라스는 에우아틀로스를 다시 고소할 수 있다. 왜냐하면 첫 번째 재판에서 에우아틀로스가 승소함에 따라 계약 조건이 충족되었기 때문이다. 두 번째 재판에서는 프로타고라스가 승소할 것이다.”

즉, 역설을 ‘한 번의 재판으로 동시에 해결’하려고 하면 모순이 발생하지만, ‘두 번으로 나누어’ 처리하면 모순이 해소될 수 있다는 것이 이 답변입니다.

자기 언급의 역설과의 연결

프로타고라스의 역설은 ‘거짓말쟁이의 역설(“이 문장은 거짓이다”)‘이나 ‘러셀의 역설’과 동일한 자기 언급 구조를 가지고 있습니다. 어떤 명제(재판의 결론)가 자기 자신의 진위를 결정하는 조건(계약의 성립)에 영향을 미치게 되는 것입니다.

이러한 종류의 역설은 현대 컴퓨터 과학의 ‘정지 문제(어떤 프로그램이 정지할지 여부를 판정하는 프로그램은 만들 수 없다)‘나 괴델의 불완전성 정리 등, 논리와 계산의 근본적인 한계를 보여주는 문제들과 깊은 관련이 있습니다.

프로타고라스의 역설은 인간이 만든 규칙 시스템(법률이나 계약)이 교묘한 자기 언급에 의해 내부 붕괴될 수 있음을 가르쳐주는, 2400년 전부터 내려온 경고입니다.

에메랄드는 녹색인가, 아니면 '그루'색인가?: 굿맨의 새로운 귀납의 수수께끼

Thu, 10 Sep 2026 21:00:00 +0900

우리는 ‘과거의 경험’으로부터 ‘미래’를 예측합니다. “태양은 어제도 동쪽에서 떴으니, 내일도 동쪽에서 뜰 것이다.” “지금까지 본 에메랄드는 모두 녹색이었으니, 다음에 캐낼 에메랄드도 녹색일 것이다.”

이러한 추론을 ‘귀납법’이라고 부르며, 모든 과학의 기초가 됩니다. 하지만 1955년, 철학자 넬슨 굿맨은 이 귀납법이 근본적인 결함을 안고 있음을 보여주는 기묘한 색의 개념을 고안했습니다. 그것이 ‘그루(Grue)‘의 역설입니다.

새로운 색 ‘그루(Grue)‘의 정의

굿맨은 ‘녹색(Green)‘과 ‘파란색(Blue)‘을 합성한 ‘그루(Grue)‘라는 새로운 성질(색)을 다음과 같이 정의했습니다.

그루(Grue)의 정의: 어떤 물체가 ‘그루’라는 것은, 특정 시간 $t$(예를 들어 서기 2030년 1월 1일) 이전에 관찰된 경우에는 ‘녹색(Green)‘이며, 시간 $t$ 이후에 관찰된 경우에는 ‘파란색(Blue)‘인 것을 의미한다.

$$ \text{Grue} = \begin{cases} \text{Green} & (\text{시간} < t) \\ \text{Blue} & (\text{시간} \ge t) \end{cases} $$

이 정의에 따르면, 지금 현재(시간 $t$ 이전) 당신이 손에 들고 있는 녹색 에메랄드는 ‘녹색’인 동시에 ‘그루색’이기도 합니다.

왜 그것이 역설인가?

역설은 우리가 미래를 예측하려고 할 때 발생합니다. 지금까지 인류가 관찰해 온 모든 에메랄드는 ‘녹색’이었습니다. 따라서 우리는 귀납법을 사용하여 다음과 같이 예측합니다.

가설 A: “모든 에메랄드는 ‘녹색’이다”

하지만 잠깐만요. 지금까지 관찰된 에메랄드는 시간 $t$ 이전의 것이므로, 모두 ‘그루색’이기도 했을 것입니다. 따라서 완전히 동일한 관찰 데이터로부터 다음과 같은 예측도 성립합니다.

가설 B: “모든 에메랄드는 ‘그루색’이다”

귀납법의 규칙을 따른다면, 과거의 모든 관찰이 가설 A를 지지하는 것과 ‘완전히 동일한 강도’로 가설 B도 지지하고 있는 것이 됩니다.

graph TD A["과거의 관찰: 모든 에메랄드는 녹색이었다"] -->|동시에| B["과거의 관찰: 모든 에메랄드는 '그루색'이었다"] A --> C["귀납적 예측 A: 미래의 에메랄드도 '녹색'일 것이다"] B --> D["귀납적 예측 B: 미래의 에메랄드도 '그루색'일 것이다"] C --> E["시간 t 이후에도 녹색 그대로"] D --> F["시간 t 이후에는 '파란색'이 된다!"] style C fill:#4CAF50,stroke:#333,color:#fff style D fill:#2196F3,stroke:#333,color:#fff style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px

에메랄드는 파란색으로 변할 것인가?

만약 가설 B가 옳다고 한다면, 시간 $t$가 도래한 순간에 전 세계의 모든 에메랄드는 일제히 ‘파란색’으로 변해야만 합니다(그루의 정의에 의해).

우리는 직감적으로 “그런 바보 같은 일은 없다. 가설 B는 부자연스러운 말장난이며, 가설 A(녹색)가 옳은 것이 당연하다"라고 생각합니다.

하지만 굿맨의 질문은 더 깊은 곳에 있습니다. “녹색"과 “그루색”, 두 가설 모두 과거의 데이터와 완전히 일치하는데, 왜 우리는 “녹색"의 예측만을 정당하다고 간주하고 “그루색"의 예측을 배제하는 것일까? 그 ‘논리적인 근거’는 무엇인가?

“자연의 제일성(斉一性)“에 대한 도전

이 문제를 피하기 위해, “‘녹색’과 같은 단순한 개념을 사용해야 하며, ‘그루’처럼 시간이 포함된 복잡한 개념은 사용해서는 안 된다"는 반론이 떠오릅니다.

하지만 굿맨은 반대로 “블린(Bleen: 시간 $t$까지는 파란색, 그 이후는 녹색)“이라는 색을 정의하면, “녹색"이라는 개념 자체가 “시간 $t$까지는 그루, 그 이후는 블린"이라는 시간에 의존하는 복잡한 개념이 되어버린다는 것을 보여주었습니다. 즉, 어떤 단어를 ‘기본’으로 삼을 것인지는 우리의 언어 습관에 불과한 것입니다.

굿맨의 “그루"의 역설(새로운 귀납의 수수께끼)은, 과학 이론이 단순한 객관적인 데이터만으로 결정되는 것이 아니라, 우리가 “어떤 개념의 틀(언어)을 사용하여 세상을 바라보고 있는가"에 강하게 의존하고 있음을 증명했습니다.

AI나 머신러닝의 맥락에서도, 학습 데이터가 동일하더라도 “모델의 구조(어떤 특징에 주목할 것인가)“에 따라 미래에 대한 예측이 완전히 달라진다는 “과적합(Overfitting)“이나 “편향(Bias)“의 문제로서 이 역설은 현대에도 중요한 의미를 계속해서 가지고 있습니다.

영국의 해안선 길이는 얼마나 될까?: 해안선 역설

Thu, 10 Sep 2026 21:00:00 +0900

영국의 해안선 길이는 도대체 몇 km일까요? 백과사전이나 지리 교과서를 찾아보면 정답이 나와 있을 것이라고 생각할지도 모릅니다. 하지만 현실에는 **“측정 방법에 따라 답이 달라지며, 이론상으로는 무한대가 된다”**는 기묘한 사실이 존재합니다.

이것이 **해안선 역설(Coastline Paradox)**입니다. 이 발견은 훗날 ‘프랙탈 기하학’이라는 전혀 새로운 수학 분야를 탄생시키는 계기가 되었습니다.

자가 짧아질수록 길이는 늘어난다

해안선은 곧은 직선이 아니라, 무수히 많은 만과 곶, 바위 표면의 요철로 이루어져 있습니다.

만약 길이가 100km인 거대한 자(직선)로 영국의 해안선을 측정했다고 가정해 봅시다. 이 자로는 100km 미만의 작은 만이나 반도의 구불구불한 부분은 무시되고 직선으로 가로질러 측정이 됩니다.

다음으로, 길이가 1km인 자로 다시 측정해 봅시다. 그러면 앞서 무시되었던 작은 만과 곶의 윤곽을 따라 측정하게 되므로 총 길이는 확실히 길어집니다.

더 나아가 길이가 1m인 자로 바위 하나하나의 요철을 측정하고, 1cm인 자로 조약돌의 표면을 측정하며, 1mm인 자로 모래알의 윤곽을 측정해 나간다면 어떻게 될까요?

graph TD A["해안선 측정"] --> B["100km 자"] A --> C["1km 자"] A --> D["1m 자"] B --> B1["작은 만을 무시"] B1 --> B2["측정 결과: 약 2,800km"] C --> C1["만의 형태를 따름"] C1 --> C2["측정 결과: 약 3,400km"] D --> D1["바위의 요철까지 측정"] D1 --> D2["측정 결과: 더욱 증가（이론상 무한대）"] style B2 fill:#FFCDD2,stroke:#333 style C2 fill:#E57373,stroke:#333 style D2 fill:#F44336,stroke:#333,color:#fff

루이스 프라이 리처드슨은 1951년에 이 현상을 실증적으로 발견했습니다. 측정 단위(자의 길이)가 작아질수록 측정되는 해안선의 길이는 끝없이 증가하게 됩니다.

프랙탈 차원: 1차원과 2차원 사이

이 역설에 수학적 설명을 제시한 사람이 바로 수학자 브누아 만델브로입니다. 그는 1967년 사이언스지에 “영국의 해안선은 얼마나 긴가? 자기 유사성과 프랙탈 차원"이라는 유명한 논문을 발표했습니다.

만델브로는 해안선과 같은 자연계의 형태가 “아무리 확대해도 비슷한 복잡한 구조가 나타난다"는 **자기 유사성(프랙탈)**을 가지고 있다고 지적했습니다.

순수한 수학적 직선(1차원)이라면 자를 반으로 줄여도 길이는 변하지 않습니다. 하지만 해안선은 너무나도 구불구불하기 때문에 1차원의 선보다는 복잡하고, 그렇다고 면적을 가지는 2차원의 면도 아닙니다.

만델브로는 이러한 도형의 복잡성을 나타내기 위해 **‘프랙탈 차원(Hausdorff dimension)’**이라는 개념을 도입했습니다. 영국 해안선의 프랙탈 차원은 $D \approx 1.25$ 로 추정됩니다. 즉, 영국의 해안선은 “1차원의 선보다는 차원이 높고, 2차원의 면보다는 차원이 낮은” 신기한 존재인 것입니다.

자의 길이를 $s$, 측정되는 해안선의 길이를 $L(s)$ 라고 하면, 프랙탈 차원 $D$ 와의 사이에는 다음과 같은 관계가 성립합니다.

$$ L(s) \propto s^{1-D} $$

영국 해안선의 경우 $D = 1.25$ 이므로, $1 - D = -0.25$ 가 됩니다.

$$ L(s) \propto s^{-0.25} $$

이는 자의 길이 $s$ 가 0에 가까워질수록 측정 결과 $L(s)$ 가 무한대 $\infty$ 로 발산한다는 것을 수학적으로 보여줍니다.

궁극적인 결론: 길이는 정의할 수 없다

우리가 일상적으로 사용하는 ‘길이’라는 개념은 매끄러운 직선이나 곡선에 대해서만 기능하는 것입니다. 자연계에 존재하는 프랙탈 도형(해안선, 구름, 산맥, 혈관의 분기 등)에 대해 ‘절대적인 길이’를 묻는 단어 자체가 사실 수학적으로는 아무런 의미가 없습니다.

“영국의 해안선 길이는 얼마나 될까?” 그 올바른 대답은 “측정하는 자의 길이에 의존한다"이며, 이론상으로는 “무한대"입니다. 제한된 작은 공간 안에 무한한 길이가 접혀 있다는 사실은 우리의 공간 인식에 대한 아름다운 역설이라고 할 수 있을 것입니다.

우주에서 돌아오니 동생이 나보다 나이가 많아졌다?: 쌍둥이 역설

Thu, 10 Sep 2026 21:00:00 +0900

만약 당신이 빛의 속도에 가까운 속도로 날아가는 우주선을 타고 여행을 떠난다면, 당신의 시계는 지구에 있는 사람들의 시계보다 ‘천천히’ 흐르게 됩니다. 이것은 SF 영화의 설정이 아니라 아인슈타인의 **‘특수 상대성 이론’**이 증명하는 물리학적 사실입니다.

이 ‘시간 지연’의 개념을 가장 극적으로 표현한 것이 **‘쌍둥이 역설(Twin Paradox)’**이라 불리는 유명한 사고 실험입니다.

우주로 가는 형과, 지구에 남는 동생

같은 날에 태어난 쌍둥이 형제가 있습니다. 20살 생일, 형은 빛의 속도의 80%($0.8c$)로 날아가는 초고속 로켓을 타고 멀리 떨어진 별로 여행을 떠났습니다. 동생은 지구에 남아 형의 귀환을 기다립니다.

몇 년 후, 형이 지구로 귀환했습니다. 로켓의 문이 열리고 두 사람이 재회했을 때, 놀라운 일이 벌어졌습니다.

지구에서 기다리던 동생은 50살(30년 경과)의 완전한 아저씨가 되어 있던 반면, 우주를 여행하던 형은 여전히 38살(18년 경과)의 젊은 모습 그대로였던 것입니다.

“쌍둥이인데, 나이에 무려 12살이라는 차이가 생겨버렸다” 이것이 상대성 이론이 가져다주는 첫 번째 충격입니다.

graph TD A["쌍둥이 형제 (20살)"] --> B["지구에 남은 동생"] A --> C["빛의 속도의 80%로 우주를 여행하는 형"] B -->|지구의 시간이 30년 경과| D["재회 시 동생: 50살"] C -->|우라시마 효과로 시간이 지연되어 18년밖에 경과하지 않음| E["재회 시 형: 38살"] D --> F{"나이 차이: 12살!"} E --> F style A fill:#ECEFF1,stroke:#333 style B fill:#C8E6C9,stroke:#333 style C fill:#BBDEFB,stroke:#333 style D fill:#81C784,stroke:#333,color:#fff style E fill:#64B5F6,stroke:#333,color:#fff style F fill:#FF9800,stroke:#333,color:#fff,stroke-width:2px

역설의 핵심: 어느 쪽에서 보느냐에 따라 달라진다?

‘형 쪽이 더 젊어진다’는 것 자체는 상대성 이론의 방정식(로런츠 인자)에 수치를 대입하면 도출해낼 수 있는 사실이며, 현대의 GPS 위성 등에서도 실제로 고려되고 있는 물리 현상입니다(우라시마 효과라고도 불립니다).

그러나 진정한 ‘역설’은 여기서부터 시작됩니다. 상대성 이론의 가장 중요한 규칙 중 하나로, **‘모든 등속으로 움직이는 관찰자에게 물리 법칙은 동일하게 성립한다(절대적인 정지는 존재하지 않는다)’**는 것이 있습니다.

이것을 이번 사례에 대입하면 기묘한 모순이 생깁니다.

지구의 동생의 관점에서 보면: “형이 탄 로켓이 맹렬한 속도로 멀어졌다가, 그리고 돌아왔다. 움직인 것은 형이기 때문에, 형의 시간이 지연되어 형 쪽이 더 젊어질 것이다.”
로켓의 형의 관점에서 보면: “로켓 안에서 자신은 정지해 있다. 창밖을 보면 지구가 맹렬한 속도로 멀어졌다가, 그리고 돌아왔다. 움직인 것은 지구의 동생이기 때문에, 동생의 시간이 지연되어 동생 쪽이 더 젊어질 것이다.”

양측의 주장은 둘 다 상대성 이론의 “상대방이 움직이는 것처럼 보인다면, 상대방의 시간이 지연된다"는 원칙에 충실합니다. 그러나 두 사람이 재회하여 나란히 섰을 때, ‘양쪽 다 상대방보다 젊다’ 같은 상태는 있을 수 없습니다. 반드시 어느 한쪽이 연상이고, 어느 한쪽이 연하가 됩니다.

이것은 아인슈타인의 이론이 틀렸다는 뜻일까요?

해결편: ‘대칭성’의 붕괴

이 역설의 해결의 열쇠는 **‘두 사람의 입장은 완전히 동등(대칭)하지 않다’**는 사실에 있습니다.

동생은 줄곧 지구(관성계: 일정한 속도로 움직이거나, 또는 정지해 있는 상태)에 머물러 있었습니다. 그러나 형의 여행에는 **‘가속’과 ‘감속’**이 포함되어 있습니다.

형의 우주선은 다음 단계를 거치지 않으면 지구로 돌아올 수 없습니다.

지구를 출발하여 가속한다.
목적지 별에서 브레이크를 밟고(감속), 지구를 향해 방향을 바꾸어, 다시 가속(U턴)한다.
지구에 도착하여 브레이크를 밟는다(감속).

상대성 이론에서 가속도를 느끼고 있는(G를 느끼고 있는) 관찰자는 일정한 속도로 움직이고 있는 관찰자와는 다른 취급(일반 상대성 이론의 영역)이 됩니다.

특히, 형이 목적지 별에서 **‘U턴(강렬한 가속에 의한 방향 전환)’**을 한 순간, 형과 동생의 입장의 대칭성은 완전히 붕괴됩니다. 형이 U턴하여 지구를 향해 재가속하는 그 순간, 형의 관점에서 본 ‘지구의 시계(동생의 나이)‘는 단숨에 수십 년 치나 훌쩍 진행된 것으로 관측되는 것입니다.

결과적으로 재회했을 때에는 계산대로 **‘형이 38살, 동생이 50살’**이라는 현실만이 남아, 모순은 깔끔하게 해소됩니다.

쌍둥이 역설은 “시간은 누구에게나 평등하게 흐른다"는 우리의 상식적인 감각이 광대한 우주와 빛의 속도 앞에서는 전혀 통용되지 않는다는 것을 가르쳐주는, 물리학 역사상 가장 아름다운 사고 실험 중 하나입니다.

파란 사과를 보면 '까마귀는 검다'는 것의 증명이 될까?: 헴펠의 까마귀

Thu, 10 Sep 2026 21:00:00 +0900

과학자는 어떻게 이론을 증명할까요? 보통은 세계를 관찰하고 데이터를 수집하는 ‘귀납법(induction)‘을 사용합니다. 예를 들어, “모든 까마귀는 검다"는 가설을 증명하고 싶다면, 전 세계의 까마귀를 관찰하여 그것이 검은지 하나하나 확인해 나갈 것입니다.

하지만 1940년대, 논리학자 칼 헴펠(Carl Hempel)은 이 당연한 과학적 방법론에 숨겨진 기묘한 논리적 허점을 지적했습니다. 그것이 바로 **“파란 사과나 빨간 구두를 보는 것만으로 ‘까마귀는 검다’는 증거가 된다”**는 헴펠의 까마귀(Hempel’s Ravens) 역설입니다.

논리의 뒤바뀜: 대우의 마법

헴펠의 주장을 이해하기 위해서는 고등학교 수학에서 배우는 **‘대우(contraposition)’**라는 개념을 떠올릴 필요가 있습니다.

논리학에서 어떤 명제 “A이면 B이다"가 참이면, 그 대우인 “B가 아니면 A가 아니다"도 반드시 참이 됩니다(이를 논리적 동치라고 부릅니다).

가설 $H_1$: “모든 까마귀는 검다 (까마귀라면, 검다)”

이 가설 $H_1$의 대우를 취해 봅시다. “검지 않다면, 까마귀가 아니다"가 됩니다.

가설 $H_2$: “모든 검지 않은 것은, 까마귀가 아니다”

논리학의 규칙에 따르면, $H_1$과 $H_2$는 **완전히 같은 의미(동치)**입니다. 한쪽이 증명되면, 자동으로 다른 한쪽도 증명된 것이 됩니다.

까마귀를 보지 않고 까마귀를 증명하기

이제 가설 $H_1$(까마귀는 검다)을 확인하기 위해서는, 검은 까마귀를 한 마리 발견할 때마다 가설의 확실성(증거)이 조금씩 강해집니다. 이것은 누구나 납득할 수 있는 사실입니다.

하지만 $H_1$과 $H_2$는 같은 의미이므로, 가설 $H_2$(검지 않은 것은 까마귀가 아니다)의 증거를 찾는 것은, 그대로 가설 $H_1$의 증거가 되어야 합니다.

그렇다면 $H_2$의 증거란 무엇일까요? “검지 않고, 까마귀도 아닌 것"을 찾으면 됩니다.

테이블 위에 **“파란 사과”**가 있다고 해봅시다. 이것은 검지 않고, 까마귀도 아닙니다. 따라서 $H_2$를 뒷받침하는 증거입니다.
옷장 안에 **“빨간 구두”**가 있었습니다. 이것도 검지 않고, 까마귀도 아닙니다. $H_2$의 증거입니다.
하늘에 **“하얀 구름”**이 떠 있습니다. 이것 역시 $H_2$의 증거입니다.

$H_2$의 증거는 $H_1$의 증거와 같은 가치를 지니기 때문에, 논리적으로는 다음과 같은 기묘한 결론이 도출됩니다.

“방 안에서 파란 사과나 빨간 구두를 관찰하면 할수록, ‘모든 까마귀는 검다’는 가설의 올바름이 증명되어 간다”

왜 직관에 반하는가?

파란 사과를 보고 “까마귀는 검다"고 확신을 깊게 하는 조류학자는 세상 어디에도 없습니다. 논리학적으로는 완벽하게 옳아야 하는데, 왜 우리의 상식은 이를 거부하는 것일까요?

철학이나 통계학의 세계에서는 이 역설에 대해 몇 가지 접근법을 제안하고 있습니다.

1. 베이즈주의적 해결법 (정보량의 차이)

현대 통계학(베이즈 확률) 관점에서의 가장 유력한 반론은, ‘증거의 강도(정보량)‘의 차이에 주목하는 것입니다.

세계에는 ‘검은 것’보다 ‘검지 않은 것’이 압도적으로 많고, 또한 ‘까마귀’보다 ‘까마귀가 아닌 것’이 천문학적으로 많이 존재합니다.

파란 사과를 보았을 때, 그것은 확실히 “모든 까마귀는 검다"는 것의 증거는 되지만, 그 증거로서의 가치(확률의 상승폭)가 한없이 0에 가깝다는 것입니다. 광활한 우주 속에 있는 무수히 많은 ‘검지 않은 것’ 중 하나를 확인했다고 해서, “까마귀가 검다"는 확률이 올라가는 양은 사막에서 모래알 하나를 치우는 정도의 영향밖에 없습니다. 반면, 검은 까마귀를 직접 한 마리 발견하는 것은 압도적으로 큰 증거로서의 가치를 지닙니다.

즉, 논리적으로는 “파란 사과는 증거가 된다"지만, 실용적으로는 “증거로서의 가치가 0에 가깝기 때문에 무시해도 좋다"는 것이 베이즈적 해결입니다.

2. ‘실내 조류학’의 한계

이 역설은 ‘귀납법(관찰에서 일반 법칙을 도출하는 것)‘이라는 과학의 근간이 얼마나 취약한 전제 위에 성립되어 있는지를 부각시킵니다. 논리적 동치성에만 의존하게 되면, 밖으로 나가지 않고 방 안의 잡동사니를 관찰하는 것만으로도 우주의 모든 법칙(“모든 백조는 희다”, “모든 외계인은 초록색이 아니다” 등)을 검증할 수 있게 된다는 ‘실내 조류학’이 가능해지고 맙니다.

헴펠의 까마귀는 우리가 무의식적으로 사용하고 있는 ‘증거’나 ‘증명’이라는 단어가, 순수한 기호 논리학의 규칙만으로는 제대로 포착해낼 수 없음을 보여주는 아주 흥미로운 역설입니다.

페인트로 채울 수는 있지만 표면을 칠할 수는 없다?: 가브리엘의 나팔

Thu, 10 Sep 2026 21:00:00 +0900

만약 ‘부피는 유한한데 표면적은 무한대’인 용기가 있다면 어떻게 될까요? 직관적으로는 있을 수 없는 일처럼 보이지만, 수학의 세계에는 확실히 그런 입체가 존재합니다. 그것이 바로 ‘가브리엘의 나팔(Gabriel’s Horn)’, 일명 **‘토리첼리의 나팔’**이라고 불리는 도형입니다.

1641년 이탈리아의 수학자 에반젤리스타 토리첼리에 의해 발견된 이 도형은 당시 수학자와 철학자들에게 큰 충격을 주었고, ‘무한’의 본질에 대한 격렬한 논쟁을 불러일으켰습니다.

페인트 칠하기 역설

이 도형이 가진 성질을 일상적인 ‘페인트’에 비유하면 다음과 같은 기묘한 역설이 발생합니다.

나팔을 페인트로 채울 경우: 나팔의 부피는 유한(정확히는 $\pi$)하므로 단 $\pi$ 리터(약 3.14리터)의 페인트만 부으면 나팔 내부를 완전히 채울 수 있습니다.
나팔의 표면을 페인트로 칠할 경우: 나팔의 표면적은 무한대입니다. 따라서 나팔 안쪽(또는 바깥쪽) 표면을 붓으로 칠하려고 하면, 아무리 많은 페인트를 준비해도 영원히 다 칠할 수 없습니다.

“3.14리터의 페인트로 내부를 채울 수 있는데, 표면을 칠하기 위한 페인트는 무한히 필요하다” 이 직관에 반하는 사태는 왜 일어나는 것일까요?

graph TD A["가브리엘의 나팔"] --> B["부피 계산 (적분)"] A --> C["표면적 계산 (적분)"] B --> B1["부피 = π (유한)"] B1 --> B2["내부를 페인트로 채울 수 있음"] C --> C1["표면적 = ∞ (무한대)"] C1 --> C2["표면을 페인트로 다 칠할 수 없음"] B2 --> D{"역설!"} C2 --> D style A fill:#FFD54F,stroke:#333,stroke-width:2px style B1 fill:#81C784,stroke:#333 style C1 fill:#E57373,stroke:#333,color:#fff style D fill:#F44336,stroke:#333,color:#fff,stroke-width:3px

수학적 증명: 미적분의 마법

가브리엘의 나팔은 함수 $y = \frac{1}{x}$ 의 그래프(단, $x \ge 1$)를 $x$ 축을 중심으로 회전시켜서 만듭니다. 미적분을 사용하여 이 입체의 부피 $V$ 와 표면적 $A$ 를 계산해 봅시다.

1. 부피 계산 (유한해지는 이유)

회전체의 부피 $V$ 는 단면적(반지름 $\frac{1}{x}$ 인 원)을 적분하여 구할 수 있습니다.

$$ V = \pi \int_{1}^{\infty} \left( \frac{1}{x} \right)^2 dx = \pi \int_{1}^{\infty} \frac{1}{x^2} dx $$

이 정적분을 계산하면:

$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$

결과는 유한한 값 $\pi$ 에 수렴합니다.

2. 표면적 계산 (무한해지는 이유)

반면, 표면적 $A$ 의 계산은 다음과 같습니다.

$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$ $$ \frac{dy}{dx} = -\frac{1}{x^2} $$

이므로, 제곱근 안은 $1 + \frac{1}{x^4}$ 가 됩니다. 여기서 모든 $x \ge 1$ 에 대해 $\sqrt{1 + \frac{1}{x^4}} > 1$ 이기 때문에, 다음과 같은 부등식이 성립합니다.

$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$

자연로그 $\ln x$ 는 $x \to \infty$ 일 때 무한대로 발산합니다. 따라서 그보다 큰 표면적 $A$ 도 당연히 무한대로 발산하게 됩니다.

이 역설의 ‘해답’

수학적으로 옳다는 것을 증명할 수 있어도, 현실 세계의 감각으로는 납득이 가지 않을 수 있습니다. “페인트로 채울 수 있다면, 그 페인트가 안쪽 표면에 닿아 있으니 표면도 칠해진 것 아닐까?”

이 직관의 어긋남은 수학적 개념과 물리적 현실의 혼동에서 발생합니다.

수학의 세계에서는 페인트의 ‘두께’를 0까지 무한히 얇게 만들 수 있습니다. 가브리엘의 나팔은 끝으로 갈수록 무한히 얇아지지만, 수학적인 페인트는 아무리 얇아져도 그 얇은 끝의 가장 깊은 곳까지 흘러 들어가 무한한 표면적을 유한한 부피로 코팅할 수 있습니다(단, 페인트 막의 두께는 끝을 향할수록 0에 가까워집니다).

그러나 물리적인 현실 세계에서 페인트는 원자나 분자(유한한 크기를 가진 입자)로 이루어져 있습니다. 실제 페인트를 붓더라도, 나팔의 관이 ‘페인트 분자의 지름’보다 얇아지는 시점에서 페인트는 더 이상 안으로 나아갈 수 없습니다. 즉, 물리적으로는 끝까지 채우는 것도, 무한한 표면을 칠하는 것도 불가능한 것입니다.

가브리엘의 나팔은 인간의 직관이 ‘유한한 세계의 규칙’에 얽매여 있으며, ‘무한’을 다루는 미적분의 세계와 반드시 일치하지 않는다는 것을 알려주는 아름다운 예시입니다.

리샤르의 역설: 무한한 소수와 "대각선 논법"이 일으키는 모순

Thu, 10 Sep 2026 12:00:00 +0900

1. 말로 정의할 수 있는 숫자의 목록

프랑스의 수학자 쥘 리샤르(Jules Richard)가 1905년에 발표한 “리샤르의 역설(Richard’s paradox)“은 앞서 소개한 “베리의 역설"과 친척 같은 존재입니다. 하지만 이쪽은 좀 더 수학적이고, 무한의 저편을 들여다보는 듯한 깊은 모순을 포함하고 있습니다.

먼저, **“한국어 문장으로 완벽하게 정의할 수 있는, 0에서 1 사이의 실수(소수)”**를 모두 모아온다고 상상해 보세요.

예를 들어, 다음과 같은 숫자입니다.

“영 포인트 오” $\rightarrow$ $0.5$
“삼분의 일” $\rightarrow$ $0.333333...$
“원주율의 소수점 첫째 자리부터 차례대로 나열한 수” $\rightarrow$ $0.14159265...$

한국어로 표현할 수 있는 문장의 조합은 사전에 실린 글자를 나열하기만 하면 되기 때문에 “순서"를 매길 수 있습니다. (예를 들어, 글자 수가 적은 순서대로 나열하고, 글자 수가 같다면 가나다순으로 나열하는 식입니다.)

이렇게 해서 “한국어로 정의할 수 있는 모든 실수"에 1번째, 2번째, 3번째… 하고 **무한히 이어지는 번호(목록)**를 만들 수 있었습니다.

$$ \begin{align*} r_1 &= 0.\mathbf{3}333... \\ r_2 &= 0.5\mathbf{0}00... \\ r_3 &= 0.14\mathbf{1}5... \\ r_4 &= 0.777\mathbf{7}... \\ &\vdots \end{align*} $$

이 목록 안에는 “한국어로 정의할 수 있는 모든 실수"가 하나도 빠짐없이 완벽하게 망라되어 있을 것입니다.

2. 악마의 테크닉 “대각선 논법”

여기서 리샤르는 무서운 조작을 가합니다. 목록에 있는 모든 숫자를 교묘히 피해 가는 **“완전히 새로운 숫자 $X$”**를 인공적으로 만들어 내는 것입니다.

만드는 방법은 간단합니다.

목록의 1번째 숫자의 소수점 이하 첫째 자리를 봅니다 (위의 예라면 $3$). 거기에 $1$을 더한 수를 $X$의 첫째 자리로 만듭니다 ($3+1=4$).
목록의 2번째 숫자의 소수점 이하 둘째 자리를 봅니다 (위의 예라면 $0$). 거기에 $1$을 더한 수를 $X$의 둘째 자리로 만듭니다 ($0+1=1$).
목록의 3번째 숫자의 소수점 이하 셋째 자리를 봅니다 (위의 예라면 $1$). 거기에 $1$을 더한 수를 $X$의 셋째 자리로 만듭니다 ($1+1=2$).

※만약 원래 숫자가 $9$라면 $0$으로 되돌린다고 가정합니다.

이 방법으로 만들어진 새로운 숫자 $X$ (위의 예라면 $X = 0.4128...$)는 목록 안의 어떤 숫자와도 절대로 일치하지 않습니다. 왜냐하면, $n$번째 숫자와는 반드시 “소수점 이하 $n$번째” 숫자가 의도적으로 어긋나 있기 때문입니다. (이 기법은 천재 수학자 칸토어가 실수의 무한한 크기를 증명하기 위해 고안해 낸 **“대각선 논법”**이라고 불립니다.)

3. 리샤르의 역설의 완성

자, 여기서부터가 역설입니다.

우리는 방금 전, 새로운 숫자 $X$를 만들어 냈습니다. 그리고 이 $X$를 만들어 내기 위한 “규칙"은 지금, 제가 위에서 적은 한국어 문장에 의해 완벽하게 설명(정의)되었습니다.

즉, $X$는 **“한국어로 정의할 수 있는 실수”**인 것입니다.

하지만 처음의 전제를 떠올려 보세요. “한국어로 정의할 수 있는 실수"는 모두 처음 목록($r_1, r_2, r_3...$) 안에 망라되어 있어야 했습니다. 그런데도 $X$는 목록 안의 어떤 숫자와도 일치하지 않도록 만들어졌습니다.

$X$는 목록 안에 존재해야 한다 (한국어로 정의되었으므로).
$X$는 목록 안에 존재해서는 안 된다 (대각선 논법으로 목록 내의 모든 수와 다르게 만들어졌으므로).

완벽한 모순입니다! 이것이 리샤르의 역설입니다.

4. 왜 논리가 붕괴되었는가? (메타 언어의 함정)

이 역설이 생겨난 원인도, 베리의 역설과 마찬가지로 “언어의 계층"을 혼동해 버렸기 때문입니다.

수학을 엄밀하게 다루기 위해서는 “대상이 되는 숫자의 목록(대상 언어)“과 “그 목록의 성질에 대해 외부에서 언급하는 규칙(메타 언어)“을 명확하게 구별해야 합니다.

리샤르의 목록은 “계산 가능한 숫자의 정의"를 모아둔 것입니다. 하지만 새로운 수 $X$를 만들어 내기 위한 “목록의 $n$번째 숫자의 $n$번째 자리를 본다"는 규칙은 목록 자체를 외부에서 부감하지 않으면 실행할 수 없는 “메타 언어"적인 조작입니다.

리샤르의 역설은 “목록을 외부에서 조작하여 만든 메타 언어적인 숫자 $X$“를, 슬그머니 “내부의 목록” 안에 끼워 넣으려 했기 때문에 자기 모순을 일으켜 폭발해 버린 것입니다.

5. 괴델에게로 바통 터치

이 리샤르의 역설은 당시 수학계에 큰 충격을 주었습니다. “인간의 언어(또는 논리 체계)는 조심하지 않으면 금방 자기 모순을 일으키고 만다. 수학을 완벽하고 모순이 없는 것으로 만들려면 어떻게 해야 할까?”

1931년, 이 문제에 최종적인 결론을 낸 것이 갓 25살의 천재 수학자 쿠르트 괴델이었습니다. 괴델은 리샤르가 “언어의 모호함"을 사용해 일으킨 이 역설의 구조를, **“엄밀한 수학의 수식(괴델 수)”**을 사용하여 완벽하게 번역 및 재현해 보였습니다.

그 결과 도출된 것이, 그 유명한 **“괴델의 불완전성 정리”**입니다. “아무리 엄밀하게 수학의 규칙을 만들어도, 그 규칙 안에는 ‘증명도 반증도 할 수 없는 진리’가 반드시 발생해 버린다 (수학은 불완전하다)“는, 인류 지성의 한계를 증명하는 대발견이었습니다.

리샤르의 역설은 단순한 모순된 말장난에서 시작되어, 이윽고 수학이라는 학문 그 자체의 “절대성"을 깨부수기 위한 최강의 무기로 진화한 것입니다.

베리의 역설: "언어"로 "숫자"를 정의하려고 할 때 발생하는 모순

Thu, 10 Sep 2026 11:00:00 +0900

1. 언어로 숫자 표현하기

우리는 일상적으로 숫자를 “아라비아 숫자(1, 2, 3…)“뿐만 아니라 “언어(한국어나 영어 등)“를 사용하여 표현하고 있습니다.

예를 들어, “$10$“이라는 숫자는 일본어로 다음과 같이 여러 가지 말로 표현할 수 있습니다.

“じゅう(십)” (3글자)
“ごの2ばい(오의 2배)” (5글자)
“ひゃくの10ぶんの1(백의 10분의 1)” (9글자)

이처럼 어떤 숫자를 “일본어 글자"를 사용하여 설명하는 것을 생각해 봅시다. 사용할 수 있는 글자 수에는 제한을 둡니다. 여기서는 **“19글자 이하”**의 일본어로 표현할 수 있는 숫자에 대해 생각합니다.

당연하지만, 19글자 이하로 표현할 수 있는 숫자에는 한계가 있습니다. 일본어의 글자(히라가나, 가타카나, 한자 등) 종류는 유한하고, 이를 19글자 이하로 나열하는 조합도 유한하기 때문입니다(천문학적인 수가 되겠지만, 무한하지는 않습니다).

즉, **“19글자 이하의 일본어로는 도저히 표현할 수 없는 거대한 정수”**가 반드시 존재하게 됩니다.

2. 역설의 탄생

자, 지금부터가 본론입니다. “19글자 이하의 일본어로는 표현할 수 없는 정수"는 무수히 존재합니다. 그 무수히 많은 표현 불가능한 수 중에서, **“가장 작은 것(최소의 정수)”**을 하나 찾아냈다고 가정해 봅시다.

그 숫자를 $X$라고 합니다. $X$는 정의상 “19글자 이하의 일본어로는 표현할 수 없는 수” 중에서 가장 작은 것이므로, 다음과 같이 부를 수 있습니다.

“じゅうきゅうもじいないであらわせないさいしょうのせいすう” (십구 문자 이하로 나타낼 수 없는 최소의 정수)

글자 수를 세어 봅시다. “じゅ・う・きゅ・う・も・じ・い・な・い・で・あ・ら・わ・せ・な・い・さ・い・しょ・う・の・せ・い・す・う” …어라? 독점을 빼고도 25글자네요. 이래서는 “19글자"를 초과해 버립니다.

그럼, 조금 표현을 궁리해서, 한자를 사용하여 짧게 만들어 봅시다.

“十九文字以内で表せない最小の整数”

자, 이 일본어의 글자 수를 세어 보세요.

무려, **단 “16글자”**입니다.

이상한 일이 벌어졌습니다. 우리는 지금, $X$라는 숫자를 “十九文字以内で表せない最小の整数"라는 “16글자의 일본어"를 사용하여 표현해 버린 것입니다!

graph TD Define["정의:
X = 19글자 이하로 표현할 수 없는 가장 작은 정수"] --> CheckLength{"『十九文字以内で表せない最小の整数』
의 글자 수는?"} CheckLength -->|16글자이다| Contradiction["모순!
X는 『16글자』로 표현되어 버렸다!"] Contradiction --> Paradox["X는 『19글자 이하로 표현할 수 없음』에도
『19글자 이하(16글자)로 표현할 수 있다』"] style Contradiction fill:#ff9999,stroke:#333 style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

$X$는 “19글자 이하로 표현할 수 없는” 숫자여야 하는데, 바로 그 정의하는 말 자체가 “16글자(19글자 이하)“로 $X$를 완벽하게 표현하고 있습니다. 이것이 **“베리의 역설(Berry Paradox)”**입니다.

3. 누가 이 역설을 만들었을까?

이 역설은 1904년에 옥스퍼드 대학교의 도서관 사서였던 G. G. 베리(G. G. Berry)라는 인물이 고안했습니다. 그것을 20세기를 대표하는 천재 수학자이자 철학자인 버트런드 러셀이 자신의 논문에서 소개하면서 전 세계에 알려졌습니다.

(※ 영어 원문 논문에서는 “The least integer not nameable in fewer than nineteen syllables”(19음절 미만으로 이름 붙일 수 없는 가장 작은 정수)라는 표현이 사용되었으며, 영어의 음절 수로 역설이 성립하도록 만들어졌습니다.)

4. 왜 모순이 일어났을까?

이 역설의 근본적인 원인은, 우리가 평소에 사용하는 “자연어(한국어나 영어, 일본어 등)“가 가진 모호성과 자기언급성에 있습니다.

자연어는 수학의 엄밀함을 견디지 못한다

수학의 세계에서, “숫자를 정의한다"는 것은 매우 엄밀한 작업입니다(방정식이나 기호를 사용합니다). 그러나 베리의 역설에서는 수학적인 대상(정수)을 “표현할 수 있다”, “표현할 수 없다"는 인간의 일상 언어를 사용하여 정의하려고 했습니다.

일상 언어는 매우 강력하고 유연하지만, 그 유연함 때문에 “자기 자신의 글자 수에 대해 언급한다"는 곡예와 같은 일이 가능해집니다. 그 결과, “정의 그 자체가, 정의의 규칙을 깬다"는 자기 모순(자기언급의 역설)을 일으키고 만 것입니다.

“이름 붙여진다"는 것은 어떤 의미인가?

또한, “16글자로 표현할 수 있다"는 말의 정의도 모호합니다. “19글자 이하로 표현할 수 없는 가장 작은 정수"라는 문구는, 특정한 구체적인 숫자(예를 들어 $987654321...$과 같은 수)를 직접 가리키고 있는 것은 아닙니다. 단지 “조건을 만족하는 숫자가 있을 것이다"라고 간접적으로 기술하고 있을 뿐입니다.

수학적으로는, “직접적으로 계산 가능한 형태로 표현하는 것"과 “간접적인 조건을 언어로 서술하는 것"은 명확히 구별되어야 합니다. 이 두 가지를 혼동하여 “16글자로 표현할 수 있었다!“라고 주장하는 데에, 논리적인 속임수가 숨겨져 있습니다.

5. 요약과 현대에 미친 영향

베리의 역설은 얼핏 보면 그저 단순한 “말장난"이나 “억지"처럼 보입니다. 그러나 이 문제는 20세기 수학자들에게 **“일상 언어를 사용하여 수학의 기초를 세우는 것의 위험성”**을 깊이 인식시키는 계기가 되었습니다.

“언어로 숫자를 정의해서는 안 된다. 수학은 완전히 독립적이고 엄밀한 기호만으로 구축되어야 한다.”

이 역설은 훗날 수학의 역사를 바꾸는 “괴델의 불완전성 정리(수학에는 절대 증명할 수 없는 진리가 존재한다)“나 컴퓨터 과학에서의 “콜모고로프 복잡도(정보를 얼마나 짧게 압축할 수 있는가 하는 이론)” 등, 최첨단 학문으로 이어지는 중요한 이정표가 되었습니다.

단 16글자의 언어가 수학의 한계를 파헤쳤다. 그것이 베리의 역설이 가진 아름다움입니다.

깜짝 시험의 역설: 논리적으로 "절대 불가능한" 시험이 치러지는 날

Thu, 10 Sep 2026 10:00:00 +0900

1. 선생님의 “절대적인 선언”

어느 금요일 하굣길, 수학 선생님이 학생들을 향해 무서운 선고를 했습니다.

“다음 주 월요일부터 금요일 중 하루에, 단 한 번만 ‘깜짝 시험’을 실시하겠다. 단, 그날 아침 시점에 너희들이 ‘오늘이 시험 날이다’라고 확실하게 예측할 수 있다면, 그것은 깜짝 시험이 아니므로 그날에는 시험을 치르지 않겠다”

이 선언을 듣고 학생들은 두려움에 떨었습니다. 언제 시험이 치러질지 매일 조마조마하며 지내야 했기 때문입니다. 하지만 반에서 가장 똑똑한 A군이 갑자기 씩 웃으며 일어났습니다.

“얘들아, 안심해도 돼. 다음 주에 깜짝 시험이 치러지는 일은 절대 있을 수 없어. 논리적으로 불가능해!”

A군은 자신만만하게 다음과 같은 “완벽한 논리"를 칠판에 적기 시작했습니다.

2. A군의 “완벽한 논리"에 의한 증명

A군의 증명은 “금요일"부터 시간을 거슬러 올라가며 생각하는(역방향 추론) 수학적 기법을 사용하고 있습니다.

1단계: 금요일의 가능성을 지운다

만약, 월·화·수·목 4일 동안 계속 시험이 치러지지 않았다고 가정해 보자. 그러면 남은 날은 “금요일"밖에 없다. 금요일 아침 시점에 학생들은 “남은 날은 오늘밖에 없으니, 틀림없이 오늘이 시험이다!“라고 확실하게 예측해 버릴 수 있다. 선생님의 선언에 따르면, “예측할 수 있는 날에는 실시하지 않는다"고 했으므로, 금요일에 깜짝 시험을 실시하는 것은 논리적으로 불가능하다. 따라서, 금요일 시험은 절대 없다.

2단계: 목요일의 가능성을 지운다

금요일에 시험이 없다는 것이 확정되었다. 그렇다는 것은 시험이 치러질 가능성이 있는 마지막 날은 “목요일"이다. 만약 월·화·수 3일 동안 시험이 치러지지 않았다고 가정해 보자. 그러면 남은 가능성은 목요일밖에 없다(금요일은 이미 소거됨). 목요일 아침 시점에 학생들은 “오늘이 시험이다!“라고 확실하게 예측해 버릴 수 있다. 따라서, 목요일 시험도 절대 없다.

3단계: 모든 요일이 지워진다

같은 논리를 반복하면 된다. 목요일이 없다면, 마지막 날은 수요일이 된다. 따라서 화요일까지 시험이 없다면, 수요일 아침에 예측할 수 있게 되므로 수요일도 지워진다. 수요일이 지워지면 화요일도 지워지고, 월요일도 지워진다. 결론: 선생님의 규칙을 지키는 한, 월요일부터 금요일 중 어느 요일이든 절대 깜짝 시험을 실시하는 것은 불가능하다!

graph TD Fri["금요일 아침
(월〜목 시험 없음)"] -->|'금요일밖에 없다'고 예측 가능| NoFri["금요일은 시험 불가"] Thu["목요일 아침
(월〜수 시험 없음)"] -->|'금요일은 없으니 오늘밖에 없다'고 예측 가능| NoThu["목요일은 시험 불가"] Wed["수요일 아침"] -->|'목금은 없으니 오늘밖에 없다'고 예측 가능| NoWed["수요일은 시험 불가"] Tue["화요일 아침"] -->|마찬가지로 예측 가능| NoTue["화요일은 시험 불가"] Mon["월요일 아침"] -->|마찬가지로 예측 가능| NoMon["월요일은 시험 불가"] NoFri -.-> Thu NoThu -.-> Wed NoWed -.-> Tue NoTue -.-> Mon style NoFri fill:#ff9999,stroke:#333 style NoThu fill:#ff9999,stroke:#333 style NoWed fill:#ff9999,stroke:#333 style NoTue fill:#ff9999,stroke:#333 style NoMon fill:#ff9999,stroke:#333

반 학생들은 환호했습니다. A군의 논리는 완벽했고, 어디에도 빈틈이 없어 보였습니다. 그들은 주말을 즐겁게 놀며 보냈고, 시험 공부 따위는 전혀 하지 않은 채 월요일을 맞이했습니다.

월요일…… 시험은 없었습니다. “거봐!” 화요일…… 시험은 없었습니다. “A군 말이 맞았어!”

그리고 수요일 아침. 드르륵! 하고 교실 문이 열리고, 선생님이 들어와서 말했습니다.

“자, 책상 위를 치워라. 지금부터 깜짝 시험을 시작하겠다!”

학생들은 패닉에 빠졌습니다. “어, 어째서!? 수요일에 시험이 있을 줄은, 전혀 예측하지 못했다!”

선생님은 씩 웃었습니다. “거봐, 너희들은 예측하지 못했지? 내 ‘선언’은 완전히 옳았고, 규칙대로 깜짝 시험은 성립한 것이다”

3. 도대체 어디서 논리가 잘못되었던 것일까?

A군의 증명은 완벽해 보였는데, 왜 현실에서는 “완벽한 깜짝 시험"이 성립해 버린 것일까요? 이 문제는 원래 “예기치 못한 교수형의 역설(Unexpected hanging paradox)“이라고 불리며, 1940년대에 스웨덴의 수학자 렌나르트 에크봄(Lennart Ekbom)이 고안한 이래 철학자와 논리학자들을 계속 괴롭혀 왔습니다.

사실, 이 역설에는 “이것이 유일하고 절대적인 정답이다"라는 통일된 견해가 아직 없습니다. 하지만, 몇 가지 유력한 해결 접근법이 존재합니다.

접근법 1: “지식의 역설(인식론)”

A군 추론의 가장 큰 함정은, “선생님의 선언은 100% 진실이다"라는 전제를 자기 자신의 예측 안에 포함시켜 버렸다는 것입니다.

선생님의 선언은, “다음 주에 시험을 치른다(P)“와 “예측할 수 있는 날에는 치르지 않는다(Q)“의 두 가지 조건으로 이루어져 있습니다. 만약 금요일까지 시험이 없었을 경우, 학생은 “선언이 맞다면 오늘밖에 없다"고 생각하지만, 동시에 “오늘이라고 예측할 수 있다면 선언의 Q에 어긋난다. 그렇다면 애초에 P(시험을 치른다)라는 선언 자체가 거짓말이었던 것은 아닐까?“라고 의심할 여지가 생깁니다.

“선생님의 말씀이 절대적으로 맞다"는 믿음과, “논리적 추론"이 충돌한 결과, 학생들은 “선생님은 시험을 치르지 않는다"라는 잘못된 결론(믿음)을 품게 되었고, 그 결과로 언제 시험이 나오더라도 “예기치 못한(깜짝)” 상태가 되어버린 것입니다.

접근법 2: “자기 지시의 역설”

선생님의 말씀을 논리식으로 고쳐 봅시다. 선생님의 주장을 $S$ 라고 합니다. $S = $ “나는 어느 날 $T$ 에 시험을 치른다. 그리고, 너희들은 그날 $T$ 를 예측할 수 없다.”

이 주장은 자기 자신(선언)을 학생들이 어떻게 받아들이느냐에 따라 참과 거짓이 바뀌는, **“자기 지시적인 구조”**를 가지고 있습니다. “거짓말쟁이의 역설(‘이 문장은 거짓이다’)“과 마찬가지로, 논리적인 추론을 빙글빙글 무한 루프에 빠지게 만드는 성질이 있는 것입니다.

4. 일상생활에 숨어있는 “깜짝 시험”

이 역설은 수학뿐만 아니라, 우리의 친숙한 생활에도 응용됩니다.

【서프라이즈 파티의 딜레마】

“이번 달 네 생일에 서프라이즈 파티를 할게!“라고 친구가 선언했다고 합시다. 이 말을 들은 당신은, “오늘일까? 내일일까?“라며 매일 예상합니다. 월말의 마지막 날이 되어도 파티가 없다면, “서프라이즈(예상할 수 없다)“라는 조건을 만족하기 위해서는 마지막 날에는 절대 할 수 없을 텐데…… 라고 추론해 버립니다. 하지만 현실에서는 적당한 중순에 갑자기 케이크가 나오면, 당신은 “정말 깜짝 놀랐어!“라며 완벽한 서프라이즈를 받게 되는 것입니다.

5. 요약

“깜짝 시험의 역설"은 인간의 “알고 있다(예측하고 있다)“라는 상태 자체를 논리 계산에 포함시키는 것의 어려움을 훌륭하게 표현하고 있습니다.

우리가 “완벽한 추론"이라고 생각하는 것은, 사실 “상대방이 규칙을 절대적으로 지킬 것이다"라는 근거 없는 믿음 위에 세워진 모래성에 불과할지도 모릅니다. 다음에 선생님이 “깜짝 시험을 치르겠다"고 말씀하시면, 논리를 억지로 짜맞추는 것은 그만두고 얌전히 매일 공부해 두는 것이 가장 합리적이라고 할 수 있겠습니다.

잠자는 숲속의 미녀 문제: 동전의 확률은 1/2인가 1/3인가? 확률론을 분열시킨 난제

Thu, 10 Sep 2026 09:00:00 +0900

1. 기묘한 실험의 규칙

당신(잠자는 숲속의 미녀)은 어떤 과학 실험의 피험자로 선정되었습니다. 실험은 일요일부터 수요일까지 진행됩니다. 일요일 밤, 당신은 수면제를 먹고 잠에 듭니다.

당신이 잠든 후, 실험자는 1개의 공정한 동전(앞면과 뒷면이 나올 확률이 완벽히 1/2인 동전)을 던집니다. 그리고 그 결과에 따라 당신을 다음과 같은 일정으로 깨웁니다.

【동전 던지기 결과가 ‘앞면’이었을 경우】

월요일에 한 번만 깨워져 질문을 받습니다. 그 후, 다시 잠들게 되며 실험 종료(수요일)까지 깨어나지 않습니다.

【동전 던지기 결과가 ‘뒷면’이었을 경우】

월요일에 깨워져 질문을 받습니다. 그 후, 특수한 약(기억을 지우는 약)을 먹게 되어 다시 잠에 듭니다.
화요일에 한 번 더 깨워져 같은 질문을 받습니다. 그 후, 다시 잠들게 되며 실험은 종료(수요일)됩니다.

※기억을 지우는 약의 효과로 인해, 당신은 깨어났을 때 “오늘이 무슨 요일인지”, “과거에 깨어난 적이 있는지"를 전혀 기억해 낼 수 없습니다.

graph TD Sunday["일요일: 미녀가 잠든다"] --> Toss{"동전 던지기"} Toss -->|앞면 (1/2)| Mon_Heads["월요일: 깨어남＋질문
（그 후 실험 종료）"] Toss -->|뒷면 (1/2)| Mon_Tails["월요일: 깨어남＋질문
（그 후 기억 소거）"] Mon_Tails --> Tue_Tails["화요일: 깨어남＋질문
（그 후 실험 종료）"] style Toss fill:#ff9999,stroke:#333 style Mon_Heads fill:#aaffaa,stroke:#333 style Mon_Tails fill:#aaffaa,stroke:#333 style Tue_Tails fill:#aaffaa,stroke:#333

자, 월요일(또는 화요일), 당신은 깨어났습니다. 방에는 시계도 달력도 없으며, 오늘이 무슨 요일인지 알 수 없습니다.

그곳에 실험자가 찾아와 당신에게 이렇게 질문합니다. “당신이 지금 깨어있는 상태에서, 던져진 동전이 ‘앞면’이었을 확률은 얼마라고 생각하십니까?”

당신은 수학에 정통한 미녀입니다. 자, 어떻게 대답하시겠습니까?

2. 격돌하는 두 파벌: 1/2인가, 1/3인가

이 문제는 1990년대에 고안되어, 2000년에 철학자 아담 엘가(Adam Elga)에 의해 학술지에 발표되었습니다. 동전의 확률은 자명한 것처럼 보이지만, 사실 이 문제를 둘러싸고 전 세계의 수학자·통계학자·철학자가 **“1/2파(Halfer)”**와 “1/3파(Thirder)” 두 진영으로 정확히 반으로 갈려 현재에 이르기까지 격렬한 논쟁을 펼치고 있습니다.

각 진영의 “완벽한 논리"를 들어보겠습니다.

“1/2파(Halfer)“의 주장

“동전은 속임수가 없는 공정한 동전이니까, 앞면이 나올 확률은 당연히 1/2이다. 실험자가 내가 잠든 후에 몇 번 나를 깨우든, 기억을 지우든, 그것은 동전의 물리적인 결과에는 어떠한 영향도 주지 않는다. 동전을 던진 시점에서의 확률은 1/2이며, 내가 깨어난 것으로 인해 새로운 정보(앞면인지 뒷면인지를 추측할 힌트)는 아무것도 얻지 못했다. 따라서 확률은 1/2 그대로이다.”

이것은 객관적인 물리 현상과 정보의 비갱신성을 중시하는 매우 타당한 의견입니다.

“1/3파(Thirder)“의 주장

“당신이 ‘깨어있다’는 사실 자체가 확률을 바꾸는 정보이다. 만약 이 실험을 100번(100주) 반복했다고 해보자. 동전은 50번 ‘앞면’이 되고, 50번 ‘뒷면’이 될 것이다.

앞면이 나온 50주는 월요일에 1번만 깨어난다 $\rightarrow$ ‘앞면’에서 깨어나는 횟수는 50번

뒷면이 나온 50주는 월요일과 화요일에 2번 깨어난다 $\rightarrow$ ‘뒷면’에서 깨어나는 횟수는 100번

즉, 당신이 깨어난 순간의 상황은 전체 150번 중 ‘앞면으로 깨어난 패턴’이 50번, ‘뒷면으로 깨어난 패턴’이 100번인 것이다. 그러니까 지금 자신이 겪고 있는 깨어남이 ‘앞면’일 확률은 50 / 150 = 1/3이다!”

이것은 “자신이 지금 존재(관측)하고 있다"는 상황 자체를 확률 공간의 요소로서 계산에 포함시키는 “빈도주의"나 “인류원리"에 기반한 강력한 의견입니다.

3. 베이즈 정리로 계산해 보기

수학적으로 확률을 갱신하기 위한 도구인 ‘베이즈 정리’를 사용하여 이 문제를 풀어보려는 시도도 있습니다. “1/3파"의 논리를 조건부 확률의 관점에서 정리해 보겠습니다.

깨어났을 때의 상태는 다음 세 가지 중 하나입니다.

$E_1$: 동전이 “앞면"이고, 지금은 “월요일”
$E_2$: 동전이 “뒷면"이고, 지금은 “월요일”
$E_3$: 동전이 “뒷면"이고, 지금은 “화요일”

“앞면"이 나올 확률은 $1/2$, “뒷면"이 나올 확률은 $1/2$입니다. 그러나 뒷면인 경우는 “월요일"과 “화요일"이 완전히 대칭(기억이 없으므로 구별할 수 없음)이므로, $E_2$와 $E_3$의 발생 가능성은 같다고 생각할 수 있습니다.

전체 확률의 합은 $1$이 되어야 하므로, 각각의 깨어남을 독립된 “사건(관측 포인트)“으로 동등한 확률로 할당하면, $P(E_1) = 1/3$ $P(E_2) = 1/3$ $P(E_3) = 1/3$ 이 됩니다. 따라서, “앞면이었을 확률($P(E_1)$)“은 $1/3$이 된다는 결론입니다.

반면 “1/2파"는, 애초에 “동전이 뒷면일 때의 월요일과 화요일($E_2$와 $E_3$)은, 같은 하나의 동전 결과에서 파생되었을 뿐인 종속 사건이며, 독립된 확률로 세는 것은 잘못되었다"라고 반론합니다.

4. 왜 이 문제는 해결되지 않는가?

“잠자는 숲속의 미녀 문제"가 이토록 학자들을 괴롭히고 있는 이유는 단순한 계산 실수나 착각에 의한 것이 아닙니다. 이 문제는 확률론의 가장 깊고 근본적인 의문, 즉 **“확률이란 대체 무엇인가?”**라는 철학적인 질문에 맞닿아 있기 때문입니다.

1/2파에게 확률은 “동전의 물리적인 성질"이나 “객관적인 사실"입니다.
1/3파에게 확률은 “관측자(미녀)의 믿음의 정도"나 “관측되는 빈도"입니다.

양자역학에서의 ‘관측 문제’나 우주론에서의 ‘인류원리(우리가 존재한다는 사실로부터 우주의 확률을 역산하는 사고방식)‘와도 통하는 심연의 주제가 이 단순한 동전 던지기 실험에 응축되어 있는 것입니다.

5. 요약

만약 당신이 이 실험의 피험자가 된다면, 깨어났을 때 “1/2"이라고 대답하시겠습니까? 아니면 “1/3"이라고 대답하시겠습니까?

어느 쪽을 대답하든, 세계 최고 수준의 수학자가 당신의 뒤에서 옹호해 줄 것입니다. 얼핏 단순해 보이는 수학의 정의가, 인간의 ‘주관’이나 ‘존재’라는 성가신 개념과 결부되는 순간 어떻게 무너져 내리는가. 역설은 오늘도 우리의 상식을 계속해서 뒤흔들고 있습니다.

뉴컴의 역설: 미래를 내다보는 초인, 당신은 이길 수 있는가?

Thu, 10 Sep 2026 08:00:00 +0900

1. 궁극의 선택 게임

당신의 눈앞에, 스스로를 “오메가"라고 칭하는 초지능을 가진 외계인이 나타났습니다. 오메가는 인간의 행동을 분석하는 달인으로, **“대상자가 다음에 어떤 선택을 할지, 거의 100%의 정확도로 미래를 예측할 수 있다”**는 무서운 능력을 가지고 있습니다. 과거의 실험에서도 오메가의 예측은 단 한 번도 빗나간 적이 없습니다.

오메가는 당신 앞에 두 개의 상자를 놓았습니다.

상자 A: 투명한 상자. 안에는 확실히 **“10만엔”**이 들어 있습니다.
상자 B: 속이 보이지 않는 상자. 안에는 **“1억엔”**이 들어 있거나, 아니면 “텅 비어(0엔)” 있습니다.

오메가는 당신에게 다음 두 가지 행동 중 하나를 선택하라고 말합니다.

선택 1 “두 상자를 모두 취한다”: 상자 A의 10만엔과 상자 B의 내용물을 모두 받습니다.
선택 2 “상자 B만 취한다”: 상자 B의 내용물만 받습니다. 상자 A의 10만엔은 포기해야 합니다.

이것만 들으면, 누구나 “두 상자를 모두 취한다"고 결정할 것입니다. 하지만 오메가는 무서운 “규칙"을 추가했습니다.

【오메가의 규칙】

“나는 어제, 네가 오늘 『어느 쪽을 선택할지』를 이미 예측해서, 상자 B의 내용물을 세팅해 두었다. 만약 네가 욕심을 부려 『두 상자를 모두 취한다』고 예측했다면, 나는 상자 B를 텅 비워 두었다. 만약 네가 욕심을 부리지 않고 『상자 B만 취한다』고 예측했다면, 나는 상자 B에 1억엔을 넣어 두었다.”

자, 당신은 지금부터 선택을 해야 합니다. 당신은 “두 상자를 모두 취해야” 할까요? 아니면 “상자 B만 취해야” 할까요?

2. 격돌하는 두 가지 “완벽한 논리”

이 문제는 1969년 물리학자 윌리엄 뉴컴에 의해 고안되었고, 철학자 로버트 노직에 의해 발표되었습니다. 발표되자마자 전 세계의 천재적인 수학자와 철학자들의 의견이 “정확히 반"으로 갈리며 큰 논쟁을 불러일으켰습니다.

왜냐하면, 어느 선택지에도 “절대 반박할 수 없는, 완벽한 논리"가 존재하기 때문입니다.

논리 1: “상자 B만 취한다” 파의 주장 (기댓값 최대화)

“오메가의 예측 정확도는 거의 100%잖아? 그렇다면 과거의 데이터대로 오메가를 믿어야 해. 만약 자신이 『모두 취한다』를 선택하면, 오메가는 그것을 꿰뚫어 보고 있어서 결과는 10만엔뿐이야. 만약 자신이 『상자 B만 취한다』를 선택하면, 오메가는 그것을 꿰뚫어 보고 있어서 결과는 1억엔이야. 10만엔과 1억엔, 어느 쪽을 원하는지는 바보라도 알지. 그러니까 절대적으로 『상자 B만 취해야』 해!”

이 사고방식은 과거의 통계 데이터나 기댓값을 순순히 믿는 “기대효용이론"에 바탕을 두고 있습니다.

논리 2: “두 상자를 모두 취한다” 파의 주장 (우월 전략)

“잠깐만. 오메가가 예측해서 상자 B에 내용물을 넣은 것은 **『어제』**의 일이잖아? 그렇다는 것은 지금 시점에서 상자 B의 내용물은 『1억엔이 들어 있다』거나 『텅 비어 있다』 둘 중 하나로 확정되어 있고, 이제 절대 변하지 않을 거야.

패턴 1: 만약 상자 B에 이미 1억엔이 들어 있다면, 『모두 취한다』를 선택하면 1억 10만엔, 『B만』이라면 1억엔이야. 패턴 2: 만약 상자 B가 이미 텅 비어 있다면, 『모두 취한다』를 선택하면 10만엔, 『B만』이라면 0엔이야.

어느 패턴이든, 『모두 취한다』를 선택하는 편이 무조건 10만엔 더 받잖아! 이제 와서 자신이 어느 쪽을 선택하든, 어제의 오메가의 행동이 타임머신을 타고 바뀔 리가 없어. 그러니까 절대적으로 『두 상자를 모두 취해야』 해!”

이 사고방식은 게임 이론에서 “상대방이 어떤 행동을 취하든, 자신에게 유리한 선택지를 고른다"는 “우월 전략 (Dominant Strategy)“에 바탕을 두고 있습니다.

3. 당신은 “자유의지"를 믿는가?

“상자 B만 취한다 파"와 “모두 취한다 파”. 양쪽의 주장을 듣고, 당신은 어느 쪽이 옳다고 생각했습니까?

사실 이 역설에는 현재에 이르기까지 “수학적으로 완벽한 유일한 정답"은 존재하지 않습니다. 왜냐하면 이 문제의 밑바탕에는 인류 최대의 철학적 물음인 **“결정론 vs 자유의지”**가 숨겨져 있기 때문입니다.

“상자 B만 취한다"고 답한 사람 (결정론자)

이 선택을 한 사람은 무의식중에 **“결정론 (이 세상의 미래는 모두 처음부터 정해져 있다)”**을 받아들이고 있습니다. 오메가가 100% 미래를 예측할 수 있다는 것은, 당신의 지금 결단이 “당신의 자유로운 의지"에 의해 선택된 것이 아니라, “우주의 물리 법칙이나 뇌의 뉴런의 움직임에 의해, 어제부터 이미 그렇게 선택하도록 운명 지어져 있었다"는 것입니다. 미래를 바꿀 수 없는 이상, 오메가의 예측대로 “상자 B만 취할 운명"에 편승하는 것이 가장 합리적이라는 사고방식입니다.

“두 상자를 모두 취한다"고 답한 사람 (자유의지론자)

이 선택을 한 사람은 무의식중에 **“자유의지 (미래는 자신의 선택으로 개척할 수 있다)”**를 믿고 있습니다. “어제의 오메가의 예측이 어떻든, 지금 자신의 의지로 선택을 바꿀 수 있다"고 믿기 때문에, “이미 확정된 상자의 내용물과는 무관하게, 지금 이 순간에 10만엔을 더 얻는 행동을 취하는” 것입니다. 설령 결과적으로 오메가에게 예측당해 상자가 텅 비어 있었다고 해도, “논리적으로 올바른 행동을 취한 결과니까 어쩔 수 없다"고 납득하는 논리의 소유자입니다.

4. 시간 여행과 인과의 붕괴

뉴컴의 역설을 더욱 복잡하게 만드는 것이 “인과율 (원인이 있고 결과가 있다)“의 역전입니다.

우리가 살아가는 상식적인 세계에서는, “오늘 나의 선택 (원인)“이 “내일의 결과"를 만듭니다.

하지만 오메가의 게임에서는, “오늘 나의 선택 (원인)“이 “어제의 오메가의 행동 (결과)“을 결정짓는 것처럼 보입니다. 미래의 행동이 과거의 사실을 결정해 버리는 “역방향의 인과율 (Backward Causality)“이 발생하고 있는 것입니다.

만약 오메가와 같은 “완벽한 예측자"가 우주에 존재한다면, 우리가 믿고 있는 “시간은 과거에서 미래로 흐른다"는 상식조차 붕괴해 버립니다.

5. 요약: 사고 실험이 파헤치는 인간의 “합리성”

당신은 어느 상자를 열겠습니까?

이 역설이 제시된 지 반세기가 넘었지만, 철학이나 경제학의 설문조사에서는 놀랍게도 “모두 취한다 파"와 “B만 취한다 파"가 반반 정도로 나뉩니다. 그리고 재미있게도, 양 진영 모두 “상대방의 논리는 완전히 파탄 난 바보다"라고 진심으로 믿고 있습니다.

“합리적인 판단이란 무엇인가?” 경제학이나 수학이 아무리 발전해도, 결국은 “인간이 이 세계를 어떻게 파악하고 있는가"라는 철학에 다다르게 됩니다. 뉴컴의 역설은 논리의 한계를 들이미는, 가장 심술궂고도 아름다운 사고 실험인 것입니다.

심슨의 역설: 부분에서는 이기는데 전체에서는 지는 수수께끼의 현상

Thu, 10 Sep 2026 07:00:00 +0900

1. 어느 병원에서 수술을 받아야 할까?

당신은 중병에 걸려 수술을 받아야만 하게 되었습니다. 눈 앞에는 A병원과 B병원이라는 2개의 선택지가 있습니다. 당신은 각 병원의 수술 ‘성공률’ 데이터를 가져왔습니다.

【전체 성공률】

A병원: 1000명 중 900명이 성공 (성공률 90%)
B병원: 1000명 중 800명이 성공 (성공률 80%)

이것을 보면 누구나 “A병원이 더 우수하다!“라고 생각할 것입니다. 하지만 당신은 신중한 성격이므로 병의 상태(경증인지, 중증인지)에 따라 데이터가 어떻게 변하는지 조금 더 자세히 알아보기로 했습니다.

【경증 환자의 성공률】

A병원: 100명 중 99명이 성공 (성공률 99%)
B병원: 900명 중 870명이 성공 (성공률 96%) $\rightarrow$ 경증의 경우에는 A병원의 승리 (99% > 96%)

【중증 환자의 성공률】

A병원: 900명 중 801명이 성공 (성공률 89%)
B병원: 100명 중 70명이 성공 (성공률 70%) $\rightarrow$ 중증의 경우에도 A병원의 승리 (89% > 70%)

어라? 이상하다고 생각하지 않습니까?

‘경증’ 환자에게도 A병원이 성공률이 높습니다. ‘중증’ 환자에게도 A병원이 성공률이 높습니다. 그런데도 환자 전원을 합친 ‘전체’의 성공률을 계산하면……?

A병원 전체: $(99 + 801) / 1000 =$ 90%
B병원 전체: $(870 + 70) / 1000 =$ 94%……가 아니라, 아까 계산대로라면 80%?

기다려주세요, 다시 한 번 처음 데이터를 살펴봅시다. 처음 데이터는 이랬습니다.

A병원 전체의 성공률: 90%
B병원 전체의 성공률: 80%

하지만 세세하게 나눈 데이터로 다시 계산해 보면, B병원의 전체 성공률은 $(870 + 70) / 1000 = 940 / 1000 = $ **94%**가 되어야 합니다.

…아니, 속았군요! 사실 이 숫자의 트릭이야말로 이번에 해설할 통계학의 무서운 함정입니다. 올바른 데이터를 다시 한 번 보여드리겠습니다.

2. 속은 당신에게: 진짜 데이터

【경증 환자의 성공률】

A병원: 900명 중 870명이 성공 (성공률 96%)
B병원: 100명 중 99명이 성공 (성공률 99%) $\rightarrow$ 경증의 경우에는 B병원의 승리 (99% > 96%)

【중증 환자의 성공률】

A병원: 100명 중 30명이 성공 (성공률 30%)
B병원: 900명 중 315명이 성공 (성공률 35%) $\rightarrow$ 중증의 경우에도 B병원의 승리 (35% > 30%)

즉, 경증이든 중증이든 B병원이 압도적으로 우수합니다.

그럼 이것을 ‘전체’로 합산해 봅시다.

A병원 전체: $(870 + 30) / (900 + 100) = 900 / 1000 =$ 성공률 90%
B병원 전체: $(99 + 315) / (100 + 900) = 414 / 1000 =$ 성공률 41%

놀랍게도 ‘부분’으로 보면 모두 B병원이 이기고 있는데, ‘전체’로 합치면 A병원의 압승이 되어버렸습니다! 이것이 **‘심슨의 역설’**이라고 불리는 현상입니다.

graph TD subgraph "부분적인 데이터 (B의 승리)" Light["경증: B병원의 승리 (99% > 96%)"] Heavy["중증: B병원의 승리 (35% > 30%)"] end subgraph "전체 데이터 (A의 승리)" Total["전체 합산: A병원의 압승 (90% > 41%)"] end Light -->|합산하면 어째서인지 역전| Total Heavy -->|합산하면 어째서인지 역전| Total style Total fill:#ff9999,stroke:#333,stroke-width:2px

3. 왜 이런 기묘한 역전이 일어나는가?

이 역설의 정체는 **‘모수(분모)의 편향’**과 **‘숨겨진 변수(교란 변수)’**에 있습니다.

데이터를 잘 살펴보세요.

A병원은 ‘치료하기 쉬운 경증 환자’를 대량으로 (900명) 받아들였습니다.
B병원은 ‘치료하기 어려운 중증 환자’를 대량으로 (900명) 받아들였습니다.

B병원은 실력이 좋아서 다른 곳에서 거절당하는 어려운 중증 환자를 많이 맡는 ‘최후의 보루’와 같은 병원이었던 것입니다. 당연히 중증 환자의 성공률은 낮아집니다 (35%). B병원의 ‘전체 성공률’은 이 대량의 중증 환자의 낮은 성공률에 발목이 잡혀 전체적으로 낮게 (41%) 보였던 것입니다.

반대로 A병원은 쉬운 경증 환자만 처리하고 있기 때문에 전체 성공률이 높게 (90%) 보였을 뿐, 같은 조건(중증끼리, 경증끼리)으로 비교하면 B병원보다 실력이 떨어졌던 것입니다.

수식으로 표현하면 분수 덧셈의 성질이 원인입니다. 일반적으로 $\frac{a}{b} < \frac{A}{B}$ 이고 $\frac{c}{d} < \frac{C}{D}$ 이더라도,

$$ \frac{a+c}{b+d} < \frac{A+C}{B+D} $$

가 항상 성립하는 것은 아닙니다. 분모의 크기가 극단적으로 다를 경우 부등호의 방향이 역전될 수 있는 것입니다.

4. 현실 세계에서 일어난 ‘심슨의 역설’

이 역설은 단순한 산수 퍼즐이 아니라, 현실 사회에서도 빈번하게 발생하여 큰 논쟁을 불러일으켜 왔습니다.

1973년 캘리포니아 대학교 버클리 캠퍼스의 성차별 의혹

버클리 캠퍼스 대학원의 합격률을 조사한 결과, ‘남성의 합격률(44%)‘이 ‘여성의 합격률(35%)‘보다 유의미하게 높아, 여성에 대한 명백한 차별이 있다며 문제가 되었습니다. 하지만 데이터를 ‘학부별’로 나누어 세세하게 분석한 결과, 놀라운 사실이 밝혀졌습니다. 거의 모든 학부에서 여성의 합격률이 남성보다 높았던 것입니다.

왜 전체 숫자가 역전되었을까? 사실 여성은 ‘합격률이 낮은(좁은 문인) 학부’에 많이 지원했고, 남성은 ‘합격률이 높은(들어가기 쉬운) 학부’에 많이 지원했을 뿐이었습니다.

코로나 백신의 유효성 데이터

‘백신을 접종한 사람이 미접종자보다 사망률이 높다’는 데이터가 퍼져 소동이 일어난 적이 있습니다. 이것 또한 연령별 데이터(숨겨진 변수)를 무시한 결과입니다. 백신은 ‘고령자(애초에 사망률이 높음)‘부터 우선적으로 접종되었기 때문에, 전체 사망률을 단순히 합산하면 백신 접종 그룹 쪽에 고령자가 극단적으로 편중되어 겉보기에 사망률이 높아져 보였던 것입니다.

연령별로 나누어 비교하면, 모든 연령대에서 ‘접종한 사람의 사망률이 더 낮다’는 것이 확인되었습니다.

5. 결론: 데이터는 거짓말을 하지 않지만, 사람은 데이터로 거짓말을 할 수 있다

심슨의 역설은 **‘평균값이나 합계값 등 전체 데이터만 보고 판단하는 것의 위험성’**을 경고하고 있습니다.

세상에는 ‘전체적인 숫자’만 잘라내어 자신들에게 유리하게 어필하는 기업이나 정치인, 미디어가 넘쳐납니다. ‘자사의 제품 A는 타사 제품 B보다 전체 만족도가 높습니다!‘라고 하더라도, 어쩌면 ‘청년층’, ‘장년층’으로 나누어 보면 어느 계층에서든 타사 제품 B가 앞서고 있을지도 모릅니다.

데이터를 볼 때는 표면적인 ‘전체’ 숫자에 속지 말고, ‘배후에 숨겨진 변수(연령, 성별, 중증도 등)에 의해 그룹의 비율에 극단적인 편향이 없는지?‘를 의심하는 눈을 가지는 것이 현대 정보 사회를 살아남기 위한 가장 강력한 무기가 됩니다.

힐베르트의 무한 호텔: 만실인 호텔에 추가로 무한 명의 손님을 투숙시키는 방법

Thu, 10 Sep 2026 06:00:00 +0900

1. 궁극의 호텔에 오신 것을 환영합니다

독일의 위대한 수학자 다비트 힐베르트는 ‘무한’이라는 개념이 인간의 직관과 얼마나 동떨어져 있는지를 설명하기 위해 다음과 같은 흥미로운 사고 실험을 고안했습니다.

상상해 보세요. 우주 어딘가에 **“힐베르트의 무한 호텔”**이라는 호텔이 있습니다. 이 호텔에는 1호실, 2호실, 3호실……과 같이 번호가 매겨진 객실이 무한 개 존재합니다.

어느 날, 우주 전역에서 큰 행사가 열려 이 무한 호텔은 모든 방에 손님이 들어차 **“만실”**이 되었습니다. 그때 몹시 지친 한 명의 여행자가 찾아와 프런트에 “방을 하나 비워주실 수 있나요?“라고 물었습니다.

보통의 호텔이라면 “죄송합니다, 만실입니다"라고 거절할 수밖에 없습니다. 하지만 이곳은 무한 호텔입니다. 지배인은 “알겠습니다. 바로 방을 준비해 드리겠습니다"라며 미소 지었습니다. 만실인데 어떻게 새로운 손님을 투숙시킬 수 있을까요?

2. 케이스 1: 1명의 새로운 손님을 투숙시키는 방법

지배인은 구내방송으로 이미 투숙하고 있는 모든 손님에게 다음과 같이 안내했습니다.

“손님 여러분께 안내 말씀드립니다. 현재의 방 번호에 ‘플러스 1’을 한 번호의 방으로 이동해 주시기 바랍니다.”

그러면 어떻게 될까요?

1호실 손님은 2호실로 이동합니다.
2호실 손님은 3호실로 이동합니다.
3호실 손님은 4호실로 이동합니다.
$n$호실 손님은 $n+1$호실로 이동합니다.

graph LR subgraph "이동 전(만실)" R1["1호실
(손님A)"] R2["2호실
(손님B)"] R3["3호실
(손님C)"] R4["..."] end subgraph "이동 후" NewR1["1호실
(빈방!)"] NewR2["2호실
(손님A)"] NewR3["3호실
(손님B)"] NewR4["4호실
(손님C)"] end R1 -->|이동| NewR2 R2 -->|이동| NewR3 R3 -->|이동| NewR4 NewGuest["새로운 손님"] -->|체크인| NewR1 style NewR1 fill:#aaffaa,stroke:#333,stroke-width:2px style NewGuest fill:#ffaaaa,stroke:#333,stroke-width:2px

방은 무한히 있으므로 “가장 마지막 방의 손님이 쫓겨난다"는 일은 일어나지 않습니다. 모두가 옆 방으로 무사히 이사할 수 있습니다. 그리고 마침내 1호실이 빈방이 되었습니다. 새로운 여행자는 무사히 1호실에 머물 수 있게 된 것입니다.

무한의 세계에서는 $\infty + 1 = \infty$ 가 성립합니다. “전체(무한)” 중에서 “1개"를 빼내어도 전체의 크기는 변하지 않는 것입니다.

3. 케이스 2: 무한 명의 새로운 손님을 투숙시키는 방법

자, 다음 날. 호텔은 다시 만실 상태로 돌아갔습니다. 그런데 이번에는 무려 “무한 명의 승객"을 태운 무한 버스가 도착했습니다. 버스에서 내린 손님들은 “우리 모두가 묵을 방을 준비해 주시오!“라며 프런트로 몰려들었습니다.

어제와 똑같이 “플러스 1"의 이동을 부탁하다가는 영원히 시간이 걸리고 말 것입니다. 하지만 지배인은 당황하지 않습니다. 다시 구내방송을 켰습니다.

“손님 여러분께 안내 말씀드립니다. 현재의 방 번호를 ‘2배’ 한 번호의 방으로 이동해 주시기 바랍니다.”

그러면 어떻게 될까요?

1호실 손님은 2호실로 이동합니다.
2호실 손님은 4호실로 이동합니다.
3호실 손님은 6호실로 이동합니다.
$n$호실 손님은 $2n$호실로 이동합니다.

이 이동을 통해 이미 투숙하고 있던 무한 명의 손님은 **“모든 짝수 번호의 방”**에 쏙 들어가게 되었습니다. 그리고 기적적으로 “모든 홀수 번호의 방(1호실, 3호실, 5호실…)“이 완전히 빈방이 된 것입니다!

graph LR subgraph "현재 투숙객" G1["손님1"] -->|2배| R2["2호실"] G2["손님2"] -->|2배| R4["4호실"] G3["손님3"] -->|2배| R6["6호실"] end subgraph "버스의 새로운 손님(무한 명)" N1["새 손님1"] -->|홀수로| R1["1호실 (빔)"] N2["새 손님2"] -->|홀수로| R3["3호실 (빔)"] N3["새 손님3"] -->|홀수로| R5["5호실 (빔)"] end style R1 fill:#aaffaa,stroke:#333 style R3 fill:#aaffaa,stroke:#333 style R5 fill:#aaffaa,stroke:#333

홀수도 무한히 존재하므로, 지배인은 무한 버스의 승객을 맨 앞부터 차례대로 1호실, 3호실, 5호실…로 안내해 나가면 모두를 투숙시킬 수 있습니다.

무한의 세계에서는 $\infty + \infty = \infty$ 가 성립합니다. 무한에 무한을 더해도 역시 크기는 같은 “무한” 그대로인 것입니다.

4. 케이스 3: 무한 대의 무한 버스가 도착한다면?

그리고 또 다음 날. 또다시 호텔은 만실입니다. 그런데 놀랍게도 “무한 명의 승객을 태운 무한 버스가 무한 대” 연달아 도착했습니다.

버스 1호차에 무한 명, 버스 2호차에 무한 명, 버스 3호차에 무한 명…… 이것이 무한 대 이어집니다. 아무리 지배인이라도 패닉에 빠질 법하지만, 그는 수학의 천재였습니다. ‘소수’를 사용할 생각을 해낸 것입니다.

지배인은 다음과 같이 지시를 내렸습니다.

이미 호텔에 투숙하고 있는 손님의 이동 현재 방 번호를 $n$이라고 했을 때, “$2^n$ 호실"로 이동하게 합니다. (1호실 $\rightarrow$ 2호실, 2호실 $\rightarrow$ 4호실, 3호실 $\rightarrow$ 8호실…) 이로써 현재의 손님은 모두 수용되었습니다.
버스 1호차 손님(무한 명)의 안내 손님의 좌석 번호를 $n$이라고 했을 때, “$3^n$ 호실"로 안내합니다. (3호실, 9호실, 27호실…)
버스 2호차 손님(무한 명)의 안내 다음 소수인 5를 사용하여 “$5^n$ 호실"로 안내합니다. (5호실, 25호실, 125호실…)
버스 $k$호차 손님(무한 명)의 안내 $k+1$ 번째 소수 $P$를 사용하여 “$P^n$ 호실"로 안내합니다.

“소인수분해의 유일성(어떤 수든 소수의 곱셈 조합은 1가지뿐이다)“이라는 강력한 수학 정리에 의해, $2^n, 3^n, 5^n, 7^n \dots$ 의 방 번호가 다른 누군가와 중복되는 일은 절대 없습니다.

이렇게 지배인은 **“무한 $\times$ 무한”**이라는 터무니없는 인원의 손님을 1개의 무한 호텔에 훌륭하게 수용해 낸 것입니다!

5. 무한에는 “크기"의 차이가 있다(칸토어의 정리)

힐베르트의 무한 호텔이 가르쳐 주는 것은 “가산 무한(1, 2, 3… 하고 번호를 매겨 셀 수 있는 무한)“은 아무리 더하거나 곱해도 결국 같은 크기의 ‘가산 무한’의 틀 안에 수용되고 만다는 사실입니다.

하지만 수학자 게오르크 칸토어는 더욱 무서운 사실을 발견했습니다. “자연수"나 “분수"는 모두 이 무한 호텔에 묵게 할 수 있습니다. 하지만 “실수(무리수를 포함한 모든 소수)” 손님이 찾아올 경우, 이 무한 호텔을 사용하더라도 절대 모두를 투숙시킬 수 없습니다.

실수의 개수는 무한 호텔의 방 개수(가산 무한)보다 근본적으로 “더 큰(차원이 높은) 무한"임이 증명되어 있습니다. “무한"이라는 단어로 하나로 묶이기 쉽지만, 사실 무한 안에도 “작은 무한"과 “절대 도달할 수 없을 만큼 큰 무한"이라는 계층 구조(농도)가 존재하는 것입니다.

6. 요약: 인간의 직관을 파괴하는 “무한”

힐베르트의 무한 호텔은 우리의 일상생활에서 길러진 “유한의 상식"이 “무한의 세계"에서는 얼마나 통용되지 않는지를 선명하게 그려냅니다.

“전체는 부분보다 크다” “만실인 호텔에는 아무도 들어갈 수 없다” “무한에 무한을 더하면 더 커진다”

이러한 당연한 직관은 모두 보기 좋게 빗나갑니다. 무한의 세계는 역설(직관에 반하는 진리)의 보고입니다. 수학자들은 이 역설을 두려워하는 것이 아니라 논리의 힘으로 제압하고 분류하여 현대의 집합론이라는 아름다운 체계를 만들어 냈습니다.

다음에 “호텔이 만실입니다"라며 거절당했을 때는 꼭 “만약 이 호텔이 힐베르트의 무한 호텔이었다면 어땠을까” 하고 상상해 보시기 바랍니다.

상트페테르부르크의 역설: 기댓값이 "무한대"인 도박에 당신은 얼마를 지불하시겠습니까?

Thu, 10 Sep 2026 05:00:00 +0900

1. 기댓값이 “무한대"인 꿈의 도박

카지노를 걷고 있던 당신은 딜러로부터 다음과 같은 새로운 동전 던지기 게임을 제안받았습니다.

【게임 규칙】

참가비를 지불하고 게임을 시작합니다.
동전을 던집니다. 앞면이 나오면 상금이 2배가 되고, 한 번 더 던질 수 있습니다.
뒷면이 나오는 시점에서 게임이 종료됩니다. 그 시점까지 쌓인 상금을 받습니다.

첫 상금은 2달러부터 시작합니다.

1번째에 뒷면이 나오면, 2달러를 받고 종료.
1번째에 앞면, 2번째에 뒷면이 나오면, 4달러를 받고 종료.
1번째 앞면, 2번째 앞면, 3번째에 뒷면이 나오면, 8달러를 받고 종료.
…이후 앞면이 계속 나오는 한 상금은 16달러, 32달러, 64달러…로 배로 늘어납니다.

graph TD Start["게임 시작"] --> Toss1{"1번째 동전 던지기"} Toss1 -->|뒷면 (1/2)| End1["종료: 2달러 획득"] Toss1 -->|앞면 (1/2)| Toss2{"2번째 동전 던지기"} Toss2 -->|뒷면 (1/2)| End2["종료: 4달러 획득"] Toss2 -->|앞면 (1/2)| Toss3{"3번째 동전 던지기"} Toss3 -->|뒷면 (1/2)| End3["종료: 8달러 획득"] Toss3 -->|앞면 (1/2)| Toss4{"..."} Toss4 -.->|연속될수록| Infinite["상금은 무한대로 배증!"]

자, 여기서 당신에게 질문입니다. 이 게임의 참가비가 “1만 달러(약 150만 엔)“라고 한다면, 당신은 참가하시겠습니까?

아마도 대부분의 사람은 “참가하지 않겠다"고 답할 것입니다. 왜냐하면 절반의 확률로 첫 던지기에서 뒷면이 나와 겨우 2달러만 받고 큰 손해를 보기 때문입니다.

하지만 수학의 확률론(기댓값)에 충실하게 계산해 보면 놀라운 사실이 밝혀집니다. 수학적으로는 참가비가 1만 달러든 1억 엔이든, 전 재산을 빚내서라도 이 게임에 참가해야 합니다.

도대체 왜 그럴까요?

2. 기댓값을 계산해 보자

도박이 “이득인지 손해인지"를 판단하기 위한 수학적 지표로 **“기댓값”**이 있습니다. 기댓값이란, “그 게임을 여러 번 반복했을 때 1회당 평균적으로 어느 정도 이익을 얻는지"를 나타내는 수치입니다. 계산식은 "(받을 수 있는 상금) × (그 확률)“을 모두 더한 것이 됩니다.

이번 게임의 기댓값을 계산해 보겠습니다.

1번째에 뒷면이 나올 확률: $\frac{1}{2}$ 상금은 $2$ 달러. 기댓값에 대한 기여 ＝ $2 \times \frac{1}{2} = 1$ 달러
2번째에 뒷면이 나올 확률: 앞면·뒷면 순으로 나오므로 $\frac{1}{2} \times \frac{1}{2} = \frac{1}{4}$ 상금은 $4$ 달러. 기댓값에 대한 기여 ＝ $4 \times \frac{1}{4} = 1$ 달러
3번째에 뒷면이 나올 확률: 앞면·앞면·뒷면 순으로 나오므로 $(\frac{1}{2})^3 = \frac{1}{8}$ 상금은 $8$ 달러. 기댓값에 대한 기여 ＝ $8 \times \frac{1}{8} = 1$ 달러
$n$번째에 뒷면이 나올 확률: $(\frac{1}{2})^n$ 상금은 $2^n$ 달러. 기댓값에 대한 기여 ＝ $2^n \times (\frac{1}{2})^n = 1$ 달러

즉, 몇 번째에 끝나든 그 패턴의 기댓값은 **항상 “1달러”**가 됩니다. 게임은 무한히 계속될 가능성이 있기 때문에, 이 기댓값을 모두 더하면 다음과 같이 됩니다.

$$ \text{총 기댓값} = 1 + 1 + 1 + 1 + \dots = \infty \text{（무한대）} $$

수학이 도출해낸 답은 **“이 게임의 기댓값은 무한대이다”**였습니다. 기댓값이 무한대인 이상, 참가비가 아무리 비싸도 이론상으로는 절대적으로 “이득인 도박"이라는 뜻이 됩니다.

이것이 1713년 니콜라우스 베르누이에 의해 제기된 **“상트페테르부르크의 역설”**입니다. 수학의 올바른 계산 결과(무한대의 가치가 있다)와 인간의 현실적인 감각(몇 달러만 지불하고 싶다)이 심하게 모순되는 것입니다.

3. 수학과 인간의 괴리를 해결하는 “효용"의 발견

이 역설을 해결한 사람은 니콜라우스의 사촌인 천재 수학자 다니엘 베르누이였습니다. (그가 상트페테르부르크의 과학 아카데미에서 이 논문을 발표했기 때문에 이런 이름이 붙었습니다.)

다니엘은 인간의 심리를 파고들었습니다. 그는 **“인간은 돈의 ‘절대적인 금액’이 아니라, 돈이 가져다주는 ‘만족도(효용)‘로 사물을 판단한다”**고 생각했습니다.

이것을 **“한계효용체감의 법칙”**이라고 부릅니다.

돈의 가치는 가진 양에 따라 떨어진다

예를 들어, 당신이 사막에서 목이 마를 때 첫 번째 물 한 잔은 “1만 엔을 내고서라도 마시고 싶을” 정도의 가치(만족도)가 있습니다. 하지만 2잔, 3잔을 마실수록 물 한 잔의 가치는 점점 떨어집니다. 10잔째가 되면 “이제 공짜라도 필요 없다"고 하게 될 것입니다.

돈도 이와 같습니다.

저축이 0인 사람이 받는 “100만 엔"은 인생을 구할 만큼 막대한 가치가 있습니다.
하지만 자산 100억 엔인 일론 머스크가 받는 “100만 엔"은 길가에 떨어져 있는 1엔짜리 동전 정도의 가치(만족도)밖에 없습니다.

즉, 상금이 2달러 $\rightarrow$ 4달러 $\rightarrow$ 8달러 $\rightarrow$ 16달러… 로 무한히 늘어나더라도, 인간이 느끼는 “기쁨(효용)“은 금액에 비례하여 무한히 늘어나지는 않는 것입니다.

4. “효용"을 사용하여 기댓값을 다시 계산하기

다니엘 베르누이는 “인간이 느끼는 돈의 가치(효용)는 금액의 로그($\log$)에 비례한다"고 가정했습니다.

금액을 $x$라고 했을 때, 인간이 느끼는 가치(효용) $u(x)$를 로그 함수로 나타내 봅니다(여기서는 밑을 2로 하는 단순한 모델을 생각합니다).

상금 $2$ 달러의 효용: $\log_2(2) = 1$
상금 $4$ 달러의 효용: $\log_2(4) = 2$
상금 $8$ 달러의 효용: $\log_2(8) = 3$
상금 $2^n$ 달러의 효용: $\log_2(2^n) = n$

금액은 배로 늘어나지만, 인간의 “기쁨"은 1, 2, 3…으로 조금씩만 늘어납니다. 이 “효용"을 사용하여 다시 기댓값(기대효용)을 계산해 보겠습니다.

$$ \text{기대효용} = \sum_{n=1}^{\infty} \left( n \times \left(\frac{1}{2}\right)^n \right) $$ $$ = 1 \cdot \frac{1}{2} + 2 \cdot \frac{1}{4} + 3 \cdot \frac{1}{8} + 4 \cdot \frac{1}{16} + \dots $$

이 무한급수의 합을 계산하면, 결과는 “무한대"가 되지 않고 “2"에 수렴합니다. 효용이 “2"인 금액을 역산하면, $2^2 = 4$ 달러가 됩니다.

즉, 인간의 심리(효용)를 포함시켜 다시 계산하면, **“이 게임의 가치는 인간의 감각으로는 대략 ‘4달러’ 정도이다”**라는 지극히 상식적이고 현실적인 답이 도출되는 것입니다. 그렇기 때문에 우리는 이 게임에 1만 달러를 지불할 마음이 생기지 않는 것입니다.

5. 요약: 경제학의 문을 연 역설

상트페테르부르크의 역설은 “금액"이라는 객관적인 숫자와 “인간의 만족도"라는 주관적인 가치가 일치하지 않음을 수학적으로 증명한 획기적인 역설이었습니다.

다니엘 베르누이가 제창한 “효용(Utility)“이라는 개념은 그 후 200년의 세월을 거쳐 현대 미시경제학과 금융공학(포트폴리오 이론 등)의 가장 중요한 기초가 되었습니다. 우리가 보험에 가입하거나 분산 투자를 하는 행동도 모두 이 “한계효용체감(큰 손해를 보는 고통은 큰 이익을 얻는 기쁨보다 훨씬 크다)“이라는 인간의 심리 메커니즘으로 설명할 수 있습니다.

단순한 도박의 계산 문제가 인간의 마음을 읽어내고, 경제학이라는 거대한 학문을 탄생시키는 계기가 된 것입니다.

러셀의 역설: "자신을 포함하지 않는 집합의 집합"은 자신을 포함할까?

Thu, 10 Sep 2026 04:00:00 +0900

1. 평화로운 마을을 덮친 “이발사의 역설”

어느 평화로운 마을에, 한 명의 이발사가 있었습니다. 마을 입구에는 다음과 같은 기묘한 푯말이 서 있었습니다.

“이 마을의 이발사는, 스스로 자신의 수염을 깎지 않는 마을 사람 전원의 수염을 깎아주고, 그 외의 사람의 수염은 깎지 않습니다.”

마을 사람들은 이 규칙에 만족했습니다. 스스로 깎을 수 없는 사람은 이발사에게 가면 되고, 스스로 깎을 수 있는 사람은 집에서 깎으면 되기 때문입니다.

그러나 어느 날, 젊은 이발사는 거울을 보고 깜짝 놀랐습니다. 그의 턱에는 까칠하게 수염이 자라 있었던 것입니다. “자, 나는 내 수염을 깎아야 할까?”

그는 푯말의 규칙에 따라 논리적으로 생각해 보기로 했습니다.

만약 그가 “자신의 수염을 깎는다"고 한다면? 규칙에 따르면, 이발사는 “스스로 자신의 수염을 깎지 않는 사람"의 수염만 깎아야 합니다. 따라서, 스스로 수염을 깎는 그는, 이발사(자기 자신)에게 수염을 깎을 자격이 없습니다. 즉, “깎아서는 안 된다”.
만약 그가 “자신의 수염을 깎지 않는다"고 한다면? 규칙에 따르면, 이발사는 “스스로 자신의 수염을 깎지 않는 사람” 전원의 수염을 깎아야만 합니다. 따라서, 스스로 수염을 깎지 않는 그는, 이발사(자기 자신)에게 수염을 깎게 해야 합니다. 즉, “깎아야만 한다”.

“깎는다고 한다면, 깎아서는 안 된다.” “깎지 않는다고 한다면, 깎아야만 한다.”

이발사는 완전히 패닉에 빠져, 어느 쪽의 행동도 취할 수 없게 되어버렸습니다. 이것이 유명한 **“이발사의 역설”**입니다.

graph TD Barber["이발사: 자신의 수염을 깎아야 할까?"] Barber -->|YES: 스스로 깎는다| Cond1["규칙 위반!
（스스로 깎는 사람의 수염은 깎아서는 안 된다）"] Barber -->|NO: 스스로 깎지 않는다| Cond2["규칙 위반!
（스스로 깎지 않는 사람의 수염은 깎아야만 한다）"] Cond1 --> Paradox["모순(역설)"] Cond2 --> Paradox style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

2. 수학계를 뒤흔든 “러셀의 역설”

이 “이발사의 역설"은, 영국의 논리학자이자 철학자인 버트런드 러셀이 자신이 발견한 수학적 역설을 일반인들도 알기 쉽게 설명하기 위해 만든 비유입니다.

그가 실제로 발견한 것은 이발사가 아니라, **“집합(Set)”**에 관한 무서운 모순이었습니다. 그것을 **“러셀의 역설(1901년)”**이라고 부릅니다.

“집합의 집합"이라는 사고방식

수학에서 “집합"이란, 어떠한 조건을 만족하는 것들의 모임을 말합니다.

“10 이하의 짝수의 집합” = $\{2, 4, 6, 8, 10\}$
“붉은 사과의 집합”

그리고, 집합의 내용물(원소)로서, 다른 “집합"을 넣을 수도 있습니다. 예를 들어, “전 세계의 모든 책의 집합"을 생각해 봅니다. 이 집합 자체는 “책"이 아니므로, “전 세계의 모든 책의 집합"은 자기 자신의 집합 안에는 포함되지 않습니다.

한편, “책이 아닌 것들의 집합"을 생각해 봅니다. 이 집합 자체도 “책"이 아닙니다. 따라서, “책이 아닌 것들의 집합"은 자기 자신의 집합 안에 포함되게 됩니다.

이처럼, 세상의 집합은 크게 두 종류로 나눌 수 있습니다.

A: 자기 자신을 포함하지 않는 집합(예: 책의 집합)
B: 자기 자신을 포함하는 집합(예: 책이 아닌 것들의 집합)

악마의 집합 $R$ 의 탄생

여기서 러셀은, 다음과 같은 특수한 집합 $R$ 을 생각했습니다.

집합 $R$ = “자기 자신을 포함하지 않는 집합(A의 유형)“을 모두 모은 집합

수식(조건제시법)으로 쓰면 이렇게 됩니다.

$$ R = \{ x \mid x \notin x \} $$

자, 이제부터가 본론입니다. 러셀은 이 집합 $R$ 에 대해, 다음과 같은 질문을 던졌습니다.

“집합 $R$ 은 자기 자신($R$)을 포함합니까?”

생각해 봅시다.

만약 $R$ 이 “자기 자신을 포함한다($R \in R$)“고 한다면? $R$ 안에 들어갈 조건은 “자기 자신을 포함하지 않는 것"입니다. 따라서, $R$ 은 조건을 만족하지 못하고, $R$ 안에 들어갈 수 없습니다. ($R \notin R$ 이 되어 모순)
만약 $R$ 이 “자기 자신을 포함하지 않는다($R \notin R$)“고 한다면? $R$ 안에 들어갈 조건은 “자기 자신을 포함하지 않는 것"입니다. 따라서, $R$ 은 훌륭하게 조건을 만족하며, $R$ 안에 들어가야만 합니다. ($R \in R$ 이 되어 모순)

수식으로 쓰면, 단 한 줄의 논리 붕괴입니다.

$$ R \in R \iff R \notin R $$

“포함한다고 하면, 포함되지 않는다.” “포함되지 않는다고 하면, 포함한다.” 이것은 이발사의 역설과 완전히 똑같은 구조입니다. 하지만, 마을의 이발사라면 “그런 규칙의 푯말을 세운 촌장이 바보일 뿐이다"라며 웃어넘길 일이지만, 수학의 세계에서는 그렇지 않습니다.

왜냐하면 당시의 수학계는, **“조건만 명확히 정의하면, 어떤 것이든 자유롭게 ‘집합’을 만들어도 좋다”**는 소박한 규칙(소박한 집합론)을 토대로 하여, 모든 수학을 재구축하려던 한창이었기 때문입니다.

3. 프레게의 비극

러셀이 이 편지를 보낸 상대는, 독일의 위대한 논리학자 고틀로프 프레게였습니다. 프레게는 마침 자신의 인생 전부를 바친 대저 『산술의 기본 법칙』 제2권을 인쇄소에 넘긴 직후였습니다. 이 책은, “어떤 조건에서든 집합을 만들 수 있다"는 규칙을 기초로 하여, 수학의 완전성을 증명하려고 한 집대성이었습니다.

러셀의 편지를 읽은 프레게는 절망했습니다. 자신의 책의 “기초 중의 기초” 규칙을 사용하면, 러셀의 역설과 같은 “절대로 모순되는 집합"을 만들 수 있다는 것이 증명되었기 때문입니다. 기초가 무너지면, 그 위에 세워진 수백 페이지의 수식은 모두 무효가 되어버립니다.

프레게는 출판 직전의 책 말미에, 다음과 같은 비통한 추기를 남겼습니다.

“과학자에게, 자신의 작업이 완성되었다고 생각한 순간에 그 기초가 무너져 내리는 것을 보는 것만큼 비참한 일은 없다. 이 책이 인쇄에 들어간 직후, 버트런드 러셀 씨의 편지로 인해, 나는 바로 그 상황에 처하게 되었다.”

4. 위기를 극복하며: 공리적 집합론의 탄생

러셀의 역설은, 수학계에 “수학 기초의 위기"라 불리는 대패닉을 일으켰습니다. “조건만 정하면 자유롭게 집합을 만들어도 좋다"는 자유분방한 규칙이, 모순이라는 이름의 괴물을 낳아버린 것입니다.

이 위기를 해결하기 위해, 수학자들은 규칙의 엄격화에 나섰습니다. 체르멜로나 프렝켈 같은 수학자들은, **“만들어도 좋은 집합"과 “만들어서는 안 되는 (너무 큰) 집합"을 엄밀하게 구별하는 규칙서(공리계)**를 정비했습니다. 이것을 “ZFC 공리계(공리적 집합론)“라고 부릅니다.

ZFC 공리계 하에서는, 러셀이 생각했던 것과 같은 “모든 ‘자신을 포함하지 않는 집합’을 모은 집합 $R$“은, **“너무 커서 위험하기 때문에, 더 이상 ‘집합’으로서 인정하지 않는다(그것은 단순한 ‘고유 클래스’이다)”**라며 수학의 세계에서 출입을 금지당했습니다.

graph LR subgraph "소박한 집합론(러셀 이전)" Free["어떤 조건이든 자유롭게
집합을 만들 수 있다!"] --> Monster["모순의 괴물 R
(러셀의 역설)"] end subgraph "공리적 집합론(현대 수학)" Strict["엄격한 규칙(공리)을 따르는
것만이 '집합'"] --> Safe["모순 R은 '집합'으로서
인정되지 않으므로 안전!"] end Monster -.->|수학계의 위기| Strict

5. 요약: 역설은 “논리의 버그"를 고치기 위한 극약

러셀의 역설은, “자신의 꼬리를 먹는 뱀(우로보로스)“이나 “나는 거짓말쟁이라고 말하는 거짓말쟁이"와 같이, 자기 언급(자기 자신을 언급하는 것)이 일으키는 논리 버그의 극치입니다.

언뜻 보면 단순한 억지나 말장난처럼 생각될 수 있는 역설이, 수학이라는 가장 엄밀한 학문의 근저를 파괴하고, 결과적으로 수학을 보다 견고하고 엄밀한 것으로 진화시켰습니다.

만약 러셀이라는 천재가 이 “이발사의 버그"를 눈치채지 못했다면, 현대의 수학이나, 그 논리의 연장선상에 있는 컴퓨터 과학은 어딘가에 치명적인 모순을 안은 채 발전했을지도 모릅니다. 역설이란, 인간 논리의 한계를 가르쳐 주는 가장 자극적인 극약인 것입니다.

죄수의 딜레마: 왜 우리는 "모두가 손해 보는" 선택을 하고 마는가?

Thu, 10 Sep 2026 03:00:00 +0900

1. 궁극의 선택: 묵비권을 행사할 것인가, 배신할 것인가?

당신은 어떤 범죄의 용의자로 공범인 친구와 함께 경찰에 붙잡히고 말았습니다. 두 사람은 서로 다른 취조실에 들어가게 되었고, 서로 연락을 취하는 것은 일절 불가능합니다.

경찰은 증거를 완전히 확보하지 못했기 때문에, 검사는 당신과 친구에게 각각 다음과 같은 “사법 거래"를 제안했습니다.

둘 다 “묵비권 행사(협력)“를 한 경우: 증거 불충분으로, 두 사람 모두 징역 1년으로 끝난다.
당신이 “자백(배신)“하고, 친구가 “묵비권 행사"를 한 경우: 수사에 협조한 당신은 **무죄(즉시 석방)**가 되지만, 친구는 모든 죄를 뒤집어쓰고 징역 10년이 된다. (반대의 경우도 마찬가지)
둘 다 “자백(배신)“을 한 경우: 두 사람 모두 죄를 인정했기 때문에, 형이 조금 감경되어 두 사람 모두 징역 5년이 된다.

자, 당신이라면 어떻게 하시겠습니까? “묵비권(상대방과 협력)“을 행사하시겠습니까? 아니면 “자백(상대방을 배신)“하시겠습니까?

2. 이득표(페이오프 매트릭스)를 통한 분석

이 상황을 게임 이론에서 사용되는 “이득표"로 정리해 봅시다. 칸 안의 숫자는 (당신의 징역 연수, 친구의 징역 연수)를 나타냅니다. 마이너스는 손실(징역 연수)을 의미합니다.

당신 \ 친구	묵비권 행사(협조)	자백하기(배신)
묵비권 행사(협조)	(-1, -1)	(-10, 0)
자백하기(배신)	(0, -10)	(-5, -5)

객관적으로 보면, 두 사람이 취해야 할 최적의 행동은 명확합니다. 둘 다 “묵비권"을 행사하면, 전체 형기는 단 2년(-1과 -1)으로 끝납니다. 이것이 전체의 이익을 극대화하는 “파레토 최적” 상태입니다.

하지만 당신이 “자신의 이익만을 극대화하려는 합리적인 인간"이라면, 전혀 다른 결론이 도출됩니다.

3. 왜 “배신"이 합리적인 선택이 되는가?

당신이 다른 방에 있는 “친구"의 행동을 예측하여 자신의 행동을 결정하는 사고 과정을 따라가 봅시다.

케이스 1: 친구가 “묵비권"을 행사할 것이라고 예측한 경우

나도 “묵비권"을 행사하면, 징역 1년.
내가 “자백"하면, 무죄(즉시 석방). $\rightarrow$ 무죄가 더 좋으므로, **“자백(배신)”**이 최적.

케이스 2: 친구가 “자백"할 것이라고 예측한 경우

나도 “묵비권"을 행사하면, 징역 10년.
내가 “자백"하면, 징역 5년. $\rightarrow$ 징역 5년이 더 나으므로, 역시 **“자백(배신)”**이 최적.

눈치채셨나요? 상대방이 어떤 행동을 취하든 간에, 당신에게는 “자백(배신)“하는 것이 항상 더 유리합니다. 이것을 게임 이론에서는 **“우월 전략(Dominant Strategy)”**이라고 부릅니다.

친구도 완전히 같은 상황에 놓여 있고 완전히 똑같이 합리적으로 생각하기 때문에, 친구에게도 “자백"이 우월 전략이 됩니다.

결과적으로, 합리적으로 생각한 두 사람은 반드시 서로 “자백(배신)“을 선택합니다. 그 결과 도달하게 되는 것은 **둘 다 징역 5년(-5, -5)**이라는, 전체적으로 보면 최악에 가까운 결말입니다. 둘이서 협력(묵비권)했다면 징역 1년으로 끝났을 텐데, 개인의 합리성을 추구한 결과 서로 손해를 보고 마는 것입니다.

graph TD Start["선택의 시작"] --> Logic_You["당신의 합리적 사고"] Start --> Logic_Friend["친구의 합리적 사고"] Logic_You -->|상대가 묵비권을 행사하면 자백이 이득
상대가 자백해도 자백이 이득| Betray_You["당신은 자백(배신)을 선택"] Logic_Friend -->|상대가 묵비권을 행사하면 자백이 이득
상대가 자백해도 자백이 이득| Betray_Friend["친구는 자백(배신)을 선택"] Betray_You --> Result["결과: 양측 자백 (-5, -5)"] Betray_Friend --> Result Ideal["이상: 양측 묵비권 (-1, -1)"] -.->|개인의 합리성이 방해되어
도달할 수 없음| Result style Result fill:#ff9999,stroke:#333,stroke-width:2px style Ideal fill:#99ff99,stroke:#333,stroke-width:2px

이처럼 “서로 상대의 행동을 예측한 결과, 서로 전략을 바꿀 동기가 없는(더 이상 어쩔 수 없는) 상태"를 게임 이론의 대가 존 내시의 이름을 따서 **“내시 균형(Nash Equilibrium)”**이라고 부릅니다.

죄수의 딜레마에서 가장 무서운 점은, “파레토 최적(전체에게 가장 좋은 결과)“과 “내시 균형(개인의 합리성이 도달하는 곳)“이 일치하지 않는다는 점에 있습니다.

4. 일상 사회에 숨어 있는 “죄수의 딜레마”

죄수의 딜레마는 단순한 퀴즈가 아닙니다. 우리 사회에서 일어나고 있는 많은 문제들이 이 수학 모델로 설명됩니다.

1. 가격 경쟁(할인 경쟁)

두 경쟁 기업이 비슷한 상품을 1000원에 팔고 있습니다. 양사가 1000원을 유지(협조)하면 양사 모두 높은 이익을 얻을 수 있습니다. 하지만, “상대보다 조금만 싸게 해서(배신), 손님을 독점하자"라는 유혹에 넘어가 양사가 할인 경쟁을 시작합니다. 결과적으로 상품은 500원이 되고 양사 모두 이익을 내지 못하고 고통받는(양측 배신) 상황이 됩니다.

2. 환경 문제와 온실가스

전 세계 국가들이 “CO2 배출을 줄이자(협조)“라고 약속합니다. 이것이 지구 전체를 위한 최적의 해답입니다. 하지만 자국만 “배출 제한을 무시하고 공장을 가동(배신)“함으로써 자국의 경제만 급성장시킬 수 있습니다. 반대로, 타국이 배신했는데 자국만 규칙을 지키면 자국만 경제적으로 큰 손해를 봅니다. 결과적으로 어느 나라도 남들이 먼저 빠져나갈까 두려워 배신을 선택하고, 지구 환경은 파괴되어 갑니다.

3. 스포츠의 도핑 문제

선수 전원이 도핑을 하지 않는(협조) 것이 이상적입니다. 하지만 “상대가 도핑을 하고 있을지도 모른다"는 의심이나 “나만 도핑하면 이길 수 있다"는 유혹 때문에 도핑(배신)을 선택하고 맙니다. 결과적으로 전원이 건강을 해쳐가며 약물에 찌든 채 싸우는 최악의 상황에 빠집니다.

5. 해결책은 있는가? “팃포탯(Tit for Tat) 전략”

일회성 거래에서는 “배신"이 항상 합리적인 선택이 되어버립니다. 하지만 이것이 “같은 상대와 여러 번 반복되는 게임(반복되는 죄수의 딜레마)“이 되면 상황은 극적으로 바뀝니다.

1980년대, 정치학자 로버트 액설로드는 다양한 전략이 프로그래밍된 컴퓨터끼리 대전하는 토너먼트를 열었습니다. “항상 배신한다”, “무작위로 배신한다”, “상대를 용서한다” 등 전 세계 학자들로부터 모인 복잡한 전략들 중에서 압도적인 성적으로 우승한 것은 가장 단순한 **“팃포탯 전략(Tit for Tat, 눈에는 눈 이에는 이)”**이었습니다.

팃포탯 전략의 규칙은 단지 이것뿐입니다.

처음에는 반드시 “협조"한다.
다음부터는, 이전 턴에 “상대가 취한 행동"을 그대로 따라 한다.
- 상대가 이전에 협조해 주었다면, 이번에는 협조한다.
- 상대가 이전에 배신했다면, 이번에는 배신으로 보복한다.

이 전략이 강력한 이유는 “먼저 절대 배신하지 않는다(선량함)”, “배신당하면 즉각 벌을 준다(엄격함)”, “상대가 태도를 고치면 바로 용서한다(관대함)”, “구조가 단순하여 상대에게 전달되기 쉽다(명료함)“라는 4가지 특징을 갖추고 있기 때문입니다.

인간관계나 국제사회에서도 장기적인 관계가 전제되어 있다면, “팃포탯 전략"처럼 **“기본적으로는 협력하되, 배신에는 페널티를 준다”**는 규칙을 공유함으로써 죄수의 딜레마를 극복하고 협력 관계를 구축할 수 있습니다.

6. 결론: 수학이 가르쳐 주는 “신뢰"의 가치

죄수의 딜레마는 “인간의 이기적인 합리성"이 때로는 사회 전체를 불행의 구렁텅이로 빠뜨린다는 것을 수학적으로 증명했습니다. “나 혼자만 이득을 보고 싶다” 혹은 “남에게 당하고 싶지 않다"는 개인의 합리성은 결국 자기 자신의 목을 조르는 결과(내시 균형)를 초래합니다.

하지만 동시에 “관계가 장기적으로 이어진다"는 조건만 있다면, “서로 신뢰하고 협력하는 것"이 결과적으로 자기 자신의 이익도 극대화하는 가장 합리적인 전략이라는 것 또한 게임 이론은 가르쳐 주고 있습니다.

당신이 다음에 “나 혼자만 살짝 꼼수를 부려볼까” 하고 망설일 때, 이 죄수의 딜레마의 이득표를 떠올려 보십시오. 눈앞의 이익을 좇는 “합리적인 배신"은 장기적으로는 가장 비합리적인 선택일지도 모르니까요.

바나흐-타르스키 역설: 1개의 공을 조각내면, 같은 크기의 공이 2개가 된다?

Thu, 10 Sep 2026 02:00:00 +0900

1. 마법 같은 정리: 1 = 1 + 1 ?

만약 눈앞에 1개의 순금 공(ball)이 있다고 가정해 봅시다. 이 공을 칼로 여러 조각으로 나눕니다. 그리고 그 조각들을 퍼즐처럼 다시 조합합니다. 조각을 늘리거나 구부리거나 새로운 금을 덧붙이는 일은 절대 하지 않습니다. 오직 이동시켜서 붙이기만 합니다.

그런데 완성된 퍼즐을 보면, “원래의 공과 완전히 같은 크기의 순금 공이 2개” 만들어져 있는 것입니다.

“말도 안 돼! 질량 보존의 법칙에 어긋나고, 연금술사의 망상일 뿐이야!“라고 생각할 것입니다. 현실의 물리 세계에서는 절대 있을 수 없는 일입니다. 하지만 순수 수학(기하학·집합론)의 세계에서는 이것이 논리적으로 100% 참인 정리로 증명되어 있습니다.

이것이 바로 1924년 스테판 바나흐(Stefan Banach)와 알프레트 타르스키(Alfred Tarski)라는 두 수학자에 의해 증명된 **“바나흐-타르스키 역설”**입니다.

2. 역설의 주장을 정확히 이해하기

바나흐와 타르스키가 증명한 정리를 수학적으로 정확한 언어로 표현하면 다음과 같습니다.

바나흐-타르스키 정리 3차원 공간 내에 있는 임의의 구체 $S$는 유한 개의 조각으로 분할할 수 있다. 그리고 그 조각들을 (회전과 평행 이동만으로) 재배치함으로써 원래의 구체 $S$와 완전히 같은 반지름을 가진 두 개의 구체를 만들어낼 수 있다.

더욱 놀라운 것은, 이 정리를 응용하면 다음과 같은 사실도 말할 수 있다는 점입니다.

1개의 완두콩을 유한 개의 조각으로 분할하고 이를 다시 조립함으로써, 태양과 완전히 똑같은 크기의 구체를 만들 수 있다. (별명: 완두콩과 태양의 역설)

왜 이런 마법 같은 일이 수학적으로 허용되는 것일까요? 그 비밀은 **“무한”**과 **“선택 공리”**라는 두 가지 키워드에 숨겨져 있습니다.

3. “무한"의 신비한 성질

이 역설을 이해하기 위한 첫걸음은 “무한 집합"의 기묘한 성질을 아는 것입니다.

우리가 평소 다루는 “유한"의 세계에서는 전체가 부분보다 반드시 큽니다. 예를 들어, 1부터 10까지의 숫자(10개) 중에서 짝수(5개)를 꺼내면, 숫자는 반으로 줄어듭니다.

하지만 “무한"의 세계에서는 이 상식이 통하지 않습니다. 모든 “자연수”(1, 2, 3, 4, …)와 모든 “짝수”(2, 4, 6, 8, …) 중 어느 쪽이 더 많을까요? 직관적으로는 짝수가 자연수의 절반밖에 되지 않으므로 자연수가 더 많을 것 같은 느낌이 듭니다. 하지만 다음과 같이 짝을 지어보세요.

1 $\rightarrow$ 2
2 $\rightarrow$ 4
3 $\rightarrow$ 6
$n \rightarrow 2n$

이처럼 모든 자연수에 대해 정확히 두 배가 되는 짝수를 반드시 하나씩 짝지을 수 있습니다(일대일 대응). 남는 수는 없습니다. 즉 수학적으로는, “자연수의 개수(무한)“와 “짝수의 개수(무한)“는 완전히 같은 크기인 것입니다!

전체(자연수)에서 절반(짝수)을 떼어냈는데도 크기는 원래대로 변함이 없습니다. 무한 집합에서는 “부분이 전체와 같아지는” 일이 일어날 수 있는 것입니다. 바나흐-타르스키 정리는 이 “무한의 마법"을 3차원 공간의 “점"의 집합에 적용한 궁극의 형태라고 할 수 있습니다.

4. 공간의 점은 “측정 불가능"하게 조각난다

현실의 물체(금이나 사과)를 칼로 자를 경우, 조각에는 반드시 “부피"가 존재합니다. 하지만 수학에서의 구체는 부피를 갖지 않는 **“무한한 점들의 모임”**입니다.

바나흐와 타르스키는 이 무한한 점들을 매우 특수하고 복잡한 방법으로 그룹화(분할)했습니다. 그 나누는 방식이 너무나도 복잡하고 흩어져 있어서 더 이상 “부피를 측정할 수 없는(비가측 집합)” 상태가 됩니다.

각 조각이 “부피를 갖지 않는(측정할 수 없는)” 모호한 점들의 모임이 되어버리면, “조각들을 합치면 원래 부피와 같아야 한다"라는 물리 법칙(측도의 가산 가법성)의 굴레에서 벗어날 수 있습니다.

그리고 그 모호한 점의 조각들을 회전시켜 잘 조합하면, “무한의 마법"에 의해 원래의 구체와 완전히 같은 점이 빽빽하게 찬 구체가 2개 완성되어 버리는 것입니다. 실제로는 원래의 구체를 단 5개의 조각으로 나누는 것만으로 이 “1개의 공에서 2개의 공을 만드는” 조작이 가능함이 증명되어 있습니다.

5. 모든 것의 원흉: “선택 공리"란 무엇인가?

그렇다면 왜 “부피를 잴 수 없을 정도로 복잡한 분할"이 수학적으로 가능한 것일까요? 그것은 현대 수학의 기초가 되는 **“선택 공리(Axiom of Choice)”**라는 규칙을 인정하고 있기 때문입니다.

선택 공리란 간단히 말해 다음과 같은 규칙입니다.

선택 공리의 이미지 수많은 상자 속에 각각 물건이 들어 있을 때, **“각 상자에서 물건을 하나씩 골라내어 새로운 세트(집합)를 만들 수 있다”**는 규칙.

상자의 개수가 유한 개라면 누구나 쉽게 할 수 있습니다. 하지만 상자의 개수가 “무한 개"일 경우, 인간이 “하나씩 고르는” 조작을 무한 번 끝마칠 수는 없습니다. 그럼에도 “골라서 만든 세트가 존재한다고 보아도 좋다"라고 인정하는 것이 선택 공리입니다.

이 공리는 현대 수학을 구축하는 데 있어 매우 편리하고 필수 불가결한 것이었습니다. 대부분의 수학자들은 “뭐, 당연한 거네"라며 이 규칙을 받아들였습니다.

하지만 이 선택 공리를 인정하면, 앞서 말한 “부피를 잴 수 없을 정도로 흩어진 모호한 점들의 집합(비가측 집합)“의 존재를 인정하게 되어버립니다. 그리고 그 결과로서 “1개의 공이 2개가 된다"는 바나흐-타르스키 정리가 논리적 필연으로 도출되고 마는 것입니다.

6. 요약: 수학이 그려내는 “직관을 뛰어넘는 세계”

바나흐-타르스키의 역설은 “논리에 모순이 있다"는 의미의 역설(패러독스)이 아닙니다. 논리는 100% 옳지만, 도출된 결론이 인간의 직관이나 물리 법칙과 격렬하게 모순된다는 의미에서의 역설입니다.

이 정리가 발표되었을 때, 일부 수학자들은 “이렇게 비상식적인 결론이 나온다면, 선택 공리는 틀림없이 잘못된 것이다!“라고 주장했습니다. 하지만 현재는 많은 수학자들이 선택 공리를 받아들이고, 바나흐-타르스키의 정리 또한 “3차원 공간과 무한 집합이 가지는, 기묘하지만 아름다운 성질"로서 받아들이고 있습니다.

우리가 사는 물리 세계는 원자라는 “크기가 있는 알갱이(유한)“로 이루어져 있기 때문에, 완두콩을 태양 크기로 만들 수는 없습니다. 하지만 인간의 두뇌가 만들어낸 “수학"이라는 캔버스 위에서는 점의 크기는 0이며, 무한의 조작이 허용됩니다.

바나흐-타르스키의 역설은, “무한"이라는 개념이 인간의 소박한 직관을 얼마나 가볍게 뛰어넘는가를 가르쳐 주는, 현대 수학의 최고 걸작 중 하나라고 할 수 있을 것입니다.

아킬레스와 거북이: 따라잡을 수 없는가, 따라잡을 수 있는가? 고대 그리스부터 이어지는 "무한"의 역설

Thu, 10 Sep 2026 01:00:00 +0900

1. 제논의 역설: 발 빠른 영웅은 거북이를 이길 수 없다?

기원전 5세기, 고대 그리스의 철학자 엘레아의 제논은 우리의 직관이나 상식에 정면으로 반하는 “운동"에 관한 몇 가지 역설을 제시했습니다. 그중에서도 가장 유명한 것이 **“아킬레스와 거북이”**의 역설입니다.

그리스 신화에서 가장 발이 빠른 영웅 아킬레스와 느림의 대명사인 거북이가 달리기 경주를 합니다. 물론 아킬레스가 압도적으로 빠르기 때문에 거북이에게는 핸디캡으로 조금 앞서 출발할 수 있는 권리가 주어졌습니다.

이제 경주가 시작됩니다. 아킬레스는 맹렬한 속도로 거북이를 뒤쫓습니다. 하지만 제논은 다음과 같이 주장했습니다.

“아킬레스는 영원히 거북이를 따라잡을 수 없다”

도대체 왜 그럴까요? 제논의 논리는 이렇습니다.

아킬레스가 거북이의 “최초 출발 지점(A 지점)“에 도달했을 때, 거북이는 조금 더 앞으로 나아가 “B 지점"에 있습니다.
아킬레스가 “B 지점"에 도달했을 때, 거북이는 조금 더 앞으로 나아가 “C 지점"에 있습니다.
아킬레스가 “C 지점"에 도달했을 때, 거북이는 다시 조금 더 앞으로 나아가 “D 지점"에 있습니다.

이 과정은 무한히 계속됩니다. 아킬레스가 “거북이가 있던 곳"에 도달할 때마다 거북이는 반드시 “그보다 조금 더 앞"으로 이동해 있기 때문입니다. 거리는 점점 좁혀지지만, 이 단계를 무한 번 반복해야 하므로 아킬레스는 영원히 거북이를 추월할 수 없다는 것입니다.

현실 세계에서는 발이 빠른 사람이 느린 사람을 추월하는 것이 당연합니다. 하지만 이 말에 의한 논리적 트릭의 어디에 허점이 있는지 설명하는 것은 당시 사람들에게 매우 어려운 일이었습니다.

2. 어디가 잘못된 것일까? “시간"과 “무한"의 착각

제논의 논리가 교묘한 점은 **“무한한 횟수의 단계(공간의 분할)”**를 **“무한한 시간”**으로 교묘하게 바꾸어 놓았다는 것에 있습니다.

확실히 아킬레스가 거북이가 있던 곳에 도달하기까지의 “단계 수"는 무한히 존재합니다. 하지만 “단계 수가 무한히 있다"고 해서 “그에 소요되는 시간의 합이 무한대(영원)가 되는 것"은 결코 아닙니다.

후세의 수학자들은 이 역설을 풀기 위해 “무한급수의 합"이라는 강력한 무기를 만들어 냈습니다.

3. 수학에 의한 규명: 무한급수의 합과 “극한”

이 문제를 구체적인 숫자를 대입하여 수학적으로 계산해 봅시다.

아킬레스가 달리는 속도를 초속 $10\text{m}$ 라고 합니다.
거북이가 걷는 속도를 초속 $1\text{m}$ 라고 합니다. (아킬레스의 $\frac{1}{10}$ 속도)
거북이의 핸디캡으로, 거북이는 아킬레스의 $10\text{m}$ 앞에서 출발한다고 합니다.

단계별 시간 계산하기

1단계: 아킬레스가 거북이의 초기 위치($10\text{m}$ 앞)에 도달하는 데 걸리는 시간은 $\frac{10\text{m}}{10\text{m/s}} =$ $1\text{초}$ 입니다. 이 1초 동안 거북이는 $1\text{m}$ 전진했습니다. (현재 아킬레스와 거북이의 차이는 $1\text{m}$)

2단계: 아킬레스가 거북이의 다음 위치($1\text{m}$ 앞)에 도달하는 데 걸리는 시간은 $\frac{1\text{m}}{10\text{m/s}} =$ $0.1\text{초}$ 입니다. 이 0.1초 동안 거북이는 $0.1\text{m}$ 전진했습니다. (차이는 $0.1\text{m}$)

3단계: 아킬레스가 거북이의 다음 위치($0.1\text{m}$ 앞)에 도달하는 데 걸리는 시간은 $\frac{0.1\text{m}}{10\text{m/s}} =$ $0.01\text{초}$ 입니다. 이 0.01초 동안 거북이는 $0.01\text{m}$ 전진했습니다. (차이는 $0.01\text{m}$)

이처럼 아킬레스가 거북이의 직전 위치에 도달하기까지 걸리는 “시간"은 다음과 같은 무한한 수열이 됩니다.

$$ 1\text{초},\ 0.1\text{초},\ 0.01\text{초},\ 0.001\text{초},\ \dots $$

제논은 “이 단계가 무한히 계속되므로 아킬레스는 영원히 따라잡을 수 없다"고 말했습니다. 하지만 이 각 단계에 걸리는 시간을 모두 더하면(무한급수의 합을 구하면) 어떻게 될까요?

$$ \text{총 시간 } T = 1 + 0.1 + 0.01 + 0.001 + \dots $$

이것은 첫째항 $a = 1$, 공비 $r = 0.1$ 인 무한등비급수입니다. 공비 $r$ 의 절댓값이 1보다 작을 경우($|r| < 1$), 무한등비급수는 일정한 “유한한 값"에 수렴합니다. 그 합의 공식은 다음과 같습니다.

$$ S = \frac{a}{1 - r} $$

이 공식에 대입하여 계산하면,

$$ T = \frac{1}{1 - 0.1} = \frac{1}{0.9} = \frac{10}{9} = 1.1111\dots \text{초} $$

즉, 무한한 횟수의 단계가 존재하더라도, 그에 소요되는 시간의 합은 “무한대"가 되지 않고, 정확히 $\frac{10}{9}$ 초(약 1.11초)에 수렴하는 것입니다. 아킬레스는 출발 후 약 1.11초 뒤에 훌륭하게 거북이를 따라잡고 추월하게 됩니다.

pie title "아킬레스가 따라잡기까지의 시간 (총 약 1.11초)" "1단계 (1초)" : 90 "2단계 (0.1초)" : 9 "3단계 이후의 무한의 합 (0.011...초)" : 1

4. 왜 우리는 속았을까?

이 역설의 본질은, “무한 개의 무언가를 더하면 정답도 무한대가 될 것이다"라는 인간의 소박한 직관의 오류를 찌르고 있다는 점에 있습니다.

$$ 1 + 1 + 1 + 1 + \dots = \infty $$

이렇게 같은 수를 무한히 더하면 당연히 무한대가 됩니다.

$$ \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \dots = \infty $$

유명한 “조화급수"도 더해가는 수가 점점 작아지지만, 결국에는 무한대로 발산합니다.

하지만 더해가는 수가 충분히 빠르게 작아질 경우(예를 들어 등비급수처럼), 무한 개의 수를 더하더라도 어떤 “유한한 틀” 안에 쏙 들어가 버립니다.

$$ \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \dots = 1 $$

케이크를 반을 먹고, 남은 반을 먹고, 또 남은 반을 먹고… 를 무한히 반복해도, 결국은 “원래 케이크 1개 분량” 이상이 되지 않는 것과 같습니다. 제논은 의도적으로 시간을 잘게 나누고, 그 분할된 시간의 틀(1초, 0.1초, 0.01초…) 안에서만 사물을 이야기함으로써 “영원히 따라잡을 수 없다"는 착각을 만들어 냈습니다.

5. 상대속도로 생각하면 순식간에 풀린다

참고로, 제논의 함정(공간과 시간의 무한 분할)에 빠지지 않고 중학교 수학으로 이 문제를 푸는 것도 간단합니다. “상대속도"를 사용하면 됩니다.

아킬레스의 속도: $10\text{m/s}$
거북이의 속도: $1\text{m/s}$
아킬레스가 본 거북이의 상대적인 속도(아킬레스가 거북이에게 다가가는 속도): $10 - 1 = 9\text{m/s}$

거북이에 대한 아킬레스의 초기 뒤처짐은 $10\text{m}$ 입니다. $9\text{m/s}$ 의 속도로 $10\text{m}$ 의 거리를 좁히는 데 걸리는 시간은,

$$ \text{시간} = \frac{\text{거리}}{\text{속력}} = \frac{10}{9}\text{초} $$

앞서 미적분(무한급수의 극한)을 사용하여 구한 답과 완전히 일치했습니다.

6. 요약: 역설이 수학을 발전시켰다

제논의 “아킬레스와 거북이"는 현대의 우리가 보면 단순한 말장난이나 궤변처럼 보일지도 모릅니다. 하지만 당시 “무한"이나 “극한"과 같은 개념이 없었던 고대 그리스의 철학자들에게, 논리만으로 이를 논파하는 것은 매우 어려운 일이었습니다.

이 역설이 던진 “연속이란 무엇인가”, “무한히 분할할 수 있다는 것은 어떤 의미인가"라는 깊은 질문은, 훗날 뉴턴이나 라이프니츠에 의한 **“미적분학”**의 탄생, 나아가 현대 수학 기초론으로 이어지는 중요한 원동력이 되었습니다.

위대한 역설은 단지 사람을 현혹할 뿐만 아니라, 새로운 수학의 문을 여는 열쇠이기도 합니다.

두 개의 봉투 역설: 무한한 기댓값이 일으키는 논리의 붕괴와 의사결정의 함정

Thu, 10 Sep 2026 00:00:00 +0900

1. 궁극의 선택: 교환해야 할까, 말아야 할까?

당신은 게임 쇼의 최종 무대에 서 있습니다. 눈앞의 테이블에는 겉보기에 완전히 똑같은 두 개의 봉투(A와 B) 가 놓여 있습니다. 진행자는 이렇게 말했습니다.

“한쪽 봉투에는 다른 쪽 봉투의 2배의 돈이 들어 있습니다. 둘 중 하나를 선택해 주세요.”

당신은 고민 끝에 봉투 A를 선택했습니다. 내용물을 확인하려는 바로 그 순간, 진행자가 악마의 속삭임을 건넵니다.

“지금이라면 그 봉투 A를 남아있는 봉투 B와 교환해도 좋습니다. 교환하시겠습니까?”

자, 당신은 봉투를 교환해야 할까요?

2. 기댓값 계산이 이끌어내는 ‘무한 루프’

여기서 조금 수학적인 사고를 발휘해 봅시다. 당신이 가지고 있는 봉투 A에 들어있는 금액을 $X$ 엔이라고 가정합니다. 봉투 B에 들어있는 금액은 규칙상 ‘$X$ 엔의 절반($\frac{X}{2}$)‘이거나 ‘$X$ 엔의 2배($2X$)’ 둘 중 하나입니다. 각각의 확률은 $\frac{1}{2}$(50%)씩입니다.

그럼, 봉투를 교환했을 경우의 기댓값(예상되는 평균적인 금액) 을 계산해 봅시다.

$$ E = \frac{1}{2} \times \left(\frac{X}{2}\right) + \frac{1}{2} \times (2X) $$ $$ E = \frac{X}{4} + X = \frac{5}{4}X = 1.25X $$

놀라운 결과가 나왔습니다. 봉투를 교환하는 것만으로 기댓값이 원래의 $X$ 엔에서 $1.25$ 배(25% 상승)로 껑충 뛰는 것입니다. “수학적으로 생각하면 무조건 교환하는 것이 이득이다!“라는 결론에 이르게 됩니다.

하지만 여기서 논리의 붕괴가 일어납니다. 만약 당신이 봉투 B로 교환했다고 합시다. 그 직후, 진행자가 다시 “역시 A로 다시 바꾸시겠습니까?“라고 묻는다면 어떻게 될까요? 완전히 똑같은 계산식이 성립되어 이번에는 “B에서 A로 교환하면 기댓값이 1.25배가 된다"는 결론이 나옵니다.

즉, ‘A에서 B로’, ‘B에서 A로’ 계속 교환하는 것만으로 이론상의 기댓값이 무한히 계속 늘어나게 되는 것입니다. 이는 명백히 현실과 모순됩니다(봉투의 내용물은 처음부터 확정되어 있으며, 교환한다고 해서 늘어나는 것이 아닙니다).

graph TD Start["당신이 봉투 A를 선택함 (내용물은 X엔)"] --> Think["교환하는 것이 이득일지 계산함"] Think --> Case1["봉투 B가 절반액 (X/2엔) : 확률 50%"] Think --> Case2["봉투 B가 2배액 (2X엔) : 확률 50%"] Case1 --> Calc["기댓값 = (X/4) + X = 1.25X"] Case2 --> Calc Calc --> SwitchToB["봉투 B로 교환함! (내용물은 Y엔)"] SwitchToB --> ThinkAgain["다시 계산함"] ThinkAgain --> Case3["봉투 A가 절반액 (Y/2엔) : 확률 50%"] ThinkAgain --> Case4["봉투 A가 2배액 (2Y엔) : 확률 50%"] Case3 --> Calc2["기댓값 = 1.25Y"] Case4 --> Calc2 Calc2 --> SwitchToA["다시 봉투 A로 교환함!"] SwitchToA --> Start style Calc fill:#ff9999,stroke:#333,stroke-width:2px style Calc2 fill:#ff9999,stroke:#333,stroke-width:2px style SwitchToA fill:#ff4444,color:#fff,stroke:#333,stroke-width:4px

왜 언뜻 보기에 완벽해 보이는 기댓값 계산이 이런 이상한 역설을 만들어낸 것일까요?

3. 수학적 트릭의 규명: 변수의 바꿔치기

이 역설의 함정은 **‘확률변수 $X$ 의 사용법’**에 있습니다.

앞서 본 계산식에서는 봉투 A의 금액 $X$ 를 고정된 상수처럼 취급하고, 봉투 B가 ‘$\frac{X}{2}$ 또는 $2X$‘일 것이라고 가정했습니다. 하지만 본래 고정되어 있는 것은 ‘두 봉투에 들어있는 금액의 합계’ 또는 **‘적은 쪽의 금액’**입니다.

적은 쪽 봉투에 들어있는 금액을 $S$ 라고 해봅시다. 그러면 많은 쪽 봉투에는 $2S$ 의 금액이 들어있습니다. 게임의 전체 시나리오는 다음의 2가지 패턴밖에 없습니다(확률은 각각 $\frac{1}{2}$).

패턴 1: 당신이 선택한 봉투 A가 적은 쪽($S$)이고, 봉투 B가 많은 쪽($2S$)
패턴 2: 당신이 선택한 봉투 A가 많은 쪽($2S$)이고, 봉투 B가 적은 쪽($S$)

여기서 봉투를 **‘교환하지 않을 경우’**와 **‘교환할 경우’**의 기댓값을 올바르게 계산해 보겠습니다.

교환하지 않을 경우의 기댓값 $E_{stay}$:

$$ E_{stay} = \frac{1}{2} \times S + \frac{1}{2} \times 2S = \frac{3}{2}S = 1.5S $$

교환할 경우의 기댓값 $E_{switch}$: 패턴 1일 때는 $2S$ 를 얻고, 패턴 2일 때는 $S$ 를 얻습니다.

$$ E_{switch} = \frac{1}{2} \times 2S + \frac{1}{2} \times S = \frac{3}{2}S = 1.5S $$ $$ E_{stay} = E_{switch} $$

놀랍게도 기댓값은 일치했습니다! 처음의 잘못된 계산에서는 패턴 1일 때의 $X$ (사실은 $S$)와 패턴 2일 때의 $X$ (사실은 $2S$)라는 서로 다른 값을 같은 변수 $X$ 로 취급해 버렸기 때문에 ‘교환하면 기댓값이 올라간다’는 환영이 생겨난 것입니다.

pie title "기댓값의 진실 (적은 쪽의 금액을 S라고 했을 경우)" "교환하지 않는 기댓값 (1.5S)" : 50 "교환하는 기댓값 (1.5S)" : 50

4. 봉투를 열어버린다면 어떻게 될까?

이로써 역설은 해결된 것처럼 보입니다. 하지만 더 깊은 문제가 기다리고 있습니다.

만약 당신이 봉투를 교환하기 전에 자신의 봉투 A의 내용물을 봐 버렸다고 한다면 어떨까요? 당신이 봉투 A를 열었더니 그 안에는 **‘1만 엔’**이 들어 있었습니다.

이 순간, $X = 10000$ 이라는 확정된 값이 됩니다. 봉투 B에는 ‘5,000엔’이나 ‘20,000엔’ 둘 중 하나가 들어있습니다. 여기서 처음의 계산식을 대입하면 어떻게 될까요?

$$ E_{switch} = \frac{1}{2} \times 5000 + \frac{1}{2} \times 20000 = 2500 + 10000 = 12500 $$

기댓값은 12,500엔. 현재의 10,000엔보다 확실히 높습니다. 게다가 이번에는 $X$ 가 10,000엔이라는 ‘구체적인 상수’가 되었기 때문에 앞서 말한 ‘변수의 바꿔치기’라는 반론이 통하지 않습니다. 그렇다면 무조건 교환하는 것이 이득인 것일까요?

베이즈 추정에 의한 반증: ‘사전 분포’의 누락

수학자들은 이에 대해 **‘금액의 사전 분포(사전 확률)’**라는 개념을 꺼내 들었습니다. 5,000엔과 20,000엔이 정말로 각각 $\frac{1}{2}$ 의 확률로 들어있다고 말할 수 있을까? 라는 의문입니다.

예를 들어, 프로그램의 예산이 최대 1억 엔이라고 가정해 봅시다. 만약 당신이 봉투 A를 열어서 ‘6,000만 엔’이 들어있었다면, 봉투 B에 ‘1억 2,000만 엔’이 들어있을 확률은 0입니다(예산 초과이기 때문입니다). 즉, 봉투 A의 금액이 커지면 커질수록 봉투 B가 ‘2배’일 확률은 낮아지고 ‘절반’일 확률이 올라가야 하는 것입니다.

임의의 사전 분포 $P(x)$ 를 가정한 경우, 베이즈 정리를 이용해 기댓값을 계산하면 그 어떤 현실적인(총합이 1이 되는) 확률 분포라 할지라도 모든 금액 $X$ 에 대해 ‘교환하는 것이 이득’이 되는 마법과 같은 분포는 존재하지 않는다는 것이 수학적으로 증명되어 있습니다.

5. 무한의 함정: 상트페테르부르크의 역설과의 연결고리

유일하게 ‘모든 $X$ 에 대해 교환하는 것이 이득’이 되는 경우가 존재합니다. 그것은 프로그램의 예산이 무한대이며 모든 금액(1엔, 2엔, 4엔, 8엔……무한)이 균등하게 출현하는 ‘비정칙 확률 분포(총합이 무한대가 되는 분포)‘를 가정했을 경우뿐입니다.

하지만 현실 세계에 무한한 자산을 가진 방송국은 존재하지 않습니다. 이 ‘무한대의 기댓값’이 일으키는 버그는 상트페테르부르크의 역설(무한한 기댓값을 가진 도박에 사람은 얼마까지 지불할 수 있는가 하는 문제)과 깊은 뿌리를 같이 하고 있습니다.

6. 요약: 확률과 기댓값의 무서움

‘두 개의 봉투 역설’은 단순한 곱셈과 덧셈만으로 구성되어 있음에도 불구하고, 우리에게 다음과 같은 교훈을 줍니다.

정의의 모호함이 낳는 오류: 변수가 무엇을 가리키는지($X$ 가 항상 같은 금액을 가리키는지) 명확히 하지 않으면 논리는 쉽게 붕괴됩니다.
‘정보가 없다 = 확률 50%‘라는 착각: ‘모르니까 반반이겠지’라는 전제(이유 불충분의 원칙)는 때로 치명적인 계산 실수를 일으킵니다.
무한을 다루는 것의 어려움: 현실 세계에 적용할 수 없는 ‘무한’의 개념을 계산식에 도입하면 상식에 반하는 결과가 생겨납니다.

다음에 인생에서 ‘남의 떡이 더 커 보이고 교환하는 것이 이득이다’라고 생각될 때는 이 역설을 떠올려 보세요. 당신의 계산식 속에서 변수가 슬그머니 바뀌어 있을지도 모릅니다.

사라진 1달러의 수수께끼: 직관을 속이는 계산의 역설에서 배우는 논리적 사고와 회계의 기본

Thu, 10 Sep 2026 00:00:00 +0900

1. 서론: 왜 우리는 간단한 덧셈에 속는가?

세상에는 고도의 미분적분이나 난해한 위상수학을 사용하지 않아도, 초등학교 저학년 수준의 ‘덧셈’과 ‘뺄셈’만으로 인간의 뇌를 완전히 고장 내버리는 신기한 문제가 존재합니다. 그중에서도 세계에서 가장 유명하고, 수많은 사람들을 괴롭혀 온 것이 바로 **‘사라진 1달러의 수수께끼(The Missing Dollar Riddle)’**입니다.

언뜻 보기에는 아무런 변함없는 일상의 풍경, 레스토랑에서의 계산 문제 이야기로 생각될 수 있습니다. 하지만 조금만 계산을 따라가 보면, 세상에서 ‘1달러’가 홀연히 자취를 감추고 맙니다.

본 기사에서는 이 유명한 수학의 역설(정확히는 역설풍의 함정 문제)을 다루며, 왜 우리의 직관은 속고 마는지, 어디에 논리의 함정이 있는지를 수학, 인지심리학, 그리고 복식부기(회계학)의 세 가지 관점에서 철저하게 해부해 보겠습니다.

2. 문제 제기: 사라진 1달러의 수수께끼

먼저 다음의 스토리를 읽어보세요. 그리고 수중에 종이와 펜이 있다면 함께 계산을 따라가 보시기 바랍니다.

[!QUESTION] 사라진 1달러의 수수께끼 (스토리) 어느 날, 3명의 여행자가 작은 호텔에 왔습니다. 접수처의 프런트 직원은 “3인실은 하룻밤에 총 30달러입니다"라고 알렸습니다. 3명의 여행자는 지갑에서 각각 10달러씩 꺼내, 총 30달러를 프런트 직원에게 지불하고 방으로 향했습니다.

잠시 후, 호텔 지배인이 와서 프런트 직원에게 말했습니다. “오늘은 캠페인 날이니까 그 방은 25달러면 돼. 당장 5달러를 돌려주고 오게.”

프런트 직원은 5달러 지폐를 들고 객실로 향했습니다. 하지만 그는 도중에 문득 생각했습니다. “5달러를 3명에게 균등하게 나누는 건 어렵군. 내가 몰래 2달러를 챙기고, 남은 3달러만 돌려주면 1인당 1달러씩 계산이 딱 맞겠어.”

그래서 프런트 직원은 자기 주머니에 2달러를 숨기고, 여행자들에게는 “캠페인으로 3달러가 환불되었습니다"라고 거짓말을 하여 1인당 1달러씩 반환했습니다.

자, 여기서부터가 문제입니다.

여행자들은 처음에 10달러씩 지불했고 나중에 1달러씩 돌려받았으므로, 실제로 지불한 금액은 10달러 - 1달러 = 9달러입니다.

3명의 여행자가 지불한 총 금액은 9달러 × 3명 = 27달러가 됩니다.

한편, 프런트 직원의 주머니에는 몰래 챙긴 2달러가 들어 있습니다.

여행자가 지불한 27달러와 프런트 직원이 가진 2달러를 더하면 27 + 2 = 29달러가 됩니다.

처음에 여행자들은 분명히 “30달러"를 지불했습니다. 하지만 지금 계산으로는 “29달러"밖에 없습니다.

나머지 1달러는 도대체 어디로 사라져 버린 것일까요?

어떠신가요. 읽으면 읽을수록 “확실히 1달러가 부족하다!“라며 뇌가 혼란스러워지지 않나요? 계산식 자체는 9 × 3 = 27, 27 + 2 = 29로 초등학생도 알 수 있는 간단한 것들뿐입니다. 그런데도 왠지 모르게 처음의 30달러와 앞뒤가 맞지 않게 되어 버립니다.

다음 장부터 이 기묘한 현상의 속임수를 파헤쳐 보겠습니다.

3. 직관과 정답의 괴리: 왜 뇌는 버그를 일으키는가?

이 문제를 들었을 때, 많은 사람이 빠지는 사고 회로는 다음과 같습니다.

graph TD A["초기 상태: 손님이 30달러 지불"] --> B["환불 처리: 지배인이 5달러 반환"] B --> C["부정행위: 웨이터가 2달러를 훔침"] C --> D["손님의 최종 부담: 9달러×3명 = 27달러"] D --> E["의문의 계산: 손님의 부담 27달러 + 웨이터의 2달러 = 29달러"] E --> F["의문: 처음의 30달러와 맞지 않는다! 1달러 소실!"] style E fill:#ff9999,stroke:#333,stroke-width:2px style F fill:#ff4444,color:#fff,stroke:#333,stroke-width:4px

이 역설의 정체는 ‘더해서는 안 되는 것을 더하고 있다’는 교묘한 **말장난(Framing Effect: 프레이밍 효과)**에 있습니다.

오류의 핵심: ‘27 + 2’라는 무의미한 계산

문제문 마지막에 있는 다음 부분을 다시 한번 잘 봐주세요.

여행자가 지불한 27달러와 프런트 직원이 가진 2달러를 더하면 27 + 2 = 29달러가 됩니다.

사실 이 ‘27 + 2’라는 계산 자체가 논리적으로 전혀 의미 없는 계산입니다. 왜냐하면 ‘여행자가 지불한 최종적인 금액(27달러)’ 안에는 이미 ‘프런트 직원이 챙긴 금액(2달러)‘이 포함되어 있기 때문입니다.

여행자가 지불한 27달러의 내역은 다음과 같습니다.

호텔 계산대에 들어간 금액: 25달러
프런트 직원이 챙긴 금액: 2달러
합계: 27달러

즉, 27달러에 프런트 직원의 2달러를 다시 더한다는 것은 프런트 직원의 2달러를 ‘이중으로 계산(Double Counting)‘하고 있는 것이 됩니다.

올바르게 처음의 ‘30달러’와 아귀를 맞추고 싶다면, ‘손님이 지불한 금액’과 ‘손님에게 돌아온 금액’을 더해야 합니다.

손님이 최종적으로 지불한 금액: 27달러 (계산대 25달러 + 프런트 직원 2달러)
손님의 수중에 돌아온 금액: 3달러
합계: 27 + 3 = 30달러

이렇게 계산하면 단 1달러도 사라지지 않았다는 것이 명백해집니다.

4. 수학적 해명: 방정식을 통한 엄밀한 증명

말을 통한 설명만으로는 미심쩍은 분들을 위해 엄밀한 수식을 사용하여 돈의 흐름(캐시플로우)을 증명해 보겠습니다.

전체 돈의 움직임을 변수로 정의합니다.

$ P_{initial} $ : 손님이 처음에 지불한 총액 (30)
$ C_{hotel} $ : 호텔(지배인)이 최종적으로 받은 금액 (25)
$ R_{total} $ : 지배인이 프런트 직원에게 건넨 환불액 (5)
$ R_{guest} $ : 손님이 최종적으로 받은 환불액 (3)
$ S_{waiter} $ : 프런트 직원이 챙긴 금액 (2)

초기의 돈 흐름으로부터 다음 방정식이 성립합니다.

$$ P_{initial} = C_{hotel} + R_{total} \quad \cdots (1) $$

(30달러 = 25달러 + 5달러)

지배인이 돌려준 5달러는 손님의 수중과 프런트 직원의 주머니로 나뉩니다.

$$ R_{total} = R_{guest} + S_{waiter} \quad \cdots (2) $$

(5달러 = 3달러 + 2달러)

식(2)를 식(1)에 대입합니다.

$$ P_{initial} = C_{hotel} + (R_{guest} + S_{waiter}) \quad \cdots (3) $$

(30달러 = 25달러 + 3달러 + 2달러)

여기서 문제문에 있는 ‘손님이 최종적으로 지불한 금액’을 $ P_{final} $로 정의합니다. 이것은 초기 지불액에서 손님 수중에 돌아온 금액을 뺀 것입니다.

$$ P_{final} = P_{initial} - R_{guest} \quad \cdots (4) $$

(27달러 = 30달러 - 3달러)

식(3)에서 $ R_{guest} $를 좌변으로 이항해 보겠습니다.

$$ P_{initial} - R_{guest} = C_{hotel} + S_{waiter} \quad \cdots (5) $$

식(4)와 식(5)에 의해 다음과 같은 진실이 도출됩니다.

$$ P_{final} = C_{hotel} + S_{waiter} \quad \cdots (6) $$

(손님의 최종 지불액 27달러 = 호텔의 매출 25달러 + 프런트 직원의 도둑질 2달러)

문제문의 속임수는 좌변에 있는 $ P_{final} $ (27달러)에 대하여 우변에 포함되어 있어야 할 $ S_{waiter} $ (2달러)를 다시 한번 더하려고 한 점에 있습니다. 즉, 문제문이 유도한 계산식은 다음과 같습니다.

$$ P_{final} + S_{waiter} = (C_{hotel} + S_{waiter}) + S_{waiter} $$ $$ 27 + 2 = (25 + 2) + 2 = 29 $$

이 ‘29’라는 숫자는 단순한 ‘호텔의 매출 + 프런트 직원의 도둑질 × 2’라는, 물리적으로도 경제적으로도 전혀 의미를 갖지 않는 가공의 수치입니다. 이것이 ‘1달러가 사라진’ 것처럼 보이는 착각의 수학적 정체입니다.

5. 회계학의 관점: 복식부기로 역설을 분쇄하다

수학적인 방정식을 사용해도 여전히 납득이 가지 않거나 (또는 직관적으로 개운치 않다면), 비즈니스 세계에서 500년 이상 사용되어 온 **‘복식부기(Double-Entry Bookkeeping)’**의 개념을 사용하면 이 수수께끼를 완벽하게 시각화할 수 있습니다.

복식부기의 기본 원칙은 ‘차변(Debit)‘과 ‘대변(Credit)‘이 항상 일치한다는 것입니다. 이를 사용하여 돈의 이동을 분개(Journal Entry)해 봅시다.

거래 1: 손님이 30달러를 지불하다

호텔 측에서 본 초기 상태입니다.

차변 (자산의 증가)	대변 (부채/순자산의 증가)
현금 (Cash): $30	예수금 (또는 매출): $30

거래 2: 지배인이 5달러를 프런트 직원에게 건네고, 25달러를 매출로 잡다

방값이 25달러로 변경되었기 때문에 5달러를 ‘환불용’으로 프런트 직원에게 쥐어줍니다.

차변	대변
예수금: $30	매출 (Sales): $25 프런트 직원 (현금): $5

거래 3: 프런트 직원의 행동 (3달러의 환불과 2달러의 횡령)

여기가 가장 중요합니다. 프런트 직원이 가지고 있는 5달러 현금의 행방을 기장합니다.

차변	대변
손님에 대한 환불: $3 횡령 손실 (Loss): $2	프런트 직원 (현금): $5

최종적인 대차대조표(B/S)와 손익(P/L)의 통합 상태

전체 과정을 거친 결과, 현금이 어디에 있으며 어떤 명목으로 되어 있는지를 정리합니다.

pie title 처음 30달러의 최종적인 소재 (자산 측) "호텔의 계산대 (매출 25달러)" : 25 "손님의 지갑 (환불 3달러)" : 3 "웨이터의 주머니 (횡령 2달러)" : 2

【최종 상태 확인】

자금의 출처 (손님의 지출): 30달러
자금의 소재 (결과):
- 호텔의 계산대에 25달러
- 웨이터의 주머니에 2달러
- 손님의 수중에 3달러
- 합계 = 25 + 2 + 3 = 30달러

회계의 ‘대차평균의 원리(T자 계정)‘로 보면, ‘손님이 지불한 금액 27달러(지출)‘는 ‘자산 측의 감소’이며, 여기에 ‘웨이터가 훔친 2달러(자산 측의 이동)‘를 더하는 행위는 회계 기준에서 ‘차변과 대변을 혼동하여 더하는’ 있을 수 없는 실수에 다름 아닙니다. 비즈니스 세계에서 만약 경리 담당자가 “27 + 2 = 29"라는 계산을 경영진에게 보고한다면, 즉각 해고되거나 분식회계를 의심받을 수준의 논리적 파탄입니다.

6. 인지심리학의 관점: 왜 우리는 ‘27+2=29’를 받아들이는가?

수학적으로도 회계적으로도 틀린 계산식을 왜 많은 인간은 “음음, 과연 그렇군” 하며 무의식적으로 받아들이게 되는 것일까요? 거기에는 인간의 뇌에 내장된 강력한 인지 편향이 관련되어 있습니다.

1. 심적 회계(마음의 가계부)의 버그

행동경제학자인 리처드 탈러(노벨 경제학상 수상)는 인간이 머릿속에서 무의식적으로 ‘돈의 카테고리화(심적 회계, Mental Accounting)‘를 하고 있다고 제창했습니다. 문제문 마지막에서는 ‘손님의 지출(27달러)‘과 ‘웨이터가 얻은 돈(2달러)‘이 동일한 ‘돈’이라는 카테고리로 제시됩니다. 뇌는 ‘금액의 숫자(27과 2)‘만을 떼어내어, 그것이 ‘지불한 돈(마이너스)‘인지 ‘가지고 있는 돈(플러스)‘인지 하는 벡터의 방향을 무시하고 안일하게 덧셈을 실행해 버립니다.

2. 프레이밍 효과 (정보의 틀)

정보가 어떻게 제시되는가에 따라 사람들의 의사 결정이나 판단이 바뀌는 효과입니다. 이 문제의 교묘한 점은 **‘처음의 30달러라는 숫자를 목표로 설정하고 있다는 것’**입니다. ‘27 + 2 = 29달러’라는 계산을 보여준 후, 뇌는 무의식적으로 ‘원래의 30달러가 되어야 한다’는 목표(앵커링)와 억지로 연결 지으려 합니다. 본래 비교해서는 안 될 숫자들을 비교하게 만들어 거기에 ‘1’이라는 오차가 생김으로써 강렬한 인지 부조화(불쾌감이나 혼란)를 일으키도록 디자인된 것입니다.

3. 스토리텔링의 마력

인간은 수식보다 ‘이야기(스토리)‘를 이해하는 능력에 뛰어납니다. 등장인물(손님, 지배인, 웨이터)의 움직임을 머릿속에서 시뮬레이션하는 동안 작업 기억(단기 기억)이 가득 차게 되어, 마지막 방정식의 논리적 타당성을 검증할 인지 자원이 고갈되어 버립니다. 마술사가 관객의 시선을 유도하여 트릭을 성공시키는 ‘미스디렉션’과 똑같은 수법이 이 문장제에 사용되고 있는 것입니다.

7. ‘사라진 1달러의 수수께끼’의 역사와 유사 문제

이런 종류의 역설은 예로부터 존재해 왔으며 시대와 국경을 넘어 다양한 변형으로 전해져 내려오고 있습니다.

역설의 기원

이 문제의 정확한 기원은 불분명하지만 1930년대 미국에서 널리 알려지게 되었습니다. 당시는 ‘벨보이의 역설(Bellboy paradox)‘이라고 불렸으며, 금액 설정도 다양했습니다. 대공황 시대 미국에서 단돈 ‘1달러’의 행방이 큰 관심사였던 대중 심리를 반영하고 있다고도 일컬어집니다.

유사 문제: 사라진 10엔의 수수께끼

일본에서는 “3명이 100엔씩 내서 300엔짜리 물건을 사고, 거스름돈이 50엔이라서…” 하는 식으로 금액을 엔으로 바꾼 버전이 유명합니다. 아이들을 위한 퀴즈 책이나 인터넷 게시판의 고전적인 복붙 글로도 주기적으로 화제가 됩니다.

더욱 고도화된 파생형: 사라진 정사각형의 수수께끼

이 ‘말을 통한 속임수’를 ‘도형(기하학)‘에 응용한 것이, 본 블로그의 다른 기사에서도 소개하고 있는 **‘사라진 정사각형의 수수께끼(Missing square puzzle)’**입니다. 면적이 같아야 할 도형 부품을 재배치하면 어째서인지 1칸 분량의 구멍(면적)이 사라져 버린다는 직관의 버그인데, 이것 역시 ‘인간의 눈은 미세한 직선의 왜곡(기울기의 차이)을 간파할 수 없다’는 인지의 한계를 이용한 것입니다.

8. 현실 세계에 주는 교훈: 역설에서 무엇을 배워야 하는가?

‘사라진 1달러의 수수께끼’는 단순한 술자리의 이야깃거리나 아이들 장난 같은 퀴즈로 끝내기에는 아까운 깊은 교훈을 가지고 있습니다.

‘주어진 틀(전제)‘을 의심하는 힘 우리가 일상적인 비즈니스나 투자에서 의사결정을 내릴 때, 누군가가 제시한 “이 숫자와 이 숫자를 더하면 이렇게 됩니다"라는 프레젠테이션 자료나 영업 멘트를 곧이곧대로 믿고 있지는 않나요? 계산 결과가 맞는다(‘27 + 2’는 확실히 29이다)고 하더라도 **‘애초에 그 식 세우는 것 자체에 논리적인 의미가 있는가?’**를 묻는 비판적 사고(크리티컬 씽킹)가 필수적입니다.
캐시플로우의 절대성 기업 회계에서의 분식회계나 복잡한 금융파생상품(파생상품)의 손실 은폐는 극도로 고도화된 ‘사라진 1달러의 수수께끼’라고 할 수 있습니다. 실체가 없는 숫자를 더하고 빼서 이익이 나고 있는 것처럼 꾸며도 ‘현금의 움직임(캐시플로우)‘을 근본부터 추적하면 반드시 모순이 드러납니다. 상황을 복잡하게 느낄 때일수록 기본인 ‘돈은 어디서 와서 어디로 갔는가’로 되돌아갈 필요가 있습니다.

9. 결론: 1달러는 처음부터 사라지지 않았다

마지막으로 이 역설에 대한 가장 간결하고 강력한 답변을 제시하며 마무리하고자 합니다.

“손님은 총 27달러를 지불했고 호텔 계산대에 25달러, 웨이터 주머니에 2달러가 들어갔다. 계산은 완벽하게 맞는다. 처음의 30달러로 억지로 되돌리려는 계산식 자체가 모든 혼란의 원흉이다.”

우리의 뇌는 아무리 진화해도 ‘그럴듯한 스토리’와 ‘간단한 덧셈’의 조합에 너무나도 쉽게 속아 넘어갑니다. 하지만 수학이나 논리학이라는 강력한 도구(방정식이나 복식부기)를 사용함으로써 그 착각을 끊어내고 진실을 꿰뚫어 볼 수 있습니다.

다음에 만약 친구가 의기양양한 표정으로 ‘사라진 1달러의 수수께끼’를 낸다면, 부디 이 깊은 지식을 바탕으로 “더해야 할 숫자와 빼야 할 숫자의 벡터가 틀렸어"라고 멋지게 대답해 보세요!

생일 역설: 23명만 있으면 50% 이상? 직관을 속이는 "조합"의 마법

Thu, 10 Sep 2026 00:00:00 +0900

1. 직관 테스트: 몇 명이 모여야 확률이 50%를 넘을까?

어떤 파티장에 사람들이 모여 있습니다. 여기서 “파티장 안에 생일(월과 일)이 완전히 같은 두 사람이 최소 한 쌍 존재할 확률이 50%를 넘기” 위해서는 최소 몇 명의 사람이 필요하다고 생각하십니까? (※ 윤년은 제외하고 1년은 365일로 하며, 각 생일은 동일한 확률이라고 가정합니다).

인간의 직관은 다음과 같이 계산하기 쉽습니다. “1년은 365일이나 된다. 365개의 틀 안에 사람들을 하나씩 넣다 보면 겹치게 마련이니, 적어도 180명 정도는 필요할 것이다. 적게 잡아도 50~60명은 있어야 확률이 절반이 되지 않을까?”

하지만 수학이 도출해낸 정답은 겨우 **“23명”**입니다. 학교의 한 학급(약 30명~40명)이라면 생일이 같은 쌍이 있을 확률은 약 70%~89%로 훌쩍 뜁니다. 50명이 있으면 그 확률은 97%에 달해, “생일이 같은 사람이 없는 쪽이 더 드문” 상태가 됩니다.

왜 우리의 직관은 이토록 현실의 확률과 크게 어긋나는 것일까요?

2. 직관이 틀리는 이유: “나와 누군가"와 “누군가와 누군가"의 차이

이 문제에서 직관이 틀리는 가장 큰 이유는 우리가 무의식중에 **“특정 한 사람(예를 들어 자신)과 생일이 같은 사람이 있을 확률”**을 생각하기 때문입니다.

당신이 파티장에 들어가 “나와 생일이 같은 사람이 있을까?“라고 찾을 경우, 23명 중에 당신과 생일이 같은 사람이 있을 확률은 겨우 **약 6.1%**밖에 되지 않습니다. (이 확률이 50%를 넘으려면 무려 253명이나 되는 사람이 필요합니다).

하지만 생일 역설이 묻고 있는 것은 “나와 누군가"의 짝이 아닙니다. “파티장에 있는 모든 사람들끼리의 모든 조합(A씨와 B씨, B씨와 C씨, C씨와 A씨…)” 중에서 한 쌍이라도 일치하면 되는 것입니다.

graph TD subgraph "직관의 착각: '나' 중심의 비교" You["자신"] --- P1["A씨"] You --- P2["B씨"] You --- P3["C씨"] You --- P4["D씨"] style You fill:#ff9999,stroke:#333,stroke-width:4px end subgraph "현실: '전원과 전원'의 모든 조합 비교" A["A씨"] --- B["B씨"] A --- C["C씨"] A --- D["D씨"] B --- C B --- D C --- D end

단 4명인 그룹에서도 “자신"을 중심으로 한 비교는 3가지지만, 모두끼리의 비교라면 6가지(${}_4 C_2 = 6$)가 존재합니다. 인원이 23명으로 늘어나면 짝의 조합은 무려 253가지(${}_{23} C_2$)로 폭발적으로 증가합니다. 253쌍이나 되는 짝이 있다면, 그 중 한 쌍 정도는 “365분의 1"의 확률을 뽑아도 이상하지 않을 것 같다는 생각이 들지 않으십니까?

3. 수학에 의한 증명: 여사건을 사용한 명쾌한 해법

“적어도 한 쌍이 생일이 같을 확률"을 정면으로 계산하는 것은 매우 어렵습니다(한 쌍만 같은 경우, 두 쌍이 같은 경우, 세 명이 생일이 같아지는 경우… 등 패턴이 너무 많기 때문입니다). 그래서 확률론의 기본 테크닉인 **“여사건(余事象)”**을 사용합니다.

여사건이란 “일어나지 않을 확률"을 말합니다. 즉, **“모두의 생일이 제각각일(한 쌍도 겹치지 않을) 확률”**을 계산하여, 그것을 100%(1)에서 빼면 구하고자 하는 확률이 나옵니다.

$$ P(\text{적어도 2명이 같음}) = 1 - P(\text{모두가 다른 생일}) $$

그럼 순서대로 파티장에 들어오는 사람을 상상하며 계산해 봅시다.

첫 번째 사람: 누구와도 겹칠 걱정이 없습니다. 확률은 $\frac{365}{365}$입니다.
두 번째 사람: 첫 번째 사람과 다른 생일이어야 합니다. 남은 364일이라면 안전합니다. 확률은 $\frac{364}{365}$입니다.
세 번째 사람: 앞의 두 사람과 다른 생일이어야 합니다. 남은 363일이라면 안전합니다. 확률은 $\frac{363}{365}$입니다.

이것을 $n$번째 사람까지 곱하면, 모두의 생일이 제각각일 확률 $P(n)'$의 일반항을 얻을 수 있습니다.

$$ P(n)' = \frac{365}{365} \times \frac{364}{365} \times \frac{363}{365} \times \dots \times \frac{365 - (n - 1)}{365} $$ $$ P(n)' = \prod_{k=1}^{n-1} \left(1 - \frac{k}{365}\right) $$

따라서, 구하고자 하는 “적어도 2명이 생일이 같을 확률 $P(n)$“은 다음과 같아집니다.

$$ P(n) = 1 - \prod_{k=1}^{n-1} \left(1 - \frac{k}{365}\right) $$

이 식에 인원수 $n$을 대입해 보면, 놀라운 속도로 확률이 상승하는 것을 알 수 있습니다.

$n = 10$일 때, 확률은 약 11.7%
$n = 23$일 때, 확률은 약 50.7% (여기서 50%를 넘습니다!)
$n = 40$일 때, 확률은 약 89.1%
$n = 70$일 때, 확률은 약 99.9%

pie title "23명이 모였을 때의 확률" "생일이 같은 짝이 있다 (50.7%)" : 50.7 "모두 다르다 (49.3%)" : 49.3

4. 테일러 전개에 의한 근사 계산

곱셈을 23번이나 직접 계산하는 것은 힘드니, 수학적인 근사식을 사용하여 조금 더 직관적으로 이해해 봅시다.

지수 함수 $e^{-x}$의 테일러 전개를 생각해 봅니다. $x$가 충분히 작을 때, 다음과 같은 근사가 성립합니다.

$$ e^{-x} \approx 1 - x $$

앞서 구한 각 항 $\left(1 - \frac{k}{365}\right)$에 이를 적용하면,

$$ 1 - \frac{k}{365} \approx e^{-\frac{k}{365}} $$

이것을 모두 곱하면 (지수 법칙에 의해 덧셈이 되므로),

$$ P(n)' \approx e^{-\frac{1}{365}} \times e^{-\frac{2}{365}} \times \dots \times e^{-\frac{n-1}{365}} $$ $$ P(n)' \approx \exp\left(-\sum_{k=1}^{n-1} \frac{k}{365}\right) $$

1부터 $n-1$까지의 합은 $\frac{n(n-1)}{2}$ (즉, 조합의 수 ${}_n C_2$)이므로,

$$ P(n)' \approx \exp\left(-\frac{n(n-1)}{2 \times 365}\right) $$

이 식에서 확률이 50% ($0.5$)가 될 때의 $n$을 구합니다.

$$ 0.5 = e^{-\frac{n(n-1)}{730}} $$

양변의 자연로그를 취합니다 ($\ln 0.5 \approx -0.693$).

$$ -0.693 = -\frac{n(n-1)}{730} $$ $$ n(n-1) = 0.693 \times 730 \approx 505.89 $$

$n^2 \approx 506$으로 근사하면, $n = \sqrt{506} \approx 22.49$ 멋지게 **$n \approx 23$**이라는 답이 도출되었습니다!

5. 일상생활로의 응용과 “해시 충돌”

이 역설은 단순한 파티의 이야깃거리가 아닙니다. 현대의 IT 사회를 지탱하는 암호 이론과 정보 보안에서 매우 중요한 역할을 하고 있습니다.

컴퓨터 시스템에서는 비밀번호나 파일의 동일성을 빠르게 확인하기 위해 “해시 함수"라는 구조를 사용합니다. 해시 함수는 어떤 데이터를 넣어도 일정한 길이의 무작위 문자열(해시값)을 반환합니다. 하지만 이 해시값이 우연히 같아지는 현상을 **“해시 충돌(Hash Collision)”**이라고 부릅니다.

해시 충돌은 바로 생일 역설과 같은 원리로 발생합니다. “해시값의 종류가 천문학적인 수이기 때문에 충돌 따위는 좀처럼 일어나지 않을 것이다"라는 인간의 직관에 반하여, 공격자가 대량의 데이터를 무작위로 생성해 “어떤 것과 어떤 것이 일치하는(생일이 겹치는) 짝"을 찾아내는 것은 상상 이상으로 간단합니다.

이것을 **“생일 공격(Birthday Attack)”**이라고 부릅니다. 보안 시스템을 설계하는 엔지니어는 이 “직관보다 훨씬 빠르게 충돌이 일어난다"는 수학적 사실을 전제로 하여, 해시값의 길이를 매우 길게 설정함으로써 안전성을 담보하고 있습니다.

6. 요약: 인간 직관의 한계

생일 역설은 “지수 함수적인 증가"나 “조합의 폭발"에 대해 인간의 직관이 얼마나 취약한지를 보여주는 완벽한 예입니다.

우리는 직선적인 (덧셈적인) 증가에는 강하지만, 짝의 수가 $n^2$의 속도로 폭발적으로 늘어나는 현상을 뇌 속에서 시뮬레이션할 수 없습니다. “365라는 큰 숫자에 비해 23이라는 숫자는 너무 작다"는 직관의 이면에는, 23명이 만들어내는 **“253가닥의 보이지 않는 실(짝)”**이 사방으로 뻗어 있는 것입니다.

다음에 사람들이 모이는 장소에 갔을 때는, 눈에 보이는 “인원수"뿐만 아니라 그 사이에 무수히 존재하는 “조합의 실"을 상상해 보세요. 세상이 보이는 방식이 조금은 수학적으로 바뀔 것입니다.