1
BC 450장면 1 / 4같은 연도의 세계에서 이어 보기
제논의 역설
"아킬레스는 거북이를 따라잡을 수 없다" — 무한히 많은 단계를 유한 시간에 거치는 것이 가능한가? 무한에 대한 첫 수학적 도전.
정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면
같은 연도의 세계에서 이어 보기이 개념의 출항 질문
수학의 바닥 시험하기2 / 8번째 항구“끝이 없는 것에도 크고 작은 것이 있을까?”
두 직관이 부딪히는 곳
무한은 오래도록 다가가는 과정이었지만, 집합으로 붙잡는 순간 서로 다른 크기와 결정할 수 없는 질문이 나타났다.
이 항로는 이해를 돕는 편집 경로입니다. 직접적인 역사 영향선이나 한 사람의 단독 발명을 뜻하지 않습니다.
한 호흡으로 이해하기
"무한도 크기가 다르다." 칸토어의 대각선 논법은 실수가 자연수보다 큰 기수를 가짐을 보인다. 유리수와 대수적 수는 자연수와 같은 크기로 셀 수 있다. 그의 집합론은 크로네커 등의 비판을 받았지만 생전에도 지지자와 중요한 수용이 있었고, 반복된 정신 건강 위기를 단 하나의 수학 논쟁 탓으로 돌릴 수는 없다.
한눈에 보기
집합 | 크기 (cardinality) | 자연수와 일대일 대응? |
|---|---|---|
짝수 | ℵ₀ | ✓ (n ↔ 2n) |
정수 ℤ | ℵ₀ | ✓ (자연수와 같은 크기) |
유리수 ℚ | ℵ₀ | ✓ (대각선 나열) |
대수적 수 | ℵ₀ | ✓ |
실수 ℝ | 2^ℵ₀ (= 𝔠) | ✗ (대각선 논법으로 더 크다) |
ℝ의 부분집합 𝒫(ℝ) | 2^𝔠 | ✗ (더더더 크다) |
무한의 무한한 위계. 각 단계마다 진정으로 더 큰 무한 — 이것이 칸토어가 발견한 천국이자 지옥.
개념
"끝없음"이라는 직관을 여러 수학적 대상으로 구분하는 개념. 고대의 역설과 소진법, 중세·근대의 무한 논쟁을 거쳐 칸토어가 무한 집합의 크기를 비교하는 정밀한 언어를 열었다.
핵심 식
무한에도 크기가 있다 (칸토어)
시간의 항구
이 개념은 한 번에 발명되지 않았습니다
장면을 따라가면 문제, 표기, 증명 기준과 쓰임이 서로 다른 장소와 시대에서 어떻게 바뀌었는지 보입니다.
2
AD 1638장면 2 / 4같은 연도의 세계에서 이어 보기
갈릴레오의 역설
갈릴레오가 발견: 자연수와 그 제곱수의 개수가 같다. "무한은 부분이 전체와 같을 수 있다"는 직관 충격.
정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면
같은 연도의 세계에서 이어 보기3
AD 1874장면 3 / 4같은 연도의 세계에서 이어 보기
칸토어 — 무한에도 위계가 있다
실수의 무한이 자연수의 무한보다 더 크다. 무한이 단 하나가 아니라 ℵ₀ < ℵ₁ < ℵ₂ ... 무한히 많이 있음.
정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면
같은 연도의 세계에서 이어 보기4
AD 1963장면 4 / 4같은 연도의 세계에서 이어 보기
괴델·코언 — 연속체 가설은 ZFC와 독립
괴델의 1940년 CH 상대적 무모순성 결과와 코언의 1963년 강제법을 통한 ¬CH 결과를 합쳐 ZFC가 CH와 ¬CH 어느 쪽도 결정하지 못함을 밝혔다.
정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면
같은 연도의 세계에서 이어 보기오늘날의 응용
컴퓨터 과학의 정지 문제, 가산성과 비가산성, 측도론, 위상수학의 콤팩트성처럼 서로 다른 분야에서 무한 과정을 다루는 방식과 한계를 구분한다.
MathVoyage 너머로
큐레이터가 고른 원전과 탐구 과제. OEIS·Project Euler·MathOverflow·arXiv에서는 발견 하나를 수첩으로 가져올 수 있습니다.
한 사람이 만든 개념이 아닙니다
역할이 다른 사람들을 따라가기
대표 연결은 발명자 명단이 아닙니다. 문제를 열고, 언어를 다듬고, 다른 세계로 옮긴 서로 다른 항구입니다.
수의 렌즈
같은 개념도 수의 세계가 바뀌면 다르게 보입니다
아래 수는 필수 선수 조건이 아니라 이 항로를 비추는 편집 렌즈입니다.
개념의 계보
무엇을 딛고, 무엇을 열었을까?
직접 연결만 표시하며 완전한 학습 순서나 역사 영향선을 뜻하지 않습니다.