blog › posts › 02-2-수학의-역사적-발전.md

// 읽기 2분 // 조회 —

02-2. 수학의 역사적 발전

단독으로 읽을 수 있다. 수학이 어떤 문제 앞에서 어떤 도구를 만들어 왔는지 시대순으로 본다.

이 문서를 왜 보는가?

수학은 “추상적 진리의 발견”으로 보이지만, 실제로는 인류가 부딪힌 구체적 문제에 대한 응답의 역사다. 길이를 측정하려다 기하가, 도박에서 확률이, 행성의 움직임에서 미적분이 나왔다.

실생활 비유: 수학사는 도구함의 진화다. 망치로는 못 풀던 문제 앞에서 톱이 만들어지고, 톱으로도 안 되면 드릴이 만들어졌다. 지금 우리가 쓰는 모든 수학 도구도 누군가가 어떤 문제 앞에서 발명한 것이다.

큰 그림 — 6개 시대

[BC 3000 ~ BC 600]  메소포타미아·이집트  — 실용 수학
[BC 600 ~ AD 300]   고대 그리스          — 증명의 발명
[AD 300 ~ 1500]     인도·아라비아        — 0과 대수
[1500 ~ 1700]       유럽 르네상스·근대   — 대수·해석기하
[1700 ~ 1900]       해석학·구조의 시대    — 미적분 완성·집합론
[1900 ~ ]           현대                 — 토대·계산·AI

1. 고대 — 실용 수학 (BC 3000 ~ BC 600)

메소포타미아 (수메르·바빌론)

- 60진법 사용 — 시간(60초·60분)·각도(360도)에 지금까지 남음
- 점토판 기록 (예: Plimpton 322 — 피타고라스 수 표)
- 1차·2차 방정식 풀이법
- 천문학과 연결된 응용 수학

이집트

- 십진법, 분수 표현
- 린드 파피루스(BC 1650경) — 80여 개 문제집
- 토지 측량, 피라미드 건축의 기하학

⚠️ 이 시기 수학은 실용 답안 모음 수준. “왜 그런가”를 증명하지 않았다.

2. 고대 그리스 — 증명의 탄생 (BC 600 ~ AD 300)

여기서 수학이 단순 계산법에서 연역적 학문으로 도약한다.

탈레스, 피타고라스 (BC 6세기)

탈레스(BC 624~546)
  - 그리스 수학의 시조. 기하학에 증명 도입.
  - "원 안의 지름이 만드는 각은 직각이다" — 첫 정리

피타고라스(BC 570~495)
  - 학파를 만들어 비밀 결사처럼 운영
  - 피타고라스 정리(이미 알려져 있었지만 학파가 증명)
  - 충격: √2가 무리수임을 발견 — "모든 수는 분수"라는 신념 붕괴

유클리드 (BC 300경) — 원론(Elements)

13권으로 된 기하학 책.
- 5개 공리(공준)에서 출발해 465개 정리를 도출
- 2,000년간 수학의 표준 교재
- "공리 → 정리"의 연역적 체계의 모범

유명한 5번째 공준(평행선 공준):
  "한 직선과 그 위에 있지 않은 한 점에 대해, 그 점을 지나면서
   주어진 직선과 만나지 않는 직선은 정확히 하나뿐이다."
  → 후대에 이 공준을 뒤집은 비유클리드 기하학이 등장.

아르키메데스 (BC 287~212)

- "유레카!"의 그 사람
- 미적분의 선조 — 무한 분할로 면적·부피 계산
- π의 정밀 추정 (3.140 < π < 3.143)
- 지렛대·도르래의 수학화

디오판토스 (AD 250경)

- *산학(Arithmetica)* — 대수 문제집
- 정수해를 구하는 방정식 = "디오판토스 방정식"
- 후대 페르마가 이 책 여백에 마지막 정리를 적음

3. 인도·아라비아 — 0과 대수 (AD 300 ~ 1500)

인도

브라마굽타(AD 598~668)
  - 0의 사칙연산 규칙 명시 (역사상 최초)
  - 음수의 정식 사용
  - 2차방정식의 일반 해법

