수학사 (History of Mathematics)

수학은 인류 문명과 함께 발전해 왔습니다. 실용적 필요에서 시작된 수학은 점차 추상적이고 체계적인 학문으로 성장하였으며, 오늘날에는 자연과학, 공학, 경제학, 컴퓨터 과학 등 거의 모든 분야의 언어이자 기반이 되고 있습니다. 이 페이지에서는 고대 문명에서 21세기까지 수학의 발전 과정을 상세히 살펴봅니다.

이런 곳에 쓰여요

선수 지식: 없음 — 언제든 읽을 수 있습니다.

난이도: ★☆☆☆☆ (누구나)

고대 이집트 수학

배경과 동기

고대 이집트 수학은 나일강 범람 이후 경작지를 재측량하는 실용적 필요에서 발전하였습니다. 피라미드 건설, 곡물 저장량 계산, 세금 부과 등 행정적 목적이 수학 발전의 주된 동력이었습니다.

린드 파피루스 (Rhind Papyrus)

기원전 1650년경에 필사된 린드 파피루스(아메스 파피루스라고도 함)는 고대 이집트 수학의 가장 중요한 문헌입니다. 서기관 아메스(Ahmes)가 더 오래된 원본을 베껴 적은 것으로, 총 87개의 수학 문제와 풀이를 담고 있습니다.

• 산술 문제: 분수의 사칙연산, 비례 배분, "아하(aha) 계산"이라 불리는 일차방정식 풀이
• 기하 문제: 삼각형, 사다리꼴, 원의 넓이 계산
• 실용 문제: 빵과 맥주의 배분, 곡물 저장고의 부피 계산

이집트의 분수 체계

이집트인들은 $\frac{2}{3}$를 제외한 모든 분수를 단위분수(분자가 1인 분수)의 합으로 표현하는 독특한 체계를 사용하였습니다. 예를 들어:

린드 파피루스의 앞부분에는 $\frac{2}{n}$ ($n$은 3부터 101까지의 홀수)을 단위분수의 합으로 나타내는 표가 수록되어 있습니다. 이 표의 작성 원리는 현대 수학사학자들에게도 여전히 흥미로운 연구 주제입니다.

원의 넓이와 원주율

이집트인들은 지름 $d$인 원의 넓이를 다음과 같이 근사하였습니다:

이를 $A = \frac{\pi d^2}{4}$와 비교하면 $\pi \approx \frac{256}{81} \approx 3.1605$에 해당하며, 실제값 $3.14159\ldots$에 상당히 근접한 근사입니다.

바빌로니아 수학

60진법 (Sexagesimal System)

바빌로니아인들은 60진법 위치 기수법을 사용하였습니다. 60은 2, 3, 4, 5, 6, 10, 12, 15, 20, 30으로 나누어떨어지므로 분수 계산에 매우 유리합니다. 이 체계의 유산은 오늘날에도 남아 있습니다:

• 1시간 = 60분, 1분 = 60초
• 원 한 바퀴 = 360도 ($= 6 \times 60$)

바빌로니아의 점토판에는 위치 기수법이 명확히 사용되었으며, 이는 인도에서 0이 발명되기 수천 년 전의 일입니다. 다만 바빌로니아에서는 빈 자리를 구분하는 완전한 "영"의 개념은 아직 확립되지 않았습니다.

플림프턴 322 (Plimpton 322)

기원전 1800년경의 점토판인 플림프턴 322는 수학사에서 가장 유명한 유물 중 하나입니다. 이 판에는 피타고라스 수의 목록이 기록되어 있습니다:

예를 들어 $(119, 120, 169)$, $(3367, 3456, 4825)$ 등이 포함되어 있으며, 이는 피타고라스보다 1200년 이상 앞선 것입니다. 일부 학자들은 이 표가 삼각함수 표의 원형이라고 해석하기도 합니다.

대수학과 근사 계산

바빌로니아인들은 이차방정식의 해법을 알고 있었으며, $\sqrt{2}$를 놀라운 정밀도로 계산하였습니다:

이는 실제값 $1.41421356\ldots$와 소수점 이하 5자리까지 일치합니다. 바빌로니아인들이 사용한 것으로 추정되는 알고리즘은 오늘날 "바빌로니아 방법" 또는 "헤론의 방법"으로 불리는 뉴턴법의 특수한 경우입니다:

고대 인도 수학

영(0)의 발명

인류 수학사에서 가장 혁명적인 발명 중 하나는 0을 독립적인 수로 인정한 것입니다. 인도에서 0은 단순한 빈 자리 표시를 넘어 산술 연산의 대상으로 발전하였습니다.

• 바크샬리 필사본 (3~4세기경): 0을 나타내는 점 기호가 사용됨
• 브라마굽타 (628년, 브라마스푸타싯단타): 0에 대한 산술 규칙을 최초로 체계적으로 기술

