1
AD 1874장면 1 / 4같은 연도의 세계에서 이어 보기
칸토어 — 무한 집합의 분류
실수의 무한이 자연수보다 더 큼을 증명. 무한에 위계가 있음을 보임.
정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면
같은 연도의 세계에서 이어 보기이 개념의 출항 질문
수학의 바닥 시험하기1 / 8번째 항구“모든 수학을 ‘모음’으로 만들면 무엇이 가능하고 무엇이 깨질까?”
두 직관이 부딪히는 곳
대상을 모으는 가장 단순한 생각이 수학의 공통 언어가 되었지만, ‘모든 것을 모은 집합’은 곧 모순을 불렀다.
이 항로는 이해를 돕는 편집 경로입니다. 직접적인 역사 영향선이나 한 사람의 단독 발명을 뜻하지 않습니다.
한 호흡으로 이해하기
대상을 원소의 모임으로 기술하고, 포함·합집합·함수 같은 관계를 엄밀히 다룬다. 칸토어의 집합·무한 연구는 “무한에도 서로 다른 크기가 있다”는 결과를 낳았고 큰 논쟁을 불렀다. 역설 뒤에 ZF/ZFC 같은 공리계가 발전해 많은 현대 수학의 공통 형식 언어가 됐지만, 범주론·유형이론 같은 다른 기초 관점도 있다. 칸토어의 병을 반대자들의 박해 하나로 설명하지 않는다.
한눈에 보기
연산 | 정의 | A={1,2,3}, B={2,3,4}일 때 |
|---|---|---|
A ∪ B | A 또는 B에 속함 | {1, 2, 3, 4} |
A ∩ B | A이고 B에 속함 | {2, 3} |
A \ B | A에 있고 B에 없음 | {1} |
A × B | 모든 순서쌍 | {(1,2),(1,3),(1,4),(2,2),...} (총 9개) |
𝒫(A) | A의 모든 부분집합 | {∅, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, A} (총 2³=8개) |
ZF/ZFC는 무제한적인 집합 만들기를 피하면서 이런 연산을 형식화한다. 무모순성은 체계 내부에서 간단히 보장되는 사실이 아니며, 수학의 기초 관점도 하나뿐이지 않다.
개념
대상을 모아 원소 관계와 크기를 연구하는 언어. 칸토어의 무한 집합 연구와 역설들을 거쳐 여러 공리적 집합론이 발전했으며, ZF·ZFC는 널리 쓰이는 기초 체계다.
핵심 식
합집합·교집합·차집합·멱집합
시간의 항구
이 개념은 한 번에 발명되지 않았습니다
장면을 따라가면 문제, 표기, 증명 기준과 쓰임이 서로 다른 장소와 시대에서 어떻게 바뀌었는지 보입니다.
2
AD 1901장면 2 / 4같은 연도의 세계에서 이어 보기
러셀의 역설
"자기 자신을 포함하지 않는 집합들의 집합" — 순진한 집합론의 모순 발견. 위기의 순간.
정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면
같은 연도의 세계에서 이어 보기3
AD 1908장면 3 / 4같은 연도의 세계에서 이어 보기
체르멜로의 공리화
러셀 역설을 피하기 위해 명확한 공리계를 제안. ZF(체르멜로-프랭켈) 집합론의 시작.
정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면
같은 연도의 세계에서 이어 보기4
AD 1963장면 4 / 4같은 연도의 세계에서 이어 보기
괴델·코언 — 연속체 가설은 ZFC와 독립
괴델의 1940년 CH 방향과 코언의 1963년 ¬CH 방향 결과를 합쳐 ZFC가 어느 쪽도 결정하지 못함을 밝혔다.
정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면
같은 연도의 세계에서 이어 보기오늘날의 응용
수학의 많은 대상을 형식화하고, 가산성·기수·순서를 연구하는 데 쓰인다. 데이터베이스 집합 연산이나 형식 언어와도 연결되지만 타입 이론처럼 다른 기초 관점도 존재한다.
MathVoyage 너머로
큐레이터가 고른 원전과 탐구 과제. OEIS·Project Euler·MathOverflow·arXiv에서는 발견 하나를 수첩으로 가져올 수 있습니다.
- 위키백과
- Wolfram MathWorld
한 사람이 만든 개념이 아닙니다
역할이 다른 사람들을 따라가기
대표 연결은 발명자 명단이 아닙니다. 문제를 열고, 언어를 다듬고, 다른 세계로 옮긴 서로 다른 항구입니다.
수의 렌즈
같은 개념도 수의 세계가 바뀌면 다르게 보입니다
아래 수는 필수 선수 조건이 아니라 이 항로를 비추는 편집 렌즈입니다.
개념의 계보
무엇을 딛고, 무엇을 열었을까?
앞에서 건너온 개념
직접 선행 항구가 지정되지 않았습니다.
현재 항구
집합론
직접 연결만 표시하며 완전한 학습 순서나 역사 영향선을 뜻하지 않습니다.