아리아바타·바스카라
  - 삼각함수, 무한급수
  - π의 더 정확한 값

“0”의 발명은 수학사 가장 큰 사건 중 하나. 그 이전엔 “없음”을 수로 다루지 않았다. 0이 있어야 자릿수 표기와 음수 개념이 가능하다.

아라비아 — 지식의 보존자이자 발전자

알콰리즈미(AD 780~850)
  - *Al-jabr w'al-muqabala* — 책 제목에서 "algebra(대수)"가 옴
  - 1차·2차 방정식의 체계적 풀이
  - 그의 이름 → 라틴어로 "Algorismus" → 영어 "algorithm"

오마르 카이얌(AD 1048~1131)
  - 3차방정식의 기하적 풀이
  - 시인이자 수학자

알 카시 (AD 1380~1429)
  - π를 17자리까지 계산
  - 십진 분수 발달

⚠️ 이슬람 황금기(8~~14세기)에 그리스·인도 수학이 보존되고 결합돼, 후대 유럽 르네상스의 토대가 됐다. 우리가 쓰는 “아라비아 숫자(0~~9)“는 인도에서 발원해 아라비아를 거쳐 유럽으로.

4. 유럽 르네상스·근대 — 폭발적 성장 (1500 ~ 1700)

16세기 — 3·4차 방정식

타르탈리아·카르다노·페라리 (이탈리아)
  - 3차·4차 방정식의 일반 해법 발견
  - 이 과정에서 음수의 제곱근(허수)이 강제로 등장
  - 카르다노의 *위대한 술법(Ars Magna)*에 발표

갈루아·아벨 (19세기 이후)
  - 5차 이상 방정식은 일반 공식으로 못 푼다는 것을 증명
  - 군론(group theory)의 시작

17세기 — 데카르트와 좌표

데카르트(1596~1650)
  - 해석기하학 — 도형을 좌표(x, y)로 옮김
  - 기하와 대수의 결합
  - "y = x²"이 곡선이 되는 순간 = 그래프의 탄생

페르마(1601~1665)
  - 정수론·확률론 정초
  - 페르마의 마지막 정리 (1995년에야 증명)

17세기 후반 — 미적분의 발명

뉴턴(1643~1727)
  - "유율법(method of fluxions)" — 운동 분석을 위해 미적분 발명
  - *프린키피아*에서 만유인력과 함께 사용

라이프니츠(1646~1716)
  - 독립적으로 미적분 발명
  - 우리가 쓰는 dy/dx, ∫ 기호는 라이프니츠의 것

논쟁: "누가 먼저 발명했나"로 영국·대륙 수학자 갈등 → 영국 수학 후퇴 원인.

5. 해석학과 구조의 시대 (1700 ~ 1900)

18세기 — 거장 오일러(Euler, 1707~1783)

- 역사상 가장 다작한 수학자 (논문 800여 편)
- 우리가 쓰는 표기 다수가 오일러:
   e, π, i, f(x), Σ, sin/cos
- 오일러 항등식: e^(iπ) + 1 = 0
   ← 5개 가장 중요한 상수가 한 식에 ("수학의 가장 아름다운 식")

19세기 — 엄밀화의 시대

가우스(1777~1855) — "수학의 왕자"
  - 정수론·기하·통계 전 분야
  - 비유클리드 기하 발견 (공식 발표는 안 함)

코시(1789~1857)
  - 극한 개념의 엄밀한 정의 (ε-δ)
  - 미적분의 토대를 다시 다짐

리만(1826~1866)
  - 리만 기하 — 공간의 곡률 일반화 (후일 일반상대성이론의 도구)
  - 리만 가설 — 아직 미해결, 현상금 100만 달러

칸토르(1845~1918)
  - 집합론의 창시
  - 무한에도 "크기"가 있다 (자연수 무한 < 실수 무한)
  - 대각선 논법 — 천재적 증명 기법
  - 당대 거센 비판 받음, 정신 건강 악화

19세기 끝 — 비유클리드 기하

2,000년간 의심받지 않던 유클리드 5번째 공준이 무너짐.

로바체프스키·보여이·리만:
  "평행선이 무한히 많을 수도 있고, 하나도 없을 수도 있다"

