al-muḫtaṣar fī ḥisāb al-ğabr wa-l-muqābala.jpg|섬네일|820년경 출판된 화리즈미의 증보판 산술 개론 수학의 역사 는 인류의 역사 와 더불어 시작되었다고 할 만큼 오래 되었다. 수학사 (數學史)로 알려진 학문 분야는 본래 수학의 새로운 발견에 대한 기원을 탐구하는 것이며, 더 작게는, 과거의 표준적인 수학 방법과 용어에 대한 탐구이다. 교역 ·분배 ·과세 등 인류의 사회 생활에 필요한 모든 계산을 수학이 담당해 왔고, 농경생활에 필수적인 천문 관측과 달력의 제정, 토지의 측량 또한 수학이 직접적으로 관여한 분야이다. 고대 수학을 크게 발전시킨 나라로는 이집트, 인도, 그리스, 중국 등이 있다. 근대 이전 시대에는 지식의 전 세계적인 확산이 이루어지지 않았기 때문에 새로운 수학적 발전이 문자로 기록된 경우는 일부 지역에 국한된 것이었다. 현존하는 가장 오래된 수학적 텍스트들은 플림톤 322(바빌로니아 수학, 기원전 1900년경), 모스크바 수학 파피루스(이집트의 수학, 기원전 1850년경), 린드 수학 파피루스(이집트의 수학, 기원전 1650년경), 술바 수트라스(인도의 수학, 기원전 800년경) 정도이다. 이들 모두는 이른바 피타고라스의 정리라 불리는 것에 관한 것으로, 고대 시대에 이미 아주 오래전부터 기초적인 산술과 기하학적 지식으로 널리 알려져 있었다. 고대 이집트와 바빌로니아의 수학으로부터 발전한 고대 그리스와 헬레니즘 시대의 수학은 수학적 방법과 다루는 주제를 크게 확장시켰다. 특히 엄격한 증명의 도입은 그리스 수학의 업적이다. 이들 고대 문명에서 발전한 수학은 이슬람 수학에서 더 발전하고, 크게 확장되었다. 12세기 무렵 그리스와 아랍의 수학 문헌들이 중세 유럽에서 라틴어로 번역되어 더욱 발전하였다. 고대와 중세 수학사의 인상적인 특징은 수학의 폭발적 발전이 종종 침체기 이후에 뒤따른 다는 것이다. 16세기 르네상스 초기 이탈리아에서, 새로운 과학적 발견에 영향을 준 새로운 수학적 발전들이 빠른 속도로 이루어졌고 지금도 진행중에 있다. 수학은 인류의 역사와 더불어 시작되었다고 할 만큼 오래되었다. 선사 시대의 유적 중에는 문자가 없던 이 시기에 이미 별을 이용하여 측량을 하는 수학적인 지식이 있었음을 보여주는 그림이 남아있다. 2002년 고생물학자들은 남아프리카의 동굴에서 암석을 연구하다가 약 7만 년 전에 기하학적인 무늬를 새긴 돌을 발견하였다. 또한 아프리카 3만 5천 년 전에 제작된 것으로 추정되는 기초적인 셈이 표기된 유물을 발굴하기도 하였다. 선사시대의 유물 중에는 이상고 뼈와 같이 뼈나 돌에 28 - 30개의 줄을 새긴 것들이 있다. 이는 여성이 월경 주기를 계산하기 위해 표시한 것으로 보인다. 또한 사냥꾼이 자신이 잡은 동물의 수를 표시하기 위해 금을 새긴 것으로 보이는 유물도 발견된다.이상고 뼈는 1960년 콩고와 인접한 나일강 발원지 부근에서 발견되었다. 2만년 전에 만들어진 것으로 추정되는 이 뼈에는 소수를 이용한 고대 이집트의 구구법과 같은 수열이 새겨져 있다. 기원전 5천년 경 전왕조 시대의 이집트에서는 기하학을 이용하여 공간을 분할하기 시작하였다. 한편, 기원전 3천년경 만들어진 잉글랜드와 스코틀랜드의 거석 구조물에는 원, 타원, 피타고라스 수와 같은 수학적 지식이 사용되었다. 기원전 3000 ~ 2600년 경 고대 인도의 인더스 문명에서는 십진법을 이용한 도량법이 만들어져 비율과 함께 벽돌 건축 기술에 사용되었다. 인더스 문명의 건축가들은 자, 컴파스와 같은 기하학 도구를 사용하여 자신들의 도시를 설계하였다. 이로써 인더스 문명의 도시에는 직각으로 이루어진 도로가 놓이고 직육면체, 원기둥, 원뿔 등이 적용된 건물이 들어섰다. 인더스 문자가 아직 완전히 해독되지 않아 당시의 인도 수학은 일부만이 알려져 있다. 고고학적 연구결과에 따르면 인더스 문명은 팔진법을 이용한 기수법을 사용하였고 고유의 π 값을 사용하였다. 중국에서는 상나라 시기 거북 등에 그려진 그림과 같은 마방진이 알려져 있었다기원후 100년경 출간된 에우클레이데스의 《스토이케이아》 중 일부, 제2권 명제 5에 대해 서술하고 있다. 기원전 300년 경 알렉산드리아 시대의 그리스의 수학자 에우클레이데스(영어식 이름인 유클리드로 널리 알려져 있다.)가 그 이전의 저서와 연구를 집대성하여 《스토이케이아》(Stoicheia)를 지었다. 이것은 후세에 마테오리치(Matteo Ricci, 중국명은 利瑪竇, 1552~1610)의 구역(口譯)과 서광계(徐光啓, 1562~1633)의 집필에 힘입어 《기하원본》(幾何原本, 1607)이라고 한역(漢譯)된 일이 있는데, 내용은 도형(圖形)뿐만 아니라 그리스식 방법에 따라 체계화된 교과서였다. 즉 제1권은 수직·평행 및 평행 4변형에서 피타고라스(Pythagoras)의 정리까지, 제2권은 2차방정식의 면적에 의한 해법, 제3권은 원과 호, 호에 대한 각, 제4권은 내외접 정다각형(內外接正多角形), 제5권은 비례론(比例論), 제6권은 비례론의 도형에의 응용, 제7권부터 제9권까지는 정수론(整數論), 제10권은 무리수론(無理數論), 제11권부터 제13권까지는 입체기하학이다. 간단히 말하면 그리스의 정통적인 수학은 기하학과 정수론과 비례론이고, 대수(代數)는 기하학적으로 풀었던 것이다. 그리고 이것이 공리(公理)·정의(定義)·정리(定理)에 의하여 매우 논리적으로 진행(進行)되었는데, 그와 같이 체계화한 데는 플라톤(Platon, BC 427 ~ BC 347)에 의하는 바가 많다고 한다. 하기는 디오판토스(Diophantos, 246 ~ 330)는 기호를 사용해서 대수문제를 풀기는 했으나 그것은 예외적인 존재이다. 중세 유럽 수학의 관심사는 근대의 수학자들과는 상당히 다른 것들에 의해 이루어졌다. 하나의 중요한 요소는 수학이 창조된 자연을 이해하기 위한 열쇠를 제공하는 것이라는 믿음으로, 플라톤의 《티마이오스》와 "신은 모든 것을 재고, 헤아리고, 알아서 처리한다."라는 성경 구절(외경 "지혜서" 11장 21절)이 그 근거로 제시되었다. 보에티우스는 산술과 기하학, 천문학 그리고 음악에 대한 학문을 기술하기 위해 "4학"이라는 용어를 만들면서, 수학을 교육 과정의 하나로 자리매김했다. 그는 유클리드의 "기하학"을 발췌한 총서의 하나인 니코마쿠스의 《산술 ( De institutione musica )》을 번역하여 《산수입문 ( De institutione arithmetica )》을 저술하였다. 그의 책들은 실용적이기보다는 오히려 이론적이었으며, 그리스와 아랍 수학 책들의 재등장 전까지 수학 연구의 기초였다. 12세기에, 유럽의 학자들은 과학의 아랍 문헌들을 찾으려고 스페인과 시칠리를 여행했는데, 여기에는 체스터의 로버트에 의해 라틴어로 번역된, 알 콰리즈미의 대수학( al-Jabr wa-al-Muqabilah )과 베스의 애덜라드와 카린티아의 헤르만 그리고 크레모나의 제라르드에 의해 여러 개의 판으로 번역된 유클리드 원론의 전체 문헌이 포함되어 있다. 이들의 새로운 원천들은 수학의 부흥을 불러일으켰다. 1202년에 쓰이고, 1254년에 수정된 《계산판의 책》(Liber Abaci)에서, 레오나르도 피보나치는 유럽에서 에라토스테네스의 시대 이후 3천년 이상의 시간 차이를 두고, 처음으로 중요한 수학을 만들어 냈다. 그 작업은 유럽에 아라비아 수 체계를 도입하고, 많은 다른 수학 문제들을 논의한 것이었다. 14세기는 폭넓은 범위의 문제들을 탐구하기 위해 새로운 수학적 개념들이 발전했던 것으로 보인다. 수학 발전에 기여한 하나의 중요한 분야는 위치 이동의 분석에 관한 것이었다. 토마스 브래드워딘은 산술적 비율로 증가하는 속도(V)는 기하학적 비율로 증가하는 힘(F)과 저항(R)의 비율이라고 제안했다. 브래드워딘은 이를 특정한 일련의 예로써 표현했다. 그러나 그 당시에는 아직 로그 개념이 착상되지 않았지만, 나중에 오류로 밝혀진 그의 결론을 다음과 같이 써서 표현할 수 있다 V = log (F/R). 브래드워딘의 해석은 혼합된 의약품의 성분을 계량하기 위하여 알 킨디와 빌라노바의 아놀드가 사용했던 수학적 기교를, 하나의 다른 물리 문제에 모방한 하나의 예이다. 르네상스의 여명기에 유럽에서, 수학은 로마 숫자를 사용하는 불편한 기수법과 기호보다는 오히려 단어를 사용하여 관계를 표현하는 것 때문에 아직은 제한적이었다. 즉 더하기 기호도, 같다라는 기호도, x 라는 미지수도 사용되지 않았다. 16세기의 유럽 수학은, 오늘날 우리가 아는 한에서는 세계 어디에서도 전례가 없는 진전을 이루면서 시작되었다. 그 첫 번째는 삼차방정식의 일반적인 해법으로, 통상적으로 1510년경 스키피오 델 페로가 먼저라고 알려져있지만, 카르다노의 제자 로도비코 페라리에 의한 사차방정식에 대한 일반적 해법을 포함된, 뉘른베르크에서 요하네스 페트레이우스에 의해 첫 출판된 지롤라모 카르다노의 책, 아르스 마그나( Ars magna )이다. 이 순간부터, 수학은 당시의 물리학의 진보에 기여를 하거나 도움을 받으며, 급속하게 발전했다. 이 진보는 인쇄술의 발전으로부터 크게 도움받았다. 가장 처음 인쇄된 수학 책들은 1472년 포이에르 바하의 "행성에 관한 새로운 이론"이며, 다음에는 1478년의 상업 산수에 관한 책 트레비소 산수였고, 그리고 1482년 에르하르트 라트돌트에 의해 최초의 수학 책인 유클리드의 원론이 인쇄되고 출판되었다. 항해가 증가하고, 더 넓은 지역의 정확한 지도에 대한 요구가 커짐에 따라서, 삼각법은 수학에서 중요한 분야가 되었다. 바르톨로메오 피티스쿠스가 1595년에 삼각법( Trigonometria )이라는 책을 출판하면서 이 용어를 처음 사용하였다. 레기오몬타누스의 사인표와 코사인표가 1533년에 출판되었다. 세기말에, 레기오몬타누스(1436년 - 1476년)와 프랑수아 비에트(1540년 - 1603년) 등의 사람들 덕분에, 수학은 오늘날 사용되는 기수법과 크게 다르지 않은 형태의 인도-아랍 숫자를 사용하여 쓰였다. 17세기에는 케플러, 네이피어, 데카르트 등이 새로운 분야를 개척하였다. 《방법서설》을 지은 철학자 데카르트는 해석기하학의 창시자로 불후의 이름을 남기고 있다. 이것은 기하학을 대수학과 결부시켜 대수학적 방법으로 기하학적 성질을 탐구하는 것으로, 후에 라이프니츠의 미적분 발견에 영향을 끼쳤다. 뉴턴과 라이프니츠는 독립적으로 미적분학을 창시하고 근대해석학을 만들었다. 기하학, 대수학의 세계에서 해석학으로 비약한 수학은 물리학에 큰 영향을 끼쳤다. 뉴턴은 1671년 미적분학을 체계화하였으며 1687년 프린키피아를 간행하였다. 후에 미적분학을 누가 먼저 창안하였는지에 대한 논쟁이 있었으나 현재는 두 사람이 독립적으로 그 업적을 이루었다는 것이 밝혀졌다. 참고로 라이프니츠는 기호화에 큰 공적을 남겼다. 17세기에 창설된 해석학이 발전한 시대이다. 스위스의 베르누이 일가와 프랑스의 수학자들의 활약이 눈부시다. 베르누이의 제자인 오일러는 뛰어난 계산력과 독창력으로 해석학의 면목을 일신하였다. 그 외 오일러와 더불어 변분학을 창시한 라그랑주, 천체의 운동을 수학적으로 규명한 라플라스, 타원함수론의 선구자였던 르장드르, 화법기하학을 창시한 몽주가 있다. 19세기 내내 수학은 점점 추상화되었다. 이 시기의 탁월한 수학자로 가우스(1777년 ~ 1855년)가 있다. 과학 분야에서의 수많은 기여를 제외하고도, 순수 수학에서 그는 복소 변수의 함수와 기하학, 그리고 급수의 수렴 등에서 혁명적인 업적을 남겼다. 그는 대수학의 기본 정리와 2차호상법칙에 대해 처음으로 만족할 만한 증명을 얻었다. 이 세기에 유클리드 기하학의 평행선 공리가 더이상 유지되지 않는다라는 2가지 형태의 비유클리드 기하학의 발전이 있었다. 러시아의 로바쳅스키와 그의 라이벌인 헝가리의 보여이는 각기 독립적으로 평행선의 유일성이 더이상 유지되지 않는다라는 쌍곡선 기하학을 발견하였다. 이 기하학에서는 한 삼각형의 내각의 합이 180° 보다 작게 된다. 타윈 기하학은 19세기 말에 독일의 수학자 리만에 의해 발전되었다; 여기서 한 삼각형의 내각의 180°보다 크게 되고, 리만은 또한 3가지 종류의 기하학을 통합하고, 폭넓게 일반화한 리만 기하학을 발전시켰으며, 곡선과 표면에 관한 관념들을 일반화한 다양체의 개념을 정의하였다. 19세기는 추상대수학의 엄청난 시작을 경험했다. 영국의 해밀턴은 비가환대수를 개발하였다. 영국 수학자 불은 곧이어 숫자를 단지 0과 1로 표현한, 현재 불 대수학이라고 불리는 것으로 전개된 대수학을 고안했다. 불 대수학은 수리 논리학의 시작점이고, 컴퓨터 과학에서 중요한 응용을 가진다. 코시, 리만 그리고 바이어슈트라스는 더 엄밀한 방식으로 미적분학을 재구성하였다.. 또한 처음으로 수학의 한계가 폭발하였다. 노르웨이 수학자 아벨과 프랑스인 갈루아는 5차 이상의 다항 방정식을 푸는 더 이상의 일반적인 대수학적 해법은 없다라는 것을 증명했다. 다른 19세기의 수학자들은 이 증명을 이용하여 자와 컴퍼스만으로, 임의의 각도를 3등분 할 수 없다는 것, 주어진 입방체의 2배의 체적을 가지는 입방체를 구성할 수 없다는 것, 주어진 원의 면적과 똑같은 정사각형을 구성하지 못한다는 것을 증명하였다. 고대 그리스 시대 이래, 많은 수학자들이 이 문제들을 풀기 위해 헛되이 시도했었다. 아벨과 갈루아에 의한 다양한 다항 방정식의 해법에 대한 연구는, 군론 그리고 추상대수학에 관련된 분야의 더 나은 발전을 위한 토대를 쌓았다. 20세기의 물리학자와 과학자들은 군론을 대칭성을 연구하는 이상적인 방법으로 간주하였다. 19세기 말에 칸토어는 거의 모든 수학에서 공통의 언어가 되었고, 무한의 개념을 엄밀하게 다루는 것이 가능하게 된 집합론을 발명하였다. 칸토어의 집합론, 그리고 페아노, 브라우어르, 힐베르트, 러셀에 의한 수리 논리학의 출현은 수학의 기초에 관한 오랜 논쟁을 일으켰다. 19세기는 국가 단위의 수학 기관이 설립되었다 1865년의 런던수학협회, 1872년의 프랑스수학협회, 1883년의 에든버러수학협회, 1884년의 팔레르모수학협회, 1888년의 미국 수학회. 20세기에는 전체적인 수학이 발전하며 여러 난제들이 많이 해결되었다. 20세기의 증명된 난제의 예시는 아래와 같다. 소수 정리(1949년 증명-셀베르그와 팔) 4색 문제(1976년 증명-아펠과 하켄) 모델 추측(※증명 이후의 명칭은 팔팅스 정리)(1983년 증명-팔팅스) 페르마의 마지막 정리(1995년 증명-와일스) 21세기의 증명된 난제의 예시는 아래와 같다. 푸앵카레 추측(2002년 증명-페렐만) 약한 골드바흐의 추측(2013년 증명-엘프고트) 한국 수학사학회