브라마굽타는 다음과 같은 규칙을 명시하였습니다:

• $a + 0 = a$, $a - 0 = a$
• $a \times 0 = 0$
• $0 - a = -a$ (음수의 개념도 함께 다룸)

다만 $a \div 0$에 대해서는 정확한 결론을 내리지 못하였으며, 이 문제는 이후 수세기 동안 논의되었습니다.

브라마굽타 (598~668)

브라마굽타는 0과 음수의 연산 규칙 외에도 다수의 중요한 업적을 남겼습니다:

• 브라마굽타 공식: 대변의 합이 같은 사각형(원에 내접하는 사각형)의 넓이 공식 $$K = \sqrt{(s-a)(s-b)(s-c)(s-d)}, \quad s = \frac{a+b+c+d}{2}$$
• 부정방정식: 정수론에서 $ax + by = c$ 형태의 일차 부정방정식 풀이법
• 펠 방정식: $x^2 - Ny^2 = 1$ 형태의 방정식에 대한 연구

아리아바타 (476~550)

아리아바티야의 저자 아리아바타는 인도 수학과 천문학의 거장입니다:

• 원주율: $\pi \approx \frac{62832}{20000} = 3.1416$으로 소수점 이하 4자리까지 정확하게 근사
• 삼각함수: 사인 함수의 값을 각도 $3.75°$ 간격으로 표로 정리
• 무한급수: 후대의 인도 수학자(마드하바 등)에게 영감을 준 계산법
• 쿠타카(Kuttaka) 알고리즘: 일차 부정방정식의 체계적 풀이법으로, 유클리드 호제법과 본질적으로 같은 방법

케랄라 학파 (14~16세기)

인도 남부 케랄라의 수학자들은 유럽보다 200년 이상 앞서 미적분학의 핵심 아이디어에 도달하였습니다:

• 마드하바 (1340~1425): 삼각함수의 무한급수(마드하바-라이프니츠 급수) $$\frac{\pi}{4} = 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots$$
• $\sin x$, $\cos x$, $\arctan x$의 테일러 급수를 유럽보다 먼저 발견

고대 중국 수학

구장산술 (九章算術)

구장산술은 기원전 2세기~기원후 1세기경에 편찬된 중국 수학의 핵심 문헌으로, 총 9장 246개의 문제로 구성되어 있습니다:

특히 제8장 방정(方程)에서는 연립일차방정식을 행렬 형태로 배열하여 소거법으로 풀었는데, 이는 오늘날의 가우스 소거법과 본질적으로 동일한 방법입니다. 유럽에서 같은 방법이 체계적으로 사용된 것은 18세기 이후의 일입니다.

유클리드 호제법의 독립적 발견

중국의 수학자들은 갱상감손술(更相減損術)이라는 이름으로 최대공약수를 구하는 알고리즘을 독립적으로 발견하였습니다. 이 방법은 유클리드의 호제법과 동일한 원리입니다:

• 두 수 중 큰 수에서 작은 수를 반복적으로 빼서 같아지면 그 값이 최대공약수
• 구장산술의 분수 약분에서 이미 사용

주요 중국 수학자

• 유휘 (263년): 구장산술에 주석을 달고, 다각형을 이용한 $\pi$ 계산 ($\pi \approx 3.1416$)
• 조충지 (429~500): $\pi$를 $\frac{355}{113} \approx 3.1415929$로 근사. 이 정밀도는 유럽이 16세기에야 도달한 수준
• 진구소 (1202~1261): 수서구장에서 고차 합동식, "중국인의 나머지 정리"의 일반적 풀이법 제시

그리스 수학

그리스인들은 수학을 실용적 계산 도구에서 증명에 기반한 연역적 학문으로 변화시켰습니다. 이 전환은 인류 지성사에서 가장 중요한 사건 중 하나입니다.

탈레스 (기원전 624~546)

"최초의 수학자"로 불리는 탈레스는 밀레토스 출신의 자연철학자입니다:

• 이집트에서 기하학을 배워 그리스로 전파
• 수학적 명제에 대해 최초의 논증적 증명을 시도
• 탈레스의 정리: 반원에 내접하는 각은 직각 ($90°$)
• 피라미드의 높이를 그림자의 비례를 이용하여 계산

피타고라스와 피타고라스 학파 (기원전 570~495)

"만물은 수이다"라는 신조로 유명한 피타고라스 학파는 수학을 신비적 철학과 결합하였습니다:

• 피타고라스 정리: 직각삼각형에서 $a^2 + b^2 = c^2$
• 무리수의 발견: $\sqrt{2}$가 분수로 표현할 수 없음을 증명. 전설에 따르면 이 발견은 피타고라스 학파에 큰 충격을 주었고, 이를 발견한 히파소스는 바다에 빠져 죽었다고 합니다.
• 음악과 수: 현의 길이 비가 $2:1$이면 옥타브, $3:2$이면 완전 5도 등 음악적 조화를 수의 비율로 설명
• 정수론: 완전수, 친화수, 소수에 대한 연구

