칸토어

칸토어

Georg Cantor

AD 1845 - AD 1918
출생: 상트페테르부르크
활동: 할레
계몽주의

생애Deep Story

무한을 막연한 “끝없음”에서 비교 가능한 수학 대상으로 바꾼 인물. 할레에서 연구한 칸토어는 일대일 대응으로 집합의 크기를 비교하고, 자연수와 실수의 무한이 같지 않음을 증명했으며, 초한수 이론을 발전시켰다. 그의 아이디어에는 철학적·수학적 반대가 있었고 크로네커와의 갈등도 컸지만, 동시대 전체가 그를 한결같이 배척한 것은 아니다. 1884년부터 반복된 우울 증상을 반대자 한 사람이나 연속체 가설 실패만으로 설명할 의학적 근거도 없다. 칸토어는 독일수학회 설립과 첫 회의에도 중요한 역할을 했고, 생전에 이미 지지자와 영향력 있는 독자를 얻었다. 그의 이야기는 “고통받은 천재”보다, 새로운 정의가 무엇을 셀 수 있게 하는지에 집중할 때 더 흥미롭다.

한 문장으로
나는 본다, 그러나 나는 믿지 않는다.

결정적 순간

AD 1874

실수가 자연수보다 "더 많다"는 증명

할레

한 편의 짧은 논문에서 실수와 자연수가 일대일 대응되지 않음을 증명. 무한에도 크기 차이가 있음을 처음으로 보였다.

AD 1891

대각선 논법

실수의 무한이 자연수의 무한보다 큼을 보이는 더 우아한 증명을 발표. 오늘날 컴퓨터 과학의 정지 문제 증명에도 같은 논법이 쓰인다.

AD 1899

연속체 가설 — 평생의 짐

"자연수의 무한과 실수의 무한 사이에 또 다른 무한이 있는가?"라는 질문에 평생 매달렸으나 풀지 못함. 괴델의 1940년 CH 상대적 무모순성 결과와 코언의 1963년 ¬CH 상대적 무모순성 결과를 합쳐 CH의 ZFC 독립성이 확립됐다.

이 사람이 없었다면

아래 내용은 확인된 역사적 사실이 아니라, 이 인물의 영향을 생각해 보는 가정입니다.

칸토어 이전에도 무한과 집합은 연구되었다. 그의 결정적 기여는 일대일 대응·기수·대각선 논법으로 “두 무한 중 어느 쪽이 더 큰가?”를 증명 가능한 질문으로 만든 것이다. 이 언어는 이후 집합론뿐 아니라 해석학·위상수학·논리학에서 널리 재구성되었다.

주요 업적1개

집합론

AD 1874

무한을 다루는 수학적 방법론의 확립.

영향 네트워크

MathVoyage 너머로

불러오는 중…