중심 기준점1/8
집합론
모든 수학을 ‘모음’으로 만들면 무엇이 가능하고 무엇이 깨질까?
AI 해석 일러스트
끝없는 것들도 같은 크기인지는 따로 물어야 했다
얼굴은 현존하는 칸토어의 노년 사진을 식별 참고로 사용했습니다. 장면은 1874년 비가산성, 1877년 데데킨트 서신, 1891년 대각선 논법을 한 할레 작업실에 압축한 편집 해석이며, 무한이나 크로네커와의 갈등이 그의 반복된 우울 증상을 만들었다는 인과를 주장하지 않습니다.
MathVoyage editorial direction · OpenAI image generation · historical photograph identity reference · 2026-08-07
연도보다 생각을 먼저 기억한다면
칸토어
Georg Cantor
AD 1845 - AD 1918
생각의 무대 · 할레
태어난 곳 · 상트페테르부르크
19세기 수학의 구조 전환일대일 대응으로 무한 비교모든 목록을 벗어나는 대각선할레–데데킨트 서신망
먼저 기억할 생각
1877년 정사각형–선분 대응을 두고: “나는 본다, 그러나 나는 믿지 않는다.”한 장면으로 들어가기
AD 1874
실수가 자연수보다 "더 많다"는 증명
한 편의 짧은 논문에서 실수와 자연수가 일대일 대응되지 않음을 증명. 무한에도 크기 차이가 있음을 처음으로 보였다.
목록을 탈출하는 20초1891년 · 할레 · 대각선 논법의 연구·출판 기준점
목록의 모든 줄과 다른 새 수를 한 번에 만들 수 있을까?
무한한 목록이 모든 0·1 수열을 담았다고 주장한다고 해보자. 첫째 줄의 첫째 자리, 둘째 줄의 둘째 자리처럼 대각선을 따라가며 각 값을 뒤집으면, 목록의 어느 줄과도 적어도 한 자리 다른 수열이 생긴다.
대각선을 표시한 뒤 각 자리를 뒤집어보자.
두 단계를 눌러 새 수열이 왜 각 줄을 하나씩 피하는지 확인하세요.
100000201011310101411100500111
먼저 대각선을 표시하세요.
이 사람이 열어 주는 질문
업적 목록 대신, 다시 탐험할 개념 항구
아래 연결은 직접 영향이나 단독 발명 계보가 아니라, 기존 개념 항로에서 이 인물이 맡는 편집 역할을 반대로 보여 줍니다.
중심 기준점2/8
무한
끝이 없는 것에도 크고 작은 것이 있을까?
중심 기준점4/8
선택 공리
‘선택 공리’에서 묻습니다. 수학은 자신의 무한과 모순, 증명의 경계를 어디까지 통제할까?
PROFILE 02 · DEEP VOYAGE
칸토어의 생각이 움직인 길
연도를 더 외우는 대신, 한 사람을 만든 시대와 방향을 바꾼 장면, 다음 세대로 건너간 질문을 차례로 따라갑니다.
CHAPTER 01 · 사람과 시대
칸토어는 어떤 질문 속에서 살았을까?
완성된 업적보다 먼저, 이 사람이 무엇을 문제로 보았고 어디까지 확실하게 말할 수 있는지 읽습니다.
약 1분 읽기깊이있게 큐레이션된 스토리
무한을 막연한 “끝없음”에서 비교 가능한 수학 대상으로 바꾼 인물. 할레에서 연구한 칸토어는 일대일 대응으로 집합의 크기를 비교하고, 자연수와 실수의 무한이 같지 않음을 증명했으며, 초한수 이론을 발전시켰다. 그의 아이디어에는 철학적·수학적 반대가 있었고 크로네커와의 갈등도 컸지만, 동시대 전체가 그를 한결같이 배척한 것은 아니다. 1884년부터 반복된 우울 증상을 반대자 한 사람이나 연속체 가설 실패만으로 설명할 의학적 근거도 없다. 칸토어는 독일수학회 설립과 첫 회의에도 중요한 역할을 했고, 생전에 이미 지지자와 영향력 있는 독자를 얻었다. 그의 이야기는 “고통받은 천재”보다, 새로운 정의가 무엇을 셀 수 있게 하는지에 집중할 때 더 흥미롭다.
CHAPTER 02 · 전환의 장면
생각의 방향을 바꾼 3개의 장면
생각이 한 단계 이동한 순간을 시간순으로 펼칩니다. 모든 장면은 확인된 장소 또는 정직하게 표시한 시대 맥락에서 다음 항해로 이어집니다.
장면 1 / 3
AD 1874할레실수가 자연수보다 "더 많다"는 증명
한 편의 짧은 논문에서 실수와 자연수가 일대일 대응되지 않음을 증명. 무한에도 크기 차이가 있음을 처음으로 보였다.
장면 2 / 3
AD 1891할레· 지리 맥락대각선 논법
실수의 무한이 자연수의 무한보다 큼을 보이는 더 우아한 증명을 발표. 오늘날 컴퓨터 과학의 정지 문제 증명에도 같은 논법이 쓰인다.
장면 3 / 3
AD 1899할레· 지리 맥락연속체 가설 — 평생의 짐
"자연수의 무한과 실수의 무한 사이에 또 다른 무한이 있는가?"라는 질문에 평생 매달렸으나 풀지 못함. 괴델의 1940년 CH 상대적 무모순성 결과와 코언의 1963년 ¬CH 상대적 무모순성 결과를 합쳐 CH의 ZFC 독립성이 확립됐다.
CHAPTER 04 · 남겨진 도구
후대가 다시 꺼내 쓴 것
별점보다 중요한 것은 무엇이 남아 다른 문제를 풀 수 있게 되었는가입니다.
TOOL 01AD 1874
집합론
무한을 다루는 수학적 방법론의 확립.
THOUGHT EXPERIMENT · 사실이 아닌 가정
칸토어의 이름을 지도에서 지운다면
아래 내용은 확인된 역사적 사실이 아니라, 이 인물의 영향을 생각해 보는 가정입니다.
칸토어 이전에도 무한과 집합은 연구되었다. 그의 결정적 기여는 일대일 대응·기수·대각선 논법으로 “두 무한 중 어느 쪽이 더 큰가?”를 증명 가능한 질문으로 만든 것이다. 이 언어는 이후 집합론뿐 아니라 해석학·위상수학·논리학에서 널리 재구성되었다.
STANDING ON SHOULDERS · 근거가 있는 연결
누구에게서 무엇을 받아, 어디로 건넸을까?
같은 시대였다는 이유로 선을 긋지 않습니다. 저작·문제·가르침으로 확인되는 연결만 문장과 근거로 보여 줍니다.
MathVoyage 너머로
큐레이터가 고른 원전과 탐구 과제. OEIS·Project Euler·MathOverflow·arXiv에서는 발견 하나를 수첩으로 가져올 수 있습니다.