학습 경로
개념과 수학자, 수 체계와 역사적 여정을 한 줄로 엮은 큐레이션 코스입니다. 한 주제를 깊게 따라가 보세요.
31개를 훑지 말고 한 가지 호기심에서 출발하세요
가볍게 시작하거나, 예측이 무너지는 순간을 만나거나, 오늘의 기술 뒤 수학으로 갈 수 있습니다.
네 단계로 깊어지는 항해
오늘은 어디까지 깊이 들어가 볼까요?
단계는 문턱이 아닙니다. 어디서든 시작해 직관에서 패턴으로, 증명에서 열린 연구 질문으로 자연스럽게 이어 가세요.
- 01 · 입문5개 경로
이야기와 직관으로 낯을 익혀요
공식보다 먼저 “왜 이런 수가 필요했을까?”를 보고, 그림과 역사 장면으로 질문을 만듭니다.
이 단계의 도착점 · 설명할 수 있는 한 가지 직관
대표 경로로 시작 - 02 · 중급15개 경로
패턴을 계산하고 오늘과 연결해요
간단한 계산과 사례 비교로 규칙이 어디까지 작동하는지 확인하고 실제 기술과 연결합니다.
이 단계의 도착점 · 직접 확인한 패턴 하나
대표 경로로 시작 - 03 · 고급7개 경로
정의·증명·구조를 한 줄로 묶어요
비슷해 보이는 현상을 하나의 구조로 묶고, 조건이 빠지면 왜 주장이 무너지는지 살핍니다.
이 단계의 도착점 · 조건까지 말할 수 있는 설명
대표 경로로 시작 - 04 · 전문가4개 경로
경계와 미해결 질문을 비판해요
무엇이 아직 증명되지 않았는지, 어떤 공리·계산·근거에 기대는지 구분하며 연구의 경계에 섭니다.
이 단계의 도착점 · 다음 연구 질문 한 가지
대표 경로로 시작
31개 전체 학습 경로 펼치기주제나 난이도가 이미 정해져 있다면 전체 경로를 펼쳐 직접 고를 수 있습니다.
입문 · 이야기와 직관으로 낯을 익혀요
설명할 수 있는 한 가지 직관
0의 발견 — 인도에서 유럽까지 1500년
The Discovery of Zero — 1500 Years from India to Europe
0은 한순간에 한 사람이 만든 발명품이 아니다. 여러 자릿값 표기의 빈자리에서 수로 자라난 0을, 브라마굽타의 연산 규칙과 번역·상업의 여러 경로를 따라 살펴본다.
고대 그리스에서 르네상스로 — 1500년 지식 전파
From Ancient Greece to Renaissance — 1500 Years of Knowledge Transmission
유클리드 《원론》이 알렉산드리아 → 바그다드 → 톨레도 → 르네상스 이탈리아로 흘러간 1700년 — *증명*이라는 형식이 어떻게 인류의 보편 자산이 되었는가.
컴퓨터의 어머니들 — 여성이 만든 디지털 세계
Mothers of Computing
디지털 세계는 1843년 러브레이스의 표에서 갑자기 시작되지 않았다. 히파티아의 교육, 아녜시의 교과서, 제르맹의 우회로, 뇌터의 추상 구조가 계산을 기계와 이론으로 바꿀 지적 토대를 어떻게 넓혔는지 본다.
미적분의 두 발명자 — 뉴턴 vs 라이프니츠
Two Inventors of Calculus — Newton vs Leibniz
고대의 넓이 계산과 17세기 무한소 기법 위에서 뉴턴과 라이프니츠가 서로 다른 방식으로 미적분의 일반 틀을 만들었다. 독립 발견, 출판 시점, 표기와 우선권 논쟁을 증거별로 나눠 본다.
여성 수학자들 — 보이지 않았던 거인들
Women Mathematicians — The Invisible Giants
히파티아부터 에미 뇌터, 매리암 미르자카니까지 — *남자들의 학문*이라 불린 수학의 역사 속에서 *벽을 부순* 여성들의 이야기.
중급 · 패턴을 계산하고 오늘과 연결해요
직접 확인한 패턴 하나
허수의 탄생을 따라가는 르네상스 여행
Renaissance Journey to the Birth of Imaginary Numbers
실수 해를 구하는 계산에 왜 음수의 제곱근이 나타날까? 르네상스의 3차 방정식 논쟁, 봄벨리의 계산 규칙, 복소평면으로 이어진 긴 수용의 역사.
그리스 기하학의 탄생
The Birth of Greek Geometry
피타고라스 정리에서 시작해 무리수 발견의 충격, 그리고 유클리드 원론이 *증명*이라는 형식을 세계에 도입한 과정.
확률의 시작 — 도박판에서 보험까지
Origins of Probability — From Dice to Insurance
17세기 파리 귀족의 도박 문제에서 시작한 한 통의 편지가, 어떻게 오늘날 보험·AI·일기예보의 언어가 되었는가.
네트워크의 세계 — 그래프가 모든 것을 잇다
World of Networks — Graphs Connect Everything
쾨니히스베르크의 산책길에서 시작된 그래프 이론이 어떻게 페이스북·구글·GPS·뇌과학을 모두 같은 언어로 설명하는가.
AI를 떠받치는 수학 — 신경망 아래 무엇이 있는가
The Math Beneath AI
ChatGPT가 작동하는 원리를 이해하려면 어떤 수학이 필요한가? 벡터·행렬·미적분·확률·최적화 — 4개의 기둥이 받치는 현대 머신러닝의 기초.
암호의 1500년 여정 — 시저에서 양자까지
Cryptography Across 1500 Years
카이사르의 시저 암호에서 알콰리즈미, 비제네르, 섀넌, RSA, 그리고 양자 알고리즘까지. *비밀이 곧 어떤 수학이 어려운가의 문제*임을 보여주는 여정.
베이즈와 과학적 추론 — 18세기 목사에서 AI까지
Bayes and Scientific Inference
*"증거를 보고 가설을 갱신한다."* 18세기 영국 목사 베이즈가 발견한 정리가 라플라스를 거쳐 현대 의료 진단·머신러닝의 기본 언어가 된 250년의 여정.
무한급수의 마법 — 제논에서 오일러까지
The Magic of Infinite Series
*"한없이 작은 것을 한없이 더하면 유한이 되는가?"* 제논의 역설부터 아르키메데스의 적분, 오일러의 신비한 합산까지 2400년의 여정.
정수론에서 인터넷 보안까지 — 페르마에서 RSA
From Number Theory to Internet Security
*순수 수학*의 대표로 여겨지던 정수론이 RSA와 타원곡선 암호의 재료가 된 과정을 따라간다. 실제 인터넷 보안은 정수론뿐 아니라 대칭키·해시·프로토콜·구현 안전성이 함께 지킨다.
나비 효과와 복잡계 — 푸앵카레에서 망델브로
Butterfly Effect and Complexity
*결정론적 방정식에서 예측 불가능성이 어떻게 출현하는가*. 100년 전 푸앵카레의 발견에서 로런즈의 나비, 망델브로의 프랙탈, 그리고 오늘날의 카오스 응용까지.
확률에서 통계로 — 우연을 길들인 300년
From Probability to Statistics — 300 Years of Taming Chance
17세기 파스칼-페르마의 도박 편지에서, 가우스의 정규분포, 콜모고로프의 공리, 21세기 베이지안 머신러닝까지 — *우연*을 *수학*으로 길들인 여정.
AI의 수학적 뿌리 — 부울에서 트랜스포머까지
The Mathematical Roots of AI — From Boole to Transformers
1854년 부울의 *논리 대수*에서, 1958년 퍼셉트론, 1986년 역전파, 2017년 트랜스포머, 오늘의 GPT까지 — *기계가 학습한다*는 꿈을 가능하게 한 170년의 수학.
암호의 두 얼굴 — RSA와 양자 위협
Two Faces of Cryptography — RSA and the Quantum Threat
카이사르 암호부터 1977년 RSA의 *공개키 혁명*, 1994년 쇼어 알고리즘이 RSA를 위협하기까지 — *비밀을 만들고 깨는* 수학의 군비경쟁.
카오스의 발견 — 결정론의 죽음
The Discovery of Chaos — The Death of Determinism
1963년 로렌츠가 우연히 발견한 *나비 효과* — 결정론적 방정식이 *예측 불가능*할 수 있다. 라플라스의 *결정론적 우주*가 100년 만에 무너지는 순간.
오일러의 우주 — 한 사람이 만든 18세기 수학
Euler's Universe — 18th-Century Mathematics by One Man
오일러는 방대한 논문·서신·교과서를 남기고 시력을 잃은 뒤에도 가족과 조수의 도움으로 연구를 계속했다. 여러 표기를 발명하거나 널리 표준화했지만, 18세기 수학은 그와 동료들이 만든 연결망이었다.
고급 · 정의·증명·구조를 한 줄로 묶어요
조건까지 말할 수 있는 설명
무한의 정복 — 칸토어와 집합론
The Conquest of Infinity — Cantor and Set Theory
"무한은 단 하나가 아니다." 칸토어의 대담한 증명, 데데킨트와의 대화, 비판과 후속 연구를 함께 보며 무한의 위계가 한 사람의 고독한 영웅담보다 넓은 역사임을 만난다.
카오스와 자연 — 나비효과와 프랙탈
Chaos and Nature — Butterfly Effect and Fractals
결정론적 방정식에서 *예측 불가능성*이 어떻게 출현하는가. 푸앵카레의 발견에서 망델브로의 프랙탈까지, *자연의 진짜 모양*을 보는 여정.
컴퓨터의 수학적 기초 — 라이프니츠에서 튜링까지
Mathematical Foundations of Computing — From Leibniz to Turing
17세기 라이프니츠의 *이진법*과 *기계 추론* 꿈이, 19세기 부울 대수를 거쳐, 20세기 괴델·튜링의 한계 정리에서 마침내 *디지털 컴퓨터*로 결실을 맺는 300년의 여정.
상대성이론의 수학 — 가우스에서 아인슈타인까지
Mathematics of Relativity
*우주의 모양*을 묘사한 100년의 수학. 가우스의 곡면에서 시작해 리만의 다양체, 민코프스키의 시공간, 아인슈타인의 일반상대성이론까지.
갈루아 이론 — 만 20세 천재의 유산
Galois Theory — Legacy of a 20-Year-Old Genius
갈루아가 이미 진행한 연구와 결투 전날 남긴 요약 편지가 방정식의 근호 풀이 가능성을 근들의 대칭 구조와 어떻게 연결했고, 그 언어가 후대 정수론까지 어떻게 이어졌는지 살펴본다.
대칭의 언어 — 군에서 갈루아까지
The Language of Symmetry — From Groups to Galois
*대칭이 무엇인가?* 정삼각형의 회전부터 일반 5차 방정식이 근호로 풀리지 않는 이유까지. 갈루아의 기존 연구와 결투 전날 남긴 약 7쪽 요약 편지가 방정식과 대칭을 잇는 길을 보여 준다.
곡률의 발견 — 가우스에서 아인슈타인까지
The Discovery of Curvature — From Gauss to Einstein
1827년 가우스의 *Theorema Egregium* — *"곡률은 *내재적*이다"*. 1854년 리만의 휘어진 공간 강의가 60년 후 일반상대성이론의 언어가 됐다.
전문가 · 경계와 미해결 질문을 비판해요
다음 연구 질문 한 가지
20세기 수학의 위기와 부활 — 러셀에서 괴델까지
The Crisis and Rebirth of 20th Century Mathematics
1901년 러셀이 발견한 *역설*이 논리주의 체계의 모순을 드러냈다. 1920년대 힐베르트 프로그램, 괴델의 한계 정리, 그리고 튜링의 계산 가능성 연구 — 기초론의 위기가 만든 새 학문.
21세기 7대 미해결 문제 — 밀레니엄 챌린지
The Seven Millennium Prize Problems
2000년 클레이 수학연구소가 선정한 *밀레니엄 문제* 7개. 각 문제에 100만 달러의 상금이 책정됐고, 20여 년이 지난 지금까지 푸앵카레 추측만 해결된 것으로 인정받았다.
컴퓨터의 한계 — 튜링·괴델·코헨
The Limits of the Computer — Turing, Gödel, Cohen
*주어진 형식 체계와 알고리즘은 무엇을 결정할 수 없는가?* 괴델은 1931년 산술을 담을 만큼 강한 효과적 공리계의 불완전성을, 튜링은 1936년 정지 문제를 일반적으로 판정하는 알고리즘이 없음을 보였다. 괴델(1940)과 코언(1963)의 서로 반대되는 상대적 무모순성 결과는 CH가 ZFC와 독립임을 확립했다.
소수의 신비 — 유클리드에서 리만까지
The Mystery of Primes — From Euclid to Riemann
*소수는 무한하다*(BCE 300) → 가우스의 추측 → 1859년 리만의 6쪽 원고 → 1896년 소수정리 증명 → 21세기 리만 가설까지 — *정수의 가장 깊은 비밀*.