무한의 정복 — 칸토어와 집합론

"무한은 단 하나가 아니다." 칸토어의 대담한 증명, 데데킨트와의 대화, 비판과 후속 연구를 함께 보며 무한의 위계가 한 사람의 고독한 영웅담보다 넓은 역사임을 만난다.

약 30분·5개 노드

진행0 / 5 (0%)

지도에서 본 경로의 흐름

카드를 클릭하면 지도가 해당 위치로 이동합니다.

STEP 1 · 개념위치 정보 없음

자연수를 계속 세는 과정과 모든 자연수의 집합을 하나의 대상으로 보는 관점을 구분한다. 힐베르트 호텔과 대각선 논법을 통해 ‘크기가 다른 무한’을 준비한다.

↓다음 단계

STEP 2 · 수학자1872브라운슈바이크· 주요활동

1872년 절단으로 실수를 구성했고, 1888년에는 자기 자신과 일대일 대응하는 집합으로 무한을 정의했다. 칸토어와 서신으로 생각을 교환했다.

↓다음 단계

STEP 3 · 여정위치 정보 없음

할레의 연구실·서신·논쟁을 따라가며 대각선 논법과 연속체 가설이 어떤 문제에서 나왔는지 본다. 정신질환을 천재성의 대가처럼 소비하지 않고 사람과 증거를 구분한다.

↓다음 단계

STEP 4 · 수 체계~1895할레· 발견

1895년경 칸토어는 알레프 표기로 무한 기수의 위계를 조직했다. ℵ₀와 실수의 크기를 일대일 대응 게임으로 비교해 ‘더 큰 무한’이 무엇인지 확인한다.

↓45년 후

STEP 5 · 수학자1940프린스턴· 출판

1940년 구성가능 우주를 이용해 ZF가 무모순이면 선택공리와 CH를 더해도 무모순이라는 한 방향을 보였다. 1963년 코언의 반대 방향과 합쳐 독립성이 확립됐다.

고급 → 전문가

전문가 단계에서는 무엇이 달라질까요?

무엇이 아직 증명되지 않았는지, 어떤 공리·계산·근거에 기대는지 구분하며 연구의 경계에 섭니다.

다음 도착점 · 다음 연구 질문 한 가지