1
AD 1849장면 1 / 4같은 연도의 세계에서 이어 보기
가우스의 엔케 서신 — 젊은 시절의 밀도 관찰을 기록
가우스는 소수표를 보던 이른 시절 평균 밀도를 1/ln(x)로 생각했고 Li(x)를 더 좋은 근사로 보았다고 회고했다. 정확히 15세의 한순간으로 확정하지 않는다.
정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면
같은 연도의 세계에서 이어 보기이 개념의 출항 질문
세지 않고 질서 찾기9 / 16번째 항구“‘소수 정리’에서 묻습니다. 모두 세지 않고도 숨어 있는 질서를 어떻게 찾을까?”
경우의 폭발, 나눗셈의 흔적, 소수의 불규칙함 속에서 반복되는 구조를 추적합니다.
이 항로는 이해를 돕는 편집 경로입니다. 직접적인 역사 영향선이나 한 사람의 단독 발명을 뜻하지 않습니다.
한 호흡으로 이해하기
"N까지의 소수 개수는 약 N / ln N개" — 100년의 추측 끝에 1896년 아다마르·드 라 발레-푸생이 복소해석학으로 증명. 소수가 무작위처럼 보이지만 놀라울 정도로 정확한 평균 분포를 가진다는 사실. 리만 가설이 이 추정의 오차를 더 정밀하게 한다.
N을 바꿔 소수 밀도의 질서 보기 — π(N) sandbox
실제 π(N), 가우스의 첫 추측 x/ln(x), 정밀 근사 Li(x)를 비교합니다. 소수 정리는 매 N에서 단조롭게 좋아진다는 뜻이 아니라 이들의 큰 규모 점근 관계를 설명합니다. 5,000,000까지 직접 넣어 보세요.
한눈에 보기
x / ln x (근사 소수 밀도)x: N · y: π(N) ≈ N/ln N
개념
"x 이하의 소수 개수 π(x)는 x/ln(x)와 점근적으로 같은 비율로 자란다." 가우스가 1849년 서신에서 젊은 시절의 표 관찰을 회고했고, 1896년 아다마르와 드 라 발레-푸생이 독립적으로 증명한 정리다.
핵심 식
N 이하 소수의 개수 ≈ N / ln N
시간의 항구
이 개념은 한 번에 발명되지 않았습니다
장면을 따라가면 문제, 표기, 증명 기준과 쓰임이 서로 다른 장소와 시대에서 어떻게 바뀌었는지 보입니다.
2
AD 1859장면 2 / 4같은 연도의 세계에서 이어 보기
리만 — 영점과 오차의 진동을 연결
리만은 짧은 베를린 아카데미 논문에서 소수 분포를 제타함수의 영점과 연결했다. 리만 가설은 더 정밀한 오차 경계를 예고하지만 소수 정리의 전제는 아니다.
정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면
같은 연도의 세계에서 이어 보기3
AD 1896장면 3 / 4같은 연도의 세계에서 이어 보기
아다마르·드 라 발레-푸생 — 동시 증명
두 사람이 독립적으로 소수 정리를 증명. 정수론과 복소해석학의 결혼.
정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면
같은 연도의 세계에서 이어 보기4
AD 1949장면 4 / 4같은 연도의 세계에서 이어 보기
셀베르그·에르되시 — 초등적 증명
복소해석 없이 증명할 수 있음을 보였다. ‘초등적’은 쉽다는 뜻이 아니라 사용한 도구의 종류이며, 발표와 우선권을 둘러싼 갈등도 있었다.
정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면
같은 연도의 세계에서 이어 보기오늘날의 응용
큰 소수 후보를 얼마나 자주 기대할지 가늠하는 알고리즘 분석, 해석적 정수론, 리만 가설과 산술진행 분포 연구의 기준이 된다. RSA의 실제 안전성은 평균 소수 밀도만이 아니라 인수분해 난이도·키 생성·프로토콜·구현에 의존한다.
MathVoyage 너머로
큐레이터가 고른 원전과 탐구 과제. OEIS·Project Euler·MathOverflow·arXiv에서는 발견 하나를 수첩으로 가져올 수 있습니다.
- 위키백과
- Wolfram MathWorld
한 사람이 만든 개념이 아닙니다
역할이 다른 사람들을 따라가기
대표 연결은 발명자 명단이 아닙니다. 문제를 열고, 언어를 다듬고, 다른 세계로 옮긴 서로 다른 항구입니다.
수의 렌즈
같은 개념도 수의 세계가 바뀌면 다르게 보입니다
아래 수는 필수 선수 조건이 아니라 이 항로를 비추는 편집 렌즈입니다.
개념의 계보
무엇을 딛고, 무엇을 열었을까?
직접 연결만 표시하며 완전한 학습 순서나 역사 영향선을 뜻하지 않습니다.