유클리드와 원론 (기원전 300년경)

알렉산드리아에서 활동한 유클리드의 원론(Stoicheia)은 수학사에서 가장 영향력 있는 저서입니다. 총 13권으로 구성되어 있습니다:

• 제1~4권: 평면 기하학 (점, 선, 원, 삼각형, 평행선)
• 제5~6권: 비례론 (에우독소스의 이론)
• 제7~9권: 정수론 (소수의 무한성 증명, 유클리드 호제법)
• 제10권: 무리수의 분류
• 제11~13권: 입체 기하학, 정다면체 (5가지만 존재함을 증명)

유클리드는 5개의 공준(公準)과 5개의 공리(公理)에서 출발하여 465개의 명제를 논리적으로 도출하였습니다. 특히 제5공준(평행선 공준)은 이후 2000년간 수학자들이 증명하려 시도하였으며, 결국 19세기 비유클리드 기하학의 탄생으로 이어졌습니다.

아르키메데스 (기원전 287~212)

"역사상 가장 위대한 수학자" 목록에서 빠지지 않는 시라쿠사의 아르키메데스는 고대 수학의 절정을 보여줍니다:

• 원주율: 정96각형을 이용한 쌍방 근사 $\frac{223}{71} < \pi < \frac{22}{7}$, 즉 $3.1408 < \pi < 3.1429$
• 구의 부피와 표면적: 반지름 $r$인 구의 부피 $V = \frac{4}{3}\pi r^3$, 표면적 $S = 4\pi r^2$. 구의 부피가 외접하는 원기둥 부피의 $\frac{2}{3}$임을 증명하였으며, 이 발견을 자신의 묘비에 새기도록 부탁했다고 합니다.
• 소진법(method of exhaustion): 포물선 아래 넓이를 무한급수의 합으로 계산 -- 적분의 선구적 방법
• 아르키메데스의 방법: 20세기에 재발견된 방법론 필사본에서 그가 역학적 직관으로 결과를 먼저 발견한 후 엄밀한 증명을 나중에 구성했음이 밝혀짐
• 부력의 원리: "유레카!"로 유명한 일화

아폴로니오스 (기원전 262~190)

페르게의 아폴로니오스는 원뿔곡선론(Conics) 8권을 저술하여 원뿔곡선(타원, 포물선, 쌍곡선)을 체계적으로 연구하였습니다:

• 원뿔을 다양한 각도로 자를 때 생기는 곡선들의 분류와 성질
• "타원(ellipse)", "포물선(parabola)", "쌍곡선(hyperbola)"이라는 용어를 처음 사용
• 이 연구는 1800년 후 케플러의 행성 운동 법칙에서 핵심적 역할을 하게 됨

디오판토스 (기원후 200~284년경)

알렉산드리아의 디오판토스는 "대수학의 아버지"로 불리며, 산술론(Arithmetica)에서 정수 또는 유리수 해를 갖는 방정식을 다루었습니다:

• 디오판토스 방정식: 정수해만을 구하는 부정방정식 이론의 기초
• 약자형 기호를 사용한 초기 대수적 표기법
• 페르마는 디오판토스의 산술론 여백에 유명한 "마지막 정리"를 적어놓았음: "$n \geq 3$일 때 $x^n + y^n = z^n$을 만족하는 양의 정수 해는 없다"

이슬람 수학의 황금기

8~14세기 이슬람 세계는 그리스, 인도, 바빌로니아의 수학 유산을 번역, 보존, 확장하여 수학 발전에 결정적인 기여를 하였습니다. 바그다드의 지혜의 집(바이트 알히크마)은 이 시대 학문의 중심지였습니다.

알-콰리즈미 (780~850)

무함마드 이븐 무사 알-콰리즈미는 수학사에 두 가지 근본적인 용어를 남긴 인물입니다:

• "대수학(Algebra)": 그의 저서 히사브 알자브르 왈무카발라(복원과 대조의 계산법)의 "알자브르(al-jabr)"에서 유래
• "알고리즘(Algorithm)": 그의 이름 "알-콰리즈미"의 라틴어 변형에서 유래
• 일차방정식과 이차방정식의 체계적 분류 및 풀이법 제시
• 인도의 십진법 수 체계를 아라비아 세계에 소개

알-콰리즈미는 이차방정식 $x^2 + 10x = 39$를 기하학적 방법으로 풀었습니다. 정사각형의 넓이 완성(completing the square)이라는 기법을 사용하여:

알-하이삼 (965~1040)

이븐 알-하이삼(라틴어명 알하젠)은 바스라 출신의 수학자이자 물리학자로, "광학의 아버지"로도 불립니다:

