프레게의 필생 체계를 무너뜨린, 1902년 러셀의 편지 한 통
스스로 면도하지 않는 사람만 면도해 주는 이발사. 그럼 이발사의 수염은 누가 깎을까?
역설은 틀린 답이 아니라 질문의 규칙을 고치라는 신호다
Experiment
직접 만져보기
📜 마을의 규칙
이 마을의 이발사는 스스로 면도하지 않는 사람 전부를, 그리고 그런 사람만 면도해 줍니다.
그럼 이발사 자신의 수염은? 하나를 골라 눌러 보세요.
📖 더 읽기 — 왜 필요한가 · 인사이트 · 흔한 오해 · 수식 정리펼치기 ▾
Why
왜 필요한가
1900년 무렵 수학자들은 수학 전체를 집합 위에 다시 세우고 있었습니다. '조건을 말하면 집합이 된다'는 규칙은 너무나 당연해 보였어요.
러셀은 집합 하나로 그 당연함을 무너뜨렸습니다. '자신을 포함하지 않는 집합들의 집합'은 자신을 포함해도 모순, 안 해도 모순이었죠.
그런데 수학은 무너지지 않았습니다. 집합을 만드는 규칙을 고쳐 더 단단하게 다시 태어났어요. 역설은 수학이 스스로를 점검하는 방식입니다.
Insight
영상에서 말한 인사이트
“이발사는 집합 R의 변장이다.”
이발사 이야기와 러셀의 집합 R은 똑같은 구조입니다. '자신을 가리키는 규칙'에 '부정'이 붙으면, 어느 쪽을 골라도 반대쪽으로 튕겨 나가요. 겉모습만 다른 같은 역설입니다.
“위기가 기초를 단단하게 만든다.”
역설이 터지자 수학자들은 집합을 만드는 규칙 자체를 다시 썼습니다. 무제한의 '모으기'를 금지하고 '골라내기'만 허용한 것이죠. 위기 덕분에 수학의 기초는 오히려 더 튼튼해졌어요.
Misconception
사람들이 흔히 하는 오해
역설은 재치 있는 말장난일 뿐, 진짜 수학과는 상관없다.
이 역설은 실제로 수학의 기초 공사를 다시 하게 만들었습니다. 오늘날 수학이 서 있는 공리적 집합론이 그 재건의 결과예요.
모순이 나왔으니 수학 어딘가가 틀렸다는 뜻이다.
틀린 것은 수학이 아니라 '조건만 있으면 무엇이든 집합이 된다'는 규칙이었습니다. 그 규칙 하나를 고치자 모순이 사라졌어요.
Formula
수식으로 정리하기
이발사 이야기를 집합의 언어로 번역하면 역설이 한 줄로 압축됩니다. 실험에서 겪은 두 번의 모순이 그대로 기호가 되는 과정을 보세요.
문제의 집합
'자신을 포함하지 않는 집합'을 전부 모은 집합 R. 이발사 이야기의 '스스로 면도하지 않는 사람들'이 이것이에요.
역설 한 줄
R이 자신을 포함하면 조건 위반이라 빠져야 하고, 빠지면 조건 만족이라 들어가야 합니다. 실험에서 누른 두 버튼이 이 한 줄입니다.
재건 — 골라내기만 허용
고친 규칙입니다. 이미 있는 집합 A 안에서 조건 P로 골라내는 것만 허용해요. 이 규칙 아래에서는 R을 만들 수 없어 역설이 생기지 않습니다.
In Real Life
현실에서 만나는 곳
프로그래밍의 타입 시스템
러셀은 역설을 막으려고 '유형(type)'이라는 계층을 발명했습니다. 오늘날 프로그래밍 언어가 자료의 종류를 검사하는 타입 시스템의 먼 조상이에요.
괴델과 컴퓨터의 한계
'자신을 가리키는 문장'이라는 같은 구조가 괴델의 불완전성 정리와 튜링의 멈춤 문제로 이어졌습니다. 컴퓨터가 원리상 풀 수 없는 문제가 있다는 발견이에요.
규칙을 만드는 모든 곳
'모든 규칙에 적용되는 규칙'은 자기 자신에도 적용될까요? 법과 약관을 설계할 때도 자기 지시가 만드는 구멍을 점검해야 합니다.
일상의 자기 지시
'예외 없는 규칙은 없다'는 말은 자기 자신에도 예외가 있다는 뜻일까요? 자기 지시 문장을 알아채는 눈은 논리적 사고의 기본기입니다.
Practice
풀어보기 — 유형 정복
✏️ 유형별 문제 4개 — 스스로 풀어 정복하기탭해서 문제 풀기 ▾
이발사 역설에서 모순이 생기는 진짜 원인은 무엇일까요?
R은 '자신을 포함하지 않는 집합들의 집합'입니다. R ∈ R이라고 하면 어떻게 될까요?
다음 중 자신을 원소로 포함하는 집합은 무엇일까요?
수학자들은 러셀의 역설을 어떻게 해결했을까요?
Watch
관련 유튜브 영상
Connection
개념은 이어진다
이전 개념
다음 개념으로 연결
Related
함께 보면 좋은 실험실
관련 실험실