게오르크
칸토어
무한을 정복한 수학자
Georg Cantor · 1845 — 1918
수학의 본질은 그 자유에 있다.
— 게오르크 칸토어무한의 본질을 밝히다
게오르크 페르디난트 루트비히 필리프 칸토어(Georg Ferdinand Ludwig Philipp Cantor)는 집합론의 창시자이자 무한의 수학적 이론을 처음으로 엄밀하게 정립한 독일의 수학자입니다. 그의 연구는 수학의 기초를 근본적으로 재정립했으며, 현대 수학의 거의 모든 분야가 그가 세운 집합론의 토대 위에 서 있습니다. 칸토어 이전에 무한은 철학자들의 사변적 논의 대상이었지만, 그의 손에서 무한은 정밀한 수학적 개념으로 변모했습니다.
상트페테르부르크에서 할레까지
칸토어는 1867년 베를린 대학교에서 정수론으로 박사학위를 받은 후, 1869년 할레 대학교에 부임하여 평생 그곳에서 연구했습니다. 그는 더 명성 있는 대학으로의 이직을 여러 차례 시도했지만, 크로네커의 방해와 학계의 보수적 분위기로 인해 뜻을 이루지 못했습니다. 이러한 좌절과 동료 수학자들의 적대적 반응은 칸토어에게 깊은 상처를 남겼습니다.
무한에도 크기가 있다
칸토어의 가장 혁명적인 발견은 무한에도 서로 다른 '크기'가 존재한다는 것입니다. 1874년 그는 자연수의 집합과 실수의 집합이 같은 크기의 무한이 아님을 증명했습니다. 자연수, 정수, 유리수는 모두 같은 크기의 무한(가산 무한, 알레프 영 ℵ₀)이지만, 실수는 이보다 더 큰 무한(비가산 무한)입니다. 이는 직관에 반하는 놀라운 결과였습니다.
연속체 가설
칸토어가 제기한 연속체 가설은 "자연수의 집합과 실수의 집합 사이에 크기가 다른 무한 집합이 존재하지 않는다"는 명제입니다. 즉, 실수의 기수가 ℵ₁이라는 주장입니다. 이 문제는 1900년 힐베르트가 제시한 23개의 미해결 문제 중 첫 번째 문제였으며, 1963년 폴 코헨에 의해 표준 집합론(ZFC)에서 증명도 반증도 불가능한 독립 명제임이 밝혀졌습니다. 이는 수학 기초론에서 가장 심오한 결과 중 하나입니다.
현대 수학의 언어를 창조하다
칸토어의 집합론은 현대 수학의 공용어가 되었습니다. 오늘날 거의 모든 수학 분야 — 해석학, 위상수학, 대수학, 논리학, 확률론 — 가 집합론의 언어와 개념 위에 구축되어 있습니다. 다비트 힐베르트는 칸토어를 옹호하며 "칸토어가 우리를 위해 창조한 낙원에서 아무도 우리를 쫓아낼 수 없다"라는 유명한 말을 남겼습니다.