• 적분의 선구자: 포물면체의 부피를 구하기 위해 $\sum_{k=1}^{n} k^4$의 공식을 유도
• 알하젠의 문제: 구면 거울에서 빛의 반사점을 찾는 문제를 4차방정식으로 귀결시킴
• 과학적 방법: 실험과 수학적 증명을 결합한 연구 방법론의 선구자

오마르 하이얌 (1048~1131)

페르시아의 시인이자 수학자인 오마르 하이얌의 수학적 업적:

• 삼차방정식의 기하학적 풀이: 원뿔곡선의 교점으로 삼차방정식의 양의 실수 근을 구하는 체계적 방법을 최초로 제시
• 이항정리: 양의 정수 지수에 대한 이항정리를 파스칼보다 수백 년 앞서 기술
• 유클리드 제5공준: 평행선 공준에 대한 비판적 분석으로 비유클리드 기하학의 씨앗을 뿌림
• 달력 개혁: 그가 설계한 잘랄리 달력은 그레고리력보다 더 정확한 것으로 알려져 있음

기타 이슬람 수학자

• 타비트 이븐 쿠라 (826~901): 친화수 쌍의 발견, 유클리드 번역
• 알-카시 (1380~1429): $\pi$를 소수점 이하 16자리까지 계산 -- 당시 세계 최고 정밀도
• 알-사마왈 (1130~1180): 음수 지수, 다항식의 대수학

르네상스와 17세기

르네상스 시기 유럽은 그리스-아라비아 수학 유산을 재발견하고 이를 비약적으로 발전시켰습니다.

삼차·사차 방정식의 풀이

16세기 이탈리아에서 벌어진 수학 경연은 수학사의 극적인 에피소드입니다:

• 타르탈리아 (1499~1557): 삼차방정식 $x^3 + px = q$의 해법을 발견하였으나 비밀로 유지
• 카르다노 (1501~1576): 타르탈리아로부터 해법을 전해 듣고 아르스 마그나(위대한 기술, 1545)에 출판 $$x = \sqrt[3]{-\frac{q}{2} + \sqrt{\frac{q^2}{4} + \frac{p^3}{27}}} + \sqrt[3]{-\frac{q}{2} - \sqrt{\frac{q^2}{4} + \frac{p^3}{27}}}$$
• 페라리 (1522~1565): 카르다노의 제자로, 사차방정식의 일반해를 삼차방정식으로 환원하는 방법 발견

데카르트 (1596~1650): 해석기하학

르네 데카르트는 1637년 방법서설의 부록 기하학(La Géométrie)에서 좌표기하학을 창시하여 기하학과 대수학을 통합하였습니다:

• 기하학적 도형을 방정식으로 표현: 원 $x^2 + y^2 = r^2$, 직선 $y = mx + b$ 등
• 기하학 문제를 대수적으로, 대수 문제를 기하학적으로 해결하는 길을 열음
• 현대적인 지수 표기법($x^2, x^3, \ldots$)을 도입

페르마 (1601~1665)

직업은 법관이었으나 "아마추어의 왕"으로 불리는 피에르 드 페르마:

• 정수론: 페르마 소정리 $a^{p-1} \equiv 1 \pmod{p}$ (오늘날 RSA 암호의 기초)
• 해석기하학: 데카르트와 독립적으로 좌표기하학의 기본 아이디어를 발견
• 확률론: 파스칼과의 서신 교환에서 확률 이론의 기초를 수립
• 미적분학의 선구: 극대·극소를 구하는 방법, 곡선 아래 넓이를 구하는 기법
• 페르마의 마지막 정리: 여백이 좁아서 증명을 적지 못한다는 유명한 메모. 358년 후 와일즈가 증명

파스칼 (1623~1662)

블레즈 파스칼은 16세에 원뿔곡선론을 쓴 천재 수학자입니다:

• 파스칼의 삼각형: 이항계수 $\binom{n}{k}$를 삼각형 형태로 배열 $$\binom{n}{k} = \binom{n-1}{k-1} + \binom{n-1}{k}$$
• 확률론: 페르마와의 서신에서 "문제의 분배"를 해결하며 확률론을 개척
• 파스칼의 원리: 유체역학의 기본 원리
• 계산기: 최초의 기계식 계산기 파스칼린(Pascaline) 발명

뉴턴 (1643~1727)

"자연의 법칙은 어둠 속에 숨어 있었다. 신이 말하기를, 뉴턴이 있으라! 하니 모든 것이 빛이 되었다." (알렉산더 포프)

• 미적분학: "유율법(method of fluxions)"으로 독립적으로 미적분학을 발명. 도함수를 $\dot{y}$로 표기
• 이항급수: $(1+x)^n$의 무한급수 전개를 임의의 실수 $n$에 대해 일반화 $$(1+x)^n = 1 + nx + \frac{n(n-1)}{2!}x^2 + \frac{n(n-1)(n-2)}{3!}x^3 + \cdots$$
• 뉴턴의 방법: 방정식 $f(x) = 0$의 근을 반복적으로 근사하는 알고리즘 $$x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)}$$
• 프린키피아 (1687): 운동 법칙과 만유인력의 법칙을 체계적으로 제시하여 하늘과 땅의 운동을 하나의 수학으로 설명