→ 같은 공간이 여러 기하를 가질 수 있음
→ 후대 일반상대성이론(시공간 휘어짐)의 수학적 토대

6. 현대 — 토대·계산·AI (1900 ~ )

6-1. 힐베르트의 23개 문제 (1900)

파리 국제 수학자 대회에서 힐베르트가 제시한 미해결 문제 목록.
이 중 다수가 20세기 수학을 견인.
- 23번 문제 중 일부는 여전히 미해결 (예: 리만 가설)

6-2. 괴델의 충격 (1931)

힐베르트의 꿈: "수학은 완전하고 모순 없는 공리계로 환원 가능"

괴델의 답 (불완전성 정리):
  "충분히 강한 어떤 공리계에서도, 참이지만 증명할 수 없는 명제가 존재한다."
  "공리계 자체의 무모순성은 그 안에서 증명할 수 없다."

→ 수학의 토대 자체에 한계가 있음을 확인.
   수학을 형식 게임으로만 보던 형식주의에 큰 타격.

6-3. 컴퓨터의 등장 (1936~)

앨런 튜링(1912~1954)
  - 튜링 기계 — 현대 컴퓨터의 수학적 모델
  - 정지 문제(Halting Problem) 결정불가능성 증명
  - 2차대전 에니그마 암호 해독

처치(Alonzo Church)
  - 람다 계산 — 함수형 프로그래밍의 토대
  - 처치-튜링 명제 — "계산 가능"의 정의

6-4. 새 분야의 폭발

부르바키(Bourbaki, 1935~) — 프랑스 수학자 그룹의 가명
  - 모든 수학을 집합론·구조 기반으로 재정리

20세기 후반:
  - 컴퓨터 과학과 수학의 결합
  - 통계학·정보이론의 부상
  - 카오스·프랙탈 (만델브로)
  - 그래프 이론·조합론 (네트워크 시대)
  - 페르마의 마지막 정리 증명 (와일즈, 1995)
  - 4색 정리 — 컴퓨터 보조 증명(1976)

6-5. 21세기

- 푸앵카레 추측 증명 (페렐만, 2003) — 100만 달러 상금 거절
- 머신러닝·딥러닝의 수학적 토대 (선형대수·확률·최적화)
- 양자 알고리즘
- AI 보조 증명 (Lean, Coq 같은 증명 보조기)
- 딥마인드의 AlphaProof, AlphaGeometry — AI가 IMO 문제 해결

시대를 관통하는 흐름

실용 → 증명 → 추상화 → 구조 → 토대 → 계산
(고대) (그리스) (근대) (19C) (20C) (21C)

각 단계는 이전을 부정하지 않고 더 깊은 층으로 들어간다.

결정적 발명·발견 타임라인

BC 600  탈레스      증명의 시작
BC 300  유클리드    공리적 방법
AD 600  브라마굽타  0과 음수
800     알콰리즈미  대수
1637    데카르트    좌표
1665    뉴턴/라이프니츠 미적분
1850    가우스/리만   비유클리드
1874    칸토르       집합론·무한
1900    힐베르트     23 문제
1931    괴델         불완전성
1936    튜링         계산 가능성
1995    와일즈       페르마 마지막 정리
2003    페렐만       푸앵카레 추측
2010s   딥러닝       응용 폭발

자기 점검 체크리스트

□ "0의 발명"이 왜 결정적이었는지 설명할 수 있다
□ algebra·algorithm의 어원이 같은 사람(알콰리즈미)임을 안다
□ 유클리드 5번째 공준과 그것의 부정에서 비유클리드 기하가 나옴을 안다
□ 미적분 누가 먼저 발견했는지의 논쟁을 안다
□ 칸토르의 무한 비교가 왜 충격적이었는지 설명할 수 있다
□ 괴델 불완전성이 힐베르트의 어떤 꿈을 깼는지 안다
□ 튜링과 컴퓨터의 관계를 안다
□ 21세기 미해결 문제 1~2개를 댈 수 있다 (예: 리만 가설, P=NP)

Comments

// 댓글을 불러오는 중...