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