라이프니츠 (1646~1716)

고트프리트 빌헬름 라이프니츠는 뉴턴과 독립적으로 미적분학을 발견하였으며, 그의 표기법이 오늘날 표준으로 사용됩니다:

• 미분 기호 $\frac{dy}{dx}$와 적분 기호 $\int$를 도입 (라틴어 "summa"의 S를 늘린 것)
• 미적분학의 기본 정리를 명확히 인식: $\int_a^b f'(x)\,dx = f(b) - f(a)$
• 이진법(binary system)의 체계적 연구 -- 현대 컴퓨터의 기초
• 행렬식(determinant)의 개념을 최초로 사용

18세기 수학

18세기는 미적분학이 성숙하고 새로운 수학 분야들이 탄생한 시기입니다.

오일러 (1707~1783)

레온하르트 오일러는 역사상 가장 다작한 수학자로, 전 생애에 걸쳐 약 900편의 논문을 남겼습니다. 말년에 실명하였음에도 연구 속도가 줄지 않았습니다:

• 오일러의 항등식: 수학에서 가장 아름다운 공식으로 불림 $$e^{i\pi} + 1 = 0$$ 다섯 가지 기본 상수($e, i, \pi, 1, 0$)를 하나의 등식으로 연결
• 오일러 공식: $e^{i\theta} = \cos\theta + i\sin\theta$
• 함수 표기법: $f(x)$ 표기법을 대중화, $e$, $\pi$, $i$, $\Sigma$ 등의 기호를 정착
• 그래프 이론: 쾨니히스베르크 다리 문제(1736)를 해결하며 그래프 이론과 위상수학의 기초를 놓음
• 정수론: 페르마 소정리의 일반화(오일러 정리), $\zeta(2) = \frac{\pi^2}{6}$ (바젤 문제) 등
• 해석학: 미적분학 교재 집필, 무한급수 이론, 감마 함수 $\Gamma(n) = (n-1)!$의 일반화
• 오일러 다면체 정리: $V - E + F = 2$ (꼭짓점 - 모서리 + 면 = 2)

라그랑주 (1736~1813)

조제프루이 라그랑주는 해석역학과 대수학에서 획기적인 공헌을 하였습니다:

• 해석역학 (1788): 뉴턴 역학을 변분법과 일반 좌표로 재구성 $$\frac{d}{dt}\frac{\partial L}{\partial \dot{q}_i} - \frac{\partial L}{\partial q_i} = 0$$
• 라그랑주 보간법: $n+1$개의 점을 지나는 다항식의 구성
• 라그랑주 승수법: 제약 조건이 있는 최적화 문제의 해법
• 군론의 선구: 대칭군에서 부분군의 위수가 군의 위수를 나눈다는 라그랑주 정리
• 사점정리: 모든 양의 정수는 4개 이하의 제곱수의 합으로 표현됨을 증명

라플라스 (1749~1827)

피에르시몽 라플라스는 "프랑스의 뉴턴"으로 불립니다:

• 천체역학: 5권의 천체역학 논고에서 태양계의 안정성을 수학적으로 분석
• 확률론: 확률의 해석적 이론(1812)에서 확률론을 체계적으로 수학화 $$P(A|B) = \frac{P(B|A) \cdot P(A)}{P(B)}$$ (베이즈 정리의 일반화)
• 라플라스 변환: $\mathcal{L}\{f(t)\} = \int_0^\infty e^{-st} f(t)\,dt$, 오늘날 공학과 물리학에서 널리 사용
• 라플라스 방정식: $\nabla^2 \phi = 0$, 전자기학과 유체역학의 기본 방정식

19세기 수학

19세기는 수학이 급격하게 엄밀해지고 추상화된 시기입니다. 해석학의 기초가 확립되고, 비유클리드 기하학이 탄생하며, 군론과 집합론이 등장하여 현대 수학의 골격이 형성되었습니다.

가우스 (1777~1855)

"수학의 왕"이라 불리는 카를 프리드리히 가우스는 거의 모든 수학 분야에 근본적인 기여를 하였습니다:

• 정수론: 19세 때 정17각형의 자와 컴퍼스 작도가 가능함을 증명. 산술 연구(Disquisitiones Arithmeticae)(1801)에서 합동 산술, 이차 상호법칙을 체계화
• 산술의 기본 정리: 모든 자연수의 소인수분해가 유일함을 최초로 엄밀히 증명
• 대수학의 기본 정리: 모든 $n$차 복소 다항식은 정확히 $n$개의 근(중복 포함)을 가짐을 증명
• 비유클리드 기하학: 독립적으로 발견하였으나 논란을 피해 출판하지 않음
• 가우스 곡률: 곡면의 내재적 성질로서의 곡률 개념, "놀라운 정리(Theorema Egregium)"
• 최소제곱법: 관측 데이터로부터 최적의 추정값을 구하는 통계적 방법
• 소수 정리의 추측: $\pi(x) \sim \frac{x}{\ln x}$ ($x$ 이하 소수의 개수에 대한 점근 추정)

코시 (1789~1857)

오귀스탱루이 코시는 해석학에 엄밀한 기초를 제공하였습니다:

• 극한의 정의: 수열과 함수의 극한을 엄밀하게 정의
• 코시 수열: 완비성의 기초 개념
• 연속함수: 연속성의 엄밀한 정의와 중간값 정리의 증명
• 복소해석학: 코시 적분 정리, 코시 적분 공식, 유수 정리 등 복소함수론의 핵심 이론을 수립
• 약 800편의 논문을 발표하여 오일러에 이어 두 번째로 다작한 수학자

바이어슈트라스 (1815~1897)

"현대 해석학의 아버지"로 불리는 카를 바이어슈트라스:

• $\varepsilon$-$\delta$ 정의: 극한, 연속, 미분의 개념을 완전히 산술적으로 정의 (해석학의 산술화) $$\lim_{x \to a} f(x) = L \iff \forall \varepsilon > 0,\; \exists \delta > 0 : 0 < |x - a| < \delta \implies |f(x) - L| < \varepsilon$$
• 바이어슈트라스 함수: 모든 점에서 연속이지만 어떤 점에서도 미분 불가능한 함수를 구성 $$f(x) = \sum_{n=0}^{\infty} a^n \cos(b^n \pi x), \quad 0 < a < 1,\; ab > 1 + \frac{3\pi}{2}$$ 이 발견은 직관에 반하는 것으로, 해석학의 엄밀화가 얼마나 필요한지를 생생히 보여줌
• 균등수렴: 함수열의 수렴에 관한 개념을 정립

아벨 (1802~1829)과 갈루아 (1811~1832)

두 사람 모두 젊은 나이에 요절하였으나, 대수학에 혁명적인 기여를 남겼습니다:

• 아벨: 5차 이상 일반 다항식 방정식은 거듭제곱근으로 풀 수 없음을 최초로 증명 (아벨-루피니 정리). 타원함수론에도 핵심적 기여. 폐결핵으로 26세에 사망.
• 갈루아: 군론(group theory)을 창시하여 다항식의 가해성(풀 수 있는지)을 군의 구조로 판별하는 이론(갈루아 이론)을 수립. 결투에서 부상당해 20세에 사망. 전날 밤 급히 정리한 편지가 현대 대수학의 초석이 됨.

갈루아 이론의 핵심 결과: $n$차 다항식의 갈루아 군이 가해군(solvable group)일 때만 해가 거듭제곱근으로 표현될 수 있습니다. $n \geq 5$이면 대칭군 $S_n$은 가해군이 아니므로 일반적인 해 공식이 존재하지 않습니다.

리만 (1826~1866)

베른하르트 리만은 39세에 요절하였으나 수학의 여러 분야에 깊은 영향을 미쳤습니다:

• 리만 기하학: 가우스의 곡면 이론을 일반적인 $n$차원 다양체로 확장. 이후 아인슈타인의 일반 상대성 이론의 수학적 틀이 됨
• 리만 가설 (1859): 리만 제타 함수 $\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s}$의 비자명 영점이 모두 실수 부분이 $\frac{1}{2}$인 직선 위에 있다는 추측. 소수의 분포에 관한 가장 중요한 미해결 문제 $$\zeta(s) = 0 \text{의 비자명 영점} \implies \text{Re}(s) = \frac{1}{2} \text{ ?}$$
• 리만 적분: 적분의 엄밀한 정의
• 복소해석학: 리만 곡면, 리만 사상 정리

칸토어 (1845~1918)

게오르크 칸토어는 집합론을 창시하여 무한의 수학적 이론을 수립하였습니다:

• 대각선 논법 (1891): 실수 집합이 자연수 집합보다 "더 큰 무한"임을 증명. 두 집합 사이에 일대일 대응이 불가능함을 보이는 혁명적 방법
• 기수와 서수: 무한 집합의 크기를 비교하는 이론 수립. $\aleph_0$(가산 무한), $\aleph_1, \aleph_2, \ldots$
• 연속체 가설: $\aleph_0$과 $2^{\aleph_0}$ 사이에 다른 기수가 있는지의 문제를 제기 (이후 괴델과 코언에 의해 ZFC 공리계에서 독립임이 밝혀짐)
• 칸토어-베른슈타인-슈뢰더 정리: $|A| \leq |B|$이고 $|B| \leq |A|$이면 $|A| = |B|$

칸토어의 집합론은 수학 전체의 기초를 제공하였지만, 러셀의 역설(1901년) 등이 발견되면서 수학 기초론에 대한 위기를 촉발하기도 하였습니다.

힐베르트 (1862~1943)

다비트 힐베르트는 19세기 말~20세기 초 수학의 거의 모든 분야에서 활동한 범수학자입니다:

• 기하학 기초론 (1899): 유클리드 기하학을 20개의 공리로 완벽하게 공리화
• 힐베르트 공간: 무한차원 벡터 공간으로, 양자역학의 수학적 틀
• 불변식론: 존재성 증명(비구성적 증명)의 혁명적 사용
• 힐베르트 23문제 (1900): 20세기 수학의 방향을 설정한 미해결 문제 목록 (아래에서 상세히 다룸)

20세기 수학

20세기는 수학의 추상화가 극에 달하고, 수학 기초론에 대한 격렬한 논쟁이 벌어지며, 동시에 컴퓨터의 등장으로 전혀 새로운 가능성이 열린 시기입니다.

힐베르트 23문제 (1900)

1900년 파리 국제수학자대회에서 힐베르트는 20세기 수학이 해결해야 할 23개의 문제를 발표하였습니다. 이 문제들은 100년간 수학 연구의 방향을 설정하는 데 결정적인 역할을 하였습니다:

괴델의 불완전성 정리 (1931)

쿠르트 괴델(1906~1978)의 불완전성 정리는 20세기 수학과 철학에서 가장 충격적인 결과 중 하나입니다:

• 제1 불완전성 정리: 자연수론을 포함하는 무모순인 형식 체계에는 증명할 수도 반증할 수도 없는 명제가 반드시 존재합니다.
• 제2 불완전성 정리: 그러한 체계는 자기 자신의 무모순성을 증명할 수 없습니다.

이 결과는 힐베르트가 꿈꾸었던 "수학의 완전한 형식화" 프로그램이 원리적으로 불가능함을 의미합니다. 그러나 역설적으로 이는 수학적 사고의 깊이와 풍요로움을 보여주는 것이기도 합니다.

튜링과 계산가능성 (1936)

앨런 튜링(1912~1954)은 "계산"이란 무엇인지를 수학적으로 정의하여 컴퓨터 과학의 기초를 놓았습니다:

• 튜링 기계: 무한한 테이프 위에서 기호를 읽고 쓰는 가상의 기계로, 모든 알고리즘을 모델링
• 정지 문제(Halting Problem): 임의의 프로그램이 유한 시간 안에 종료하는지를 판정하는 일반적 알고리즘은 존재하지 않음을 증명
• 처치-튜링 논제: "계산 가능한 함수"는 정확히 튜링 기계로 계산할 수 있는 함수라는 가설
• 제2차 세계대전: 에니그마 암호 해독에 핵심적 기여

부르바키 (1935~)

니콜라 부르바키는 1930년대 프랑스의 젊은 수학자 그룹(앙드레 베유, 앙리 카르탕, 장 디외도네 등)이 사용한 공동 필명입니다:

• 수학원론(Éléments de mathématique) 시리즈를 통해 수학 전체를 집합론 기반으로 엄밀하게 재구성
• 구조주의적 관점: 수학의 핵심을 대수적 구조, 위상적 구조, 순서 구조의 세 가지로 파악
• 현대 수학의 추상적·공리적 스타일에 지대한 영향

20세기의 주요 업적

앤드류 와일즈와 페르마의 마지막 정리 (1994)

358년간 미해결이었던 페르마의 마지막 정리를 영국의 수학자 앤드류 와일즈가 증명하였습니다:

• 와일즈는 7년간 비밀리에 연구하여 1993년 케임브리지에서 증명을 발표
• 증명에서 결함이 발견되었으나, 와일즈와 리처드 테일러가 1년간의 추가 작업 끝에 1994년 수정 완료
• 핵심은 타니야마-시무라-베유 추측(준안정 타원곡선에 대해)을 증명하여, 이로부터 페르마의 정리를 도출한 것
• 이 증명은 정수론, 대수기하학, 표현론 등 현대 수학의 다양한 분야를 종합한 대작

21세기 수학

페렐만과 푸앵카레 추측 (2003)

1904년 앙리 푸앵카레가 제기한 추측 -- "단일 연결인 폐 3차원 다양체는 3차원 구와 위상동형이다" -- 을 러시아의 수학자 그리고리 페렐만이 2003년에 증명하였습니다:

• 리처드 해밀턴이 개발한 리치 흐름(Ricci flow) $\frac{\partial g}{\partial t} = -2\text{Ric}(g)$을 핵심 도구로 사용
• 리치 흐름에서 발생하는 특이점을 수술(surgery)로 제거하는 기법을 완성
• 페렐만은 필즈상과 밀레니엄 상금 100만 달러를 모두 거부하여 세계적인 화제가 됨
• "증명이 올바르다면 상을 받을 필요가 없다"라는 그의 발언은 수학의 본질에 대한 깊은 성찰을 담고 있음

밀레니엄 문제

2000년 클레이 수학 연구소(CMI)가 발표한 7개 미해결 문제로, 각 문제에 100만 달러의 상금이 걸려 있습니다:

수학의 현대적 방향

• 랭글랜즈 프로그램: 정수론, 대수기하학, 표현론을 통합하는 거대한 체계. 2018년 로버트 랭글랜즈 아벨상 수상
• 호모토피 유형론(HoTT): 수학의 새로운 기초로서 유형 이론과 호모토피 이론의 결합 (보드빈스키 등)
• 형식 검증: Lean, Coq 등의 정리 증명기를 이용한 수학적 증명의 컴퓨터 검증
• 기계 학습과 수학: AI를 활용한 추측 생성과 증명 탐색 (DeepMind의 AlphaProof 등)
• 계산 수학: 컴퓨터를 활용한 대규모 수치 실험과 시뮬레이션

한국 수학사

고대~고려 시대의 산학

한국의 수학은 산학(算學)이라 불리며, 중국 수학의 영향을 받으면서도 독자적인 발전을 이루었습니다:

• 삼국시대: 통일신라의 국학(國學)에 산학 과목이 설치되어 구장산술, 철술(綴術) 등을 교재로 사용
• 고려 시대: 국자감에 산학 전공이 있었으며, 과거 시험에 산학과가 포함됨

조선 시대: 세종과 산학의 전성기

조선 시대에는 산학이 중인(中人) 계층의 기술직으로 제도화되었으며, 특히 세종 시대에 큰 발전을 이루었습니다:

• 세종대왕: 천문학과 역법 발전을 위해 수학 연구를 장려. 간의대, 자격루, 앙부일구 등의 과학기기 제작에 수학적 계산이 필수적이었음
• 이순지·김담: 세종의 명으로 칠정산 내·외편을 편찬하여 독자적인 역법을 완성. 이 과정에서 고급 수학적 계산이 활용됨
• 산학 과거: 호조, 공조 등에서 활동할 산학관(算學官)을 선발하기 위한 시험으로, 구장산술, 양휘산법, 산학계몽 등을 시험 범위로 지정

홍정하 (1684~?)와 구일집

조선 최고의 산학자로 평가받는 홍정하는 산학 가문 출신으로, 대표작 구일집(九一集)(1724년경)을 저술하였습니다:

• 천원술(天元術)과 방정술(傍正術)을 활용한 고차방정식의 풀이
• 당시 중국 수학과 독립적으로 발전시킨 독자적인 해법도 포함
• 조선 산학의 수준이 동시대 중국 수학에 필적했음을 보여주는 증거

기타 조선 시대 산학서

• 경선징 (1616~?): 묵사집산법(默思集算法) -- 조선 중기의 주요 산학서
• 황윤석 (1729~1791): 산학입문 -- 서양 수학의 영향을 받기 시작한 시기의 저작
• 이상혁 (1810~?): 익산(翼算), 차근방몽구(借根方蒙求) -- 서양 대수학을 조선 산학에 접목하려는 시도
• 남병길 (1820~1869): 집고연단(輯古演段) 등 다수의 산학서 저술

근현대 한국 수학

• 개화기: 서양 수학이 본격적으로 도입. 근대적 교육제도 하에서 수학 교육 시작
• 일제강점기: 이임학(1903~1974) 등이 일본에서 수학을 공부하고 귀국하여 한국 근대 수학의 기초를 놓음
• 대한수학회: 1946년 10월 창립, 한국 수학계의 구심점 역할
• 현대: 2014년 국제수학연맹(IMU) 그룹 V(최상위 그룹) 가입. 국제수학올림피아드(IMO)에서 꾸준히 상위권을 유지하며, 허준이 교수가 2022년 필즈상을 수상하여 한국계 최초의 수상자가 됨

수학 연표

참고자료

• Boyer, C. B. & Merzbach, U. C. — A History of Mathematics, Wiley
• Kline, M. — Mathematical Thought from Ancient to Modern Times, Oxford
• Stillwell, J. — Mathematics and Its History, Springer
• 김용운, 김용국 — 한국수학사, 살림Math
• 김옥자, 김영욱 — 조선산학과 동아시아 수학, 경문사
• 사사키 치카라 — 근대 수학의 역사 (한국어 번역본)
• 기하학 — 유클리드에서 시작된 수학
• 미적분학 — 뉴턴과 라이프니츠의 유산
• 집합론 — 칸토어의 혁명
• 정수론 — 페르마에서 와일즈까지
• 추상대수학 — 갈루아가 연 길