수학사 문서 원본 보기

[[파일:Image-Al-Kitāb al-muḫtaṣar fī ḥisāb al-ğabr wa-l-muqābala.jpg|섬네일|820년경 출판된 [[콰리즈미]]의 증보판 산술 개론 ]]
[[파일:Euclid-proof.jpg|섬네일|right|upright=1.5| 역사상 가장 영향력 있는 수학책 ''[[유클리드의 원론]]'' (기원전 3세기경)에 실린 증명.<ref name="Boyer 1991 loc=Euclid of Alexandria p. 119">{{Harv|Boyer|1991|loc="Euclid of Alexandria" p. 119}}</ref>]]
[[파일:Arabic numerals-en.svg|섬네일|upright=1.5|right|세계 지역별 숫자 표기]]
'''수학사'''(數學史, {{llang|en|history of mathematics}})는 [[수학]]의 변천과 발달에 관한 [[역사]]를 연구하는 [[학문]]이다. 과거의 수학적 방법과 용어 및 [[수학 기호|표기법]]에 대해서도 연구한다. 수학의 역사는 인류의 역사와 더불어 시작되었다고 할 만큼 오래 되었다. 교역 · 분배 · 과세 등 인류의 사회 생활에 필요한 모든 계산을 수학이 담당해 왔고, [[농업|농경생활]]에 필수적인 [[천문학|천문 관측]]과 [[역법]], 토지의 측량 또한 수학이 직접적으로 관여한 분야이다. 고대에 수학을 크게 발전시킨 나라로는 이집트, 바빌로니아, 인도, 그리스, 중국 등이 있었다.

수학의 전 세계적인 확산이 이루어지기 전까지는 수학적 발전이 일부 지역에 국한되었다. 기원전 3000년 메소포타미아의 [[수메르]], [[아카드]], [[아시리아]], [[고대 이집트]], [[에블라]]의 [[레반트]]가 세금 징수와 상업, 무역을 목적으로 [[산수]], [[대수학]], [[기하학]]을 사용하였다. 가장 초기의 수학 문헌은  [[메소포타미아]]와 [[이집트]]의 [[플림톤 322]] (기원전 2000-1900 경),<ref>J. Friberg, "Methods and traditions of Babylonian mathematics. Plimpton 322, Pythagorean triples, and the Babylonian triangle parameter equations", Historia Mathematica, 8, 1981, pp. 277–318.</ref> ''모스크바 파피루스'' (기원전 1890년경), ''[[린드 수학 파피루스]]'' (기원전 1800년경)<ref>{{서적 인용| edition = 2 | publisher = [[Dover Publications]] | last = Neugebauer | first = Otto | author-link = Otto E. Neugebauer | title = The Exact Sciences in Antiquity | journal = Acta Historica Scientiarum Naturalium et Medicinalium | orig-year = 1957 | year = 1969 | volume = 9 | pages = 1–191 | pmid = 14884919 | isbn = 978-0-486-22332-2 | url = https://books.google.com/books?id=JVhTtVA2zr8C}} Chap. IV "Egyptian Mathematics and Astronomy", pp. 71–96.</ref>, 술바 수트라스(기원전 800년경)이 있다. 이 문헌들은 이른바 [[피타고라스 수]]를 언급하기 때문에, 기본적인 [[산술]]과 [[기하]] 이후에는 [[피타고라스의 정리]]가 가장 오래되고 널리 퍼진 수학 발전이라고 추론되고 있다.

[[피타고라스 학파]]가 기원전 6세기에 [[고대 그리스어]] μάθημα (mathema)에서 유래한 '교과목'을 의미하는 수학이라는 용어를 만들고, 비로소 수학이 실질적인 학문으로써 시작되었다.<ref>{{저널 인용|author=Heath|title=A Manual of Greek Mathematics|journal=Nature|volume=128|issue=3235|page=5|bibcode=1931Natur.128..739T|year=1931|doi=10.1038/128739a0|s2cid=3994109}}</ref> 고대 이집트와 바빌로니아의 수학으로부터 발전한 고대 그리스와 [[헬레니즘]] 시대의 수학은 연역적 추론과 증명에서 수학적 엄격성의 도입으로 방법을 크게 개선했고 수학의 주제를 넓혔다.<ref>Sir Thomas L. Heath, ''A Manual of Greek Mathematics'', Dover, 1963, p. 1: "In the case of mathematics, it is the Greek contribution which it is most essential to know, for it was the Greeks who first made mathematics a science."</ref> 고대 로마인은 [[측량]], [[구조공학]], [[기계공학]], [[부기]] (簿記), [[음력]], [[태양력]], 심지어는 예술과 공예에도 사용했다. 중국 수학자는 [[위치 기수법]]과 [[음수]]의 최초 사용으로 초기 공헌을 했다.<ref>George Gheverghese Joseph, ''The Crest of the Peacock: Non-European Roots of Mathematics'', Penguin Books, London, 1991, pp. 140–48</ref><ref>Georges Ifrah, ''Universalgeschichte der Zahlen'', Campus, Frankfurt/New York, 1986, pp. 428–37</ref> 오늘날 전세계적으로 사용하는 [[아라비아 숫자]]와 그 운용법은 서기 1천년 동안 인도에서 발전하였고, 이슬람 수학자  [[콰리즈미|알콰리즈미 (Muḥammad ibn Mūsā al-Khwārizmī)]]에 의해 서양으로 전파되었다.<ref>Robert Kaplan, "The Nothing That Is: A Natural History of Zero", Allen Lane/The Penguin Press, London, 1999</ref><ref>"The ingenious method of expressing every possible number using a set of ten symbols (each symbol having a place value and an absolute value) emerged in India. The idea seems so simple nowadays that its significance and profound importance is no longer appreciated. Its simplicity lies in the way it facilitated calculation and placed arithmetic foremost amongst useful inventions. the importance of this invention is more readily appreciated when one considers that it was beyond the two greatest men of Antiquity, Archimedes and Apollonius." – Pierre Simon Laplace http://www-history.mcs.st-and.ac.uk/HistTopics/Indian_numerals.html</ref> 이슬람 수학자들은 차례로 이들 문명에 알려진 수학을 발전시키고 확장시켰다.<ref>[[Adolf Yushkevich|A.P. Juschkewitsch]], "Geschichte der Mathematik im Mittelalter", Teubner, Leipzig, 1964</ref>이러한 것들과는 동시대지만, 별개로 멕시코와 [[중앙아메리카]]의 [[마야 문명]]에서 발전한 수학에서 0의 개념은 마야 숫자에서 표준적 기호를 부여 받았다.

많은 [[그리스어]], [[아랍어]] 수학 문헌은 12세기부터 계속해서 [[라틴어]]로 번역되어, [[중세 유럽]]에서 수학의 발전을 이룩하게 했다. [[고대]]부터 [[중세]]까지 수학적 발견의 시기는 수세기의 침체가 있었다. 15세기 [[르네상스]] [[이탈리아]]로부터 시작해서, 17세기 [[아이작 뉴턴]]과 [[고트프리트 빌헬름 라이프니츠]]의 [[미적분학]]의 발전의 획기적 업적을 포함한 새로운 수학적 발전, 과학적 발견과의 상호작용은 오늘날까지도 끊임없이 발전 속도를 증가하게끔 했다.

== 기원 ==
수학은 인류의 역사와 더불어 시작되었다고 할 만큼 오래되었다. 선사 시대의 유적 중에는 문자가 없던 이 시기에 이미 별을 이용하여 측량을 하는 수학적인 지식이 있었음을 보여주는 그림이 남아있다. [[2002년]] [[고생물학자]]들은 남아프리카의 동굴에서 암석을 연구하다가 약 7만 년 전에 [[기하학]]적인 무늬를 새긴 돌을 발견하였다.<ref>Henahan, Sean (2002). "[http://engdic.daum.net/dicen/search.do?endic_kind=all&m=all&q=Prehistory Art Prehistory]{{깨진 링크|url=http://engdic.daum.net/dicen/search.do?endic_kind=all&m=all&q=Prehistory }}". Science Updates. The National Health Museum.</ref> 또한 아프리카 3만 5천 년 전에 제작된 것으로 추정되는 기초적인 셈이 표기된 [[유물]]을 발굴하기도 하였다.<ref>Dirk HUYLEBROUCK, [http://etopia.sintlucas.be/3.14/Ishango_meeting/Mathematics_Africa.pdf 식민지화 이전의 아프리카 수학] {{웹아카이브|url=https://web.archive.org/web/20120207040200/http://etopia.sintlucas.be/3.14/Ishango_meeting/Mathematics_Africa.pdf}}, 2006</ref>

선사시대의 유물 중에는 [[이상고 뼈]]와 같이 뼈나 돌에 28 - 30개의 줄을 새긴 것들이 있다. 이는 여성이 [[월경]] 주기를 계산하기 위해 표시한 것으로 보인다. 또한 사냥꾼이 자신이 잡은 동물의 수를 표시하기 위해 금을 새긴 것으로 보이는 유물도 발견된다.<ref>Kellermeier, John (2003).[http://www.tacomacc.edu/home/jkellerm/Papers/Menses/Menses.htm 월경이 가져온 수학] {{웹아카이브|url=https://web.archive.org/web/20051223112514/http://www.tacomacc.edu/home/jkellerm/Papers/Menses/Menses.htm}}, tacomacc.edu</ref>[[이상고 뼈]]는 1960년 [[콩고 민주 공화국|콩고]]와 인접한 [[나일강]] 발원지 부근에서 발견되었다. 2만년 전에 만들어진 것으로 추정되는 이 뼈에는 [[소수 (수론)|소수]]를 이용한 고대 이집트의 [[구구법]]과 같은 수열이 새겨져 있다.

== 고대 (기원전 5000년~기원후 500년) ==
기원전 5천년 경 [[고대 이집트|전왕조 시대의 이집트]]에서는 기하학을 이용하여 [[공간]]을 분할하기 시작하였다. 한편, 기원전 3천년경 만들어진 [[잉글랜드]]와 [[스코틀랜드]]의 [[거석기념물|거석 구조물]]에는 [[원 (기하학)|원]], [[타원]], [[피타고라스 수]]와 같은 수학적 지식이 사용되었다.<ref>Thom, Alexander, and Archie Thom, 1988, "The metrology and geometry of Megalithic Man", pp 132-151 in C.L.N. Ruggles, ed., Records in Stone: Papers in memo.</ref>

기원전 3000 ~ 2600년 경 [[고대 인도]]의 [[인더스 문명]]에서는 [[십진법]]을 이용한 도량법이 만들어져 [[비율]]과 함께 [[벽돌]] 건축 기술에 사용되었다. 인더스 문명의 건축가들은 [[자 (도구)|자]], [[컴퍼스]]와 같은 기하학 도구를 사용하여 자신들의 도시를 설계하였다. 이로써 인더스 문명의 도시에는 [[직각]]으로 이루어진 도로가 놓이고 [[직육면체]], [[원기둥]], [[원뿔]] 등이 적용된 건물이 들어섰다. [[인더스 문자]]가 아직 완전히 해독되지 않아 당시의 [[인도 수학]]은 일부만이 알려져 있다. 고고학적 연구결과에 따르면 인더스 문명은 [[팔진법]]을 이용한 [[기수법]]을 사용하였고 고유의 [[원주율|π]] 값을 사용하였다.<ref>Pearce, Ian G. (2002). [http://www-groups.dcs.st-and.ac.uk/~history/Miscellaneous/Pearce/Lectures/Ch3.html 초기 인더스 문화] {{웹아카이브|url=https://web.archive.org/web/20081228060907/http://www-groups.dcs.st-and.ac.uk/~history/Miscellaneous/Pearce/Lectures/Ch3.html}}, School of Mathematical and Computational Sciences University of St Andrews.</ref>

중국에서는 [[상나라]] 시기 거북 등에 그려진 그림과 같은 [[마방진]]이 알려져 있었다. 고대 중국의 대표적인 수학서는 [[산수서]], [[구장산술]], [[손자산경]]이다. [[구장산술]]에서는 [[가우스 소거법]], [[손자산경]]에서는 [[중국인의 나머지 정리]]가 등장한다. 조충지(429년~500년)는 최초로 원주율을 소수점 7자리 까지 정확히 계산했고, 후대에 서양에서 [[카발리에리의 원리]]로 알려진 개념을 도입했다.
[[파일:Oxyrhynchus papyrus with Euclid's Elements.jpg|섬네일|기원후 100년경 출간된 에우클레이데스의 《스토이케이아》 중 일부, 제2권 명제 5에 대해 서술하고 있다.]]
[[기원전 300년]] 경 알렉산드리아 시대의 그리스의 수학자 [[에우클레이데스]](영어식 이름인 유클리드로 널리 알려져 있다.)가 그 이전의 저서와 연구를 집대성하여 《스토이케이아》를 지었다. 이것은 후세에 마테오리치(Matteo Ricci, 중국명은 利瑪竇, 1552~1610)의 구역(口譯)과 [[서광계]](徐光啓, 1562~1633)의 집필에 힘입어 《기하원본》(幾何原本, 1607)이라고 한역된 일이 있는데, 내용은 도형뿐만 아니라 그리스식 방법에 따라 체계화된 교과서였다. 즉 제1권은 수직·평행 및 평행 4변형에서 [[피타고라스]]의 정리까지, 제2권은 2차방정식의 면적에 의한 해법, 제3권은 원과 호, 호에 대한 각, 제4권은 내외접 정다각형, 제5권은 비례론, 제6권은 비례론의 도형에의 응용, 제7권부터 제9권까지는 정수론, 제10권은 무리수론, 제11권부터 제13권까지는 입체기하학이다.

간단히 말하면 그리스의 정통적인 수학은 기하학과 정수론과 비례론이고, 대수는 기하학적으로 풀었던 것이다. 그리고 이것이 공리·정의·정리에 의하여 아주 논리적으로 진행되었는데, 그와 같이 체계화한 데는 [[플라톤]]에 의하는 바가 많다고 한다. 하기는 [[디오판토스]]는 기호를 사용해서 대수문제를 풀기는 했으나 그것은 예외적인 존재이다.

== 중세 (500년경 ~ 1400년) ==
중세 유럽 수학의 관심사는 근대의 수학자들과는 상당히 다른 것들에 의해 이루어졌다. 하나의 중요한 요소는 수학이 창조된 자연을 이해하기 위한 열쇠를 제공하는 것이라는 믿음으로, [[플라톤]]의 《[[티마이오스]]》와 "신은 모든 것을 재고, 헤아리고, 알아서 처리한다."라는 성경 구절(외경 "지혜서" 11장 21절)이 그 근거로 제시되었다.

=== 중세 초기 (500년경 ~ 1100년) ===

[[보에티우스]]는 산술과 기하학, 천문학 그리고 음악에 대한 학문을 기술하기 위해 "[[사과 (교육)|4학]]"이라는 용어를 만들면서, 수학을 교육 과정의 하나로 자리매김했다. 그는 [[유클리드]]의 [[유클리드의 원론|"기하학"]]을 발췌한 총서의 하나인 니코마쿠스의 《산술 (''De institutione musica'')》을 번역하여 《산수입문 (''De institutione arithmetica'')》을 저술하였다. 그의 책들은 실용적이기보다는 오히려 이론적이었으며, 그리스와 아랍 수학 책들의 재등장 전까지 수학 연구의 기초였다.<ref>존 칼드웰(John Caldwell, 1981년) "The ''De Institutione Arithmetica'' and the ''De Institutione Musica''", pp. 135-154 in Margaret Gibson, ed., ''보에티우스: 그의 생애, 사상, 그리고 영향,'' (Oxford: Basil Blackwell).</ref><ref>Folkerts, Menso, "보에티우스" 기하학 II, (Wiesbaden: Franz Steiner Verlag, 1970).</ref>

=== 미적분학의 발전 ===
인도에서 미적분학의 기초가 다져졌다. 14세기 인도 수학자 마다바(Mādhava of Sañgamāgrama)와 [[케랄라 주|케랄라]] 학파(Kerala school of astronomy and mathematics)가 [[테일러 급수]], 무한급수의 근사법, 수렴에 대한 적분판정법, 미분의 초기형태, 비선형 방정식 풀이를 위한 방법, 곡선 아래부분이 차지하는 넓이가 적분값과 같다는 이론 등 미적분을 위한 많은 요소들을 기술하였다.

=== 유럽 수학의 재탄생 (1100년 ~ 1400년) ===

12세기에, 유럽의 학자들은 과학의 아랍 문헌들을 찾으려고 스페인과 시칠리를 여행했는데, 여기에는 체스터의 로버트에 의해 라틴어로 번역된, [[알 콰리즈미]]의 대수학(''al-Jabr wa-al-Muqabilah'')과 베스의 애덜라드와 카린티아의 헤르만 그리고 크레모나의 제라르드에 의해 여러 개의 판으로 번역된 유클리드 [[에우클레이데스의 원론|원론]]의 전체 문헌이 포함되어 있다.<ref name="Renaissance and Renewal in the Twelfth Century">
{{서적 인용
| 제목 =12세기 르네상스와 재생(''Renaissance and Renewal in the Twelfth Century)''
| 페이지 = 421-462
| 저자 = Robert L. Benson and Giles Constable
| 출판사 = Cambridge: Harvard Univ. Press
| 연도 = 1982
}}</ref><ref>{{서적 인용
| 제목 =12세기 르네상스와 재생(''Renaissance and Renewal in the Twelfth Century)''
| 페이지 = 463-487
| 저자 = Robert L. Benson and Giles Constable
| 출판사 = Cambridge: Harvard Univ. Press
| 연도 = 1982
}}</ref>

이들의 새로운 원천들은 수학의 부흥을 불러일으켰다. 1202년에 쓰이고, 1254년에 수정된《계산판의 책》(Liber Abaci)에서, [[레오나르도 피보나치]]는 유럽에서 [[에라토스테네스]]의 시대 이후 3천년 이상의 시간 차이를 두고, 처음으로 중요한 수학을 만들어 냈다. 그 작업은 유럽에 [[아라비아 수 체계]]를 도입하고, 많은 다른 수학 문제들을 논의한 것이었다. 14세기는 폭넓은 범위의 문제들을 탐구하기 위해 새로운 수학적 개념들이 발전했던 것으로 보인다.<ref>Grant, Edward and John E. Murdoch (1987), eds., "수학과 과학에서의 그 응용 그리고 중세의 자연 철학" (Cambridge: Cambridge University Press) {{ISBN|0-521-32260-X}}.</ref> 수학 발전에 기여한 하나의 중요한 분야는 위치 이동의 분석에 관한 것이었다.

토마스 브래드워딘은 산술적 비율로 증가하는 속도(V)는 기하학적 비율로 증가하는 힘(F)과 저항(R)의 비율이라고 제안했다. 브래드워딘은 이를 특정한 일련의 예로써 표현했다. 그러나 그 당시에는 아직 로그 개념이 착상되지 않았지만, 나중에 오류로 밝혀진 그의 결론을 다음과 같이 써서 표현할 수 있다: V = log (F/R).<ref>Clagett, Marshall (1961) ''중세 시대의 역학의 과학,'' (Madison: Univ. of Wisconsin Pr.), pp. 421-440.</ref> 브래드워딘의 해석은 혼합된 의약품의 성분을 계량하기 위하여 [[알 킨디]]와 빌라노바의 아놀드가 사용했던 수학적 기교를, 하나의 다른 물리 문제에 모방한 하나의 예이다.<ref>Murdoch, John E. (1969) "''Mathesis in Philosophiam Scholasticam Introducta:'' 14세기 철학과 신학에서의 수학의 응용의 증대와 발전", pp. 215-254 in ''Arts libéraux et philosophie au Moyen Âge'' (Montréal: Institut d'Études Médiévales), at pp. 224-227.</ref>

== 근대 유럽 수학 (1400년 ~ 1600년) ==

[[르네상스]]의 여명기에 유럽에서, 수학은 [[로마 숫자]]를 사용하는 불편한 기수법과 기호보다는 오히려 단어를 사용하여 관계를 표현하는 것 때문에 아직은 제한적이었다. : 즉 더하기 기호도, 같다라는 기호도, ''x''라는 미지수도 사용되지 않았다.

16세기의 유럽 수학은, 오늘날 우리가 아는 한에서는 세계 어디에서도 전례가 없는 진전을 이루면서 시작되었다. 그 첫 번째는 [[삼차방정식]]의 일반적인 해법으로, 통상적으로 1510년경 스키피오 델 페로가 먼저라고 알려져있지만, 카르다노의 제자 [[로도비코 페라리]]에 의한 [[사차방정식]]에 대한 일반적 해법을 포함된, [[뉘른베르크]]에서 요하네스 페트레이우스에 의해 첫 출판된 [[지롤라모 카르다노]]의 책, 아르스 마그나(''Ars magna'')이다.

[[인쇄술]]은 수학이 보급되는데 크게 기여하였다. 가장 처음 인쇄된 수학 책들은 1472년 포이에르 바하의 "행성에 관한 새로운 이론"이며, 다음에는 1478년의 상업 산수에 관한 책 트레비소 산수였고, 그리고 1482년 에르하르트 라트돌트에 의해 최초의 수학 책인 [[유클리드]]의 원론이 인쇄되고 출판되었다.

항해가 증가하고, 더 넓은 지역의 정확한 지도에 대한 요구가 커짐에 따라서, [[삼각법]]은 수학에서 중요한 분야가 되었다. 바르톨로메오 피티스쿠스가 1595년에 삼각법(''Trigonometria'')이라는 책을 출판하면서 이 용어를 처음 사용하였다. 레기오몬타누스의 사인표와 코사인표가 1533년에 출판되었다.<ref>{{서적 인용 | 성 = Grattan-Guinness | 이름 = Ivor | year = 1997 | 제목 = The Rainbow of Mathematics: A History of the Mathematical Sciences | publisher = W.W. Norton |ISBN=0-393-32030-8}}</ref>

세기말에, [[레기오몬타누스]](1436년 - 1476년)와 [[프랑수아 비에트]](1540년 - 1603년) 등의 사람들 덕분에, 수학은 오늘날 사용되는 기수법과 크게 다르지 않은 형태의 인도-아랍 숫자를 사용하여 쓰였다.

== 17세기 ==
일본 수학자 [[세키 다카카즈]]의 저서에 처음으로 [[베르누이 수]]와 [[행렬식]]이 등장한다. 또한 원주율을 10번째 자리까지 계산하였는데, 이 때 쓴 방법은 20세기에 에잇켄 델타 제곱법으로 알려진 방법과 동일하다.

17세기 초 [[존 네이피어|네이피어]]는 [[로그]]계산법을 발표하였다. 이는 당시에 오래 걸리던 계산을 아주 빠르게 만들어 주었는데, 그 때문에 "천문학자의 수명을 2배로 늘려주었다."는 평가를 들을 정도였다. 또한 이와 독립적으로, [[원뿔곡선]]을 연구하는 과정에서 적분형태인 [[자연로그]]가 연구되었다.《[[방법서설]]》을 지은 철학자 데카르트는 해석기하학의 창시자로 불후의 이름을 남기고 있다. 이것은 기하학을 대수학과 결부시켜 대수학적 방법으로 기하학적 성질을 탐구한다.[[피에르 드 페르마]]는 미분을 통해 극대 극소를 구하는 방법을 만들었다. 아이작 베로우, 제임스 그레고리 등은 [[미적분학의 기본정리]]를 증명하였다. [[테일러 급수]]가 유럽에서 재발견 되었다. [[아이작 뉴턴|뉴턴]]과 [[고트프리트 라이프니츠|라이프니츠]]도 [[미적분학]] 정립에 기여하였다. 특히 [[라이프니츠]]가 고안한 미적분학 기호들이 오늘날에 많이 사용되고 있다. 그러나 이 시기에 미적분학을 설명하는 [[무한소]]라는 개념은 모호함으로 많은 비판을 받았다. 19세기에 현대적인 [[해석학]]이 등장하면서 [[무한소]]를 배제한 엄밀한 증명이 가능하게 되었다. 하지만 20세기에 실수체를 확대하여 [[무한|무한대]]와 [[무한소]] 자체를 실수와 사칙 연산이 되도록 엄밀히 정의하는 방법이 나왔다. 이 수 체계를 [[초실수|초실수체]]라고 한다. [[초실수]]를 기반으로하는 해석학을 [[비표준 해석학]]이라고 한다.

== 18세기 ==
17세기에 창설된 [[해석학 (수학)|해석학]]이 발전한 시대이다. 스위스의 베르누이 일가와 프랑스의 수학자들의 활약이 눈부시다. [[요한 베르누이|베르누이]]의 제자인 [[레온하르트 오일러|오일러]]는 뛰어난 계산력과 독창력으로 해석학의 면목을 일신하였다. 그 외 오일러와 더불어 변분학을 창시한 [[조제프루이 라그랑주|라그랑주]], 천체의 운동을 수학적으로 규명한 [[피에르시몽 라플라스|라플라스]], 타원함수론의 선구자였던 [[아드리앵마리 르장드르|르장드르]], 화법기하학을 창시한 [[가스파르 몽주|몽주]]가 있다.

== 19세기 ==
19세기 내내 수학은 점점 추상화되었다. 이 시기의 탁월한 수학자로 [[카를 프리드리히 가우스|가우스]](1777년 ~ 1855년)가 있다. 그는 [[복소수|복소변수]] [[함수]]와 [[기하학]], 그리고 [[급수 (수학)|급수]]의 수렴 등에서 혁명적인 업적을 남겼다. [[곡면]]에 대한 [[미분 기하학]]을 만들었다. 그는 [[대수학의 기본 정리]]와 [[이차 상호 법칙]]에 대해 처음으로 만족할 만한 증명을 얻었다.

이 세기에 [[유클리드 기하학]]의 [[평행선 공리]]가 더 이상 유지되지 않는다라는 2가지 형태의 [[비유클리드 기하학]]의 발전이 있었다. 러시아의 [[니콜라이 로바쳅스키|로바쳅스키]]와 그의 라이벌인 헝가리의 [[보여이 야노시|보여이]]는 각기 독립적으로 평행선의 유일성이 더 이상 유지되지 않는다라는 [[쌍곡기하학]]을 발견하였다. 이 기하학에서는 한 삼각형의 내각의 합이 180° 보다 작게 된다.

19세기 중반에 [[베른하르트 리만]]이 [[리만 기하학]]을 만들었다. [[리만 기하학]]은 당시 알려진 [[비유클리드 기하학]]을 모두 포함하며, [[리만 다양체]]라는 일반적인 대상을 다룬다.

19세기에는 [[추상대수학]]이 많이 등장하였다. 독일의 [[헤르만 그라스만]]은 [[선형 공간]]이라는 [[선형 대수]]의 핵심적 대상을 연구 하였다. 영국의 [[윌리엄 로언 해밀턴|해밀턴]]은 [[사원수]]같은 [[비가환대수]]를 개발하였다.

노르웨이 수학자 [[닐스 헨리크 아벨|아벨]]과 프랑스인 [[에바리스트 갈루아|갈루아]]는 5차 이상의 다항 방정식을 푸는 더 이상의 일반적인 대수학적 해법은 없다라는 것을 증명했다. 다른 19세기의 수학자들은 이 증명을 이용하여 [[자]]와 [[컴퍼스]]만으로, 임의의 각도를 3등분 할 수 없다는 것, 주어진 입방체의 2배의 체적을 가지는 입방체를 구성할 수 없다는 것, 주어진 원의 면적과 똑같은 정사각형을 구성하지 못한다는 것을 증명하였다. 고대 그리스 시대 이래, 많은 수학자들이 이 문제들을 풀기 위해 헛되이 시도했었다.

아벨과 갈루아에 의한 다양한 다항 방정식의 해법에 대한 연구는, [[군론]] 그리고 [[추상대수학]]에 관련된 분야의 더 나은 발전을 위한 토대를 쌓았다. [[조제프 리우빌]]은 추상 대수를 통해 [[타원 적분]]같이 [[원시 함수]]가 [[초등함수]]로 표현이 안되는 경우들을 연구하였다. 이는 추상대수의 한 분야인 [[미분 대수]]의 서막이다.

영국 수학자 [[조지 불|불]]은 곧이어 숫자를 단지 0과 1로 표현한, 현재 [[불 논리|불 대수학]]이라고 불리는 것으로 전개된 대수학을 고안했다. 불 대수학은 [[수리 논리학]]의 시작점이고, [[컴퓨터 과학]]에서 중요한 응용을 가진다.

[[오귀스탱 루이 코시|코시]] 그리고 [[카를 바이어슈트라스|바이어슈트라스]]는 현대적인 [[해석학]]을 창시하였다.

19세기 말에 [[게오르크 칸토어|칸토어]]는 거의 모든 수학에서 공통의 언어가 되었고, 무한의 개념을 엄밀하게 다루는 것이 가능하게 된 [[집합론]]을 발명하였다. 칸토어의 집합론, 그리고 [[주세페 페아노|페아노]], [[라위트전 브라우어르|브라우어르]], [[다비트 힐베르트|힐베르트]], [[버트런드 러셀|러셀]]에 의한 [[수리 논리학]]의 출현은 [[수학기초론|수학의 기초]]에 관한 오랜 논쟁을 일으켰다.

19세기는 국가 단위의 수학 기관이 설립되었다: 1865년의 [[런던수학협회]], 1872년의 프랑스수학협회, 1883년의 에든버러수학협회, 1884년의 팔레르모수학협회, 1888년의 [[미국 수학회]].

== 20세기 ~ 현대 ==
20세기 들어 수학은 전문적인 영역으로 들어섰다. 20세기 말에 이르러서는 수학 박사 학위자가 매년 수천 명씩 배출되었고, 교육과 산업 등의 영역에서 수학과 관련된 직업이 늘어났다.<ref>{{웹 인용|url=https://dpcpsi.nih.gov/sites/default/files/opep/document/Final_Report_(03-517-OD-OER)%202006.pdf|title=U.S. Doctorates in the 20th Century|author1=Lori Thurgood|author2=Mary J. Golladay|date=June 2006|website=nih.gov|access-date=21 April 2024|author3=Susan T. Hill}}</ref>

1900년에 개최된 [[세계 수학자 대회]]에서 [[다비트 힐베르트]]는 20세기 수학계가 풀어야 할 가장 중요한 문제로 23개의 문제 목록을 제시하였다.<ref>{{저널 인용|title=Mathematical problems|journal=Bulletin of the American Mathematical Society|last=Hilbert|first=David|url=https://www.ams.org/bull/1902-08-10/S0002-9904-1902-00923-3/|date=1902|volume=8|issue=10|pages=437–479|language=en|doi=10.1090/S0002-9904-1902-00923-3|issn=0002-9904|doi-access=free}}</ref> [[힐베르트 문제]]로 부르는 문제들은 수학의 여러 영역을 아우르며, {{Currentyear}}년 현재 10문제가 해결, 7문제가 부분 해결, 2문제가 미해결된 상태이다. 나머지 4문제는 해결 또는 미해결을 판별하기에는 질문이 모호하다.
[[파일:Four_Colour_Map_Example.svg|왼쪽|섬네일|20세기에 해결된 대표적인 문제인 [[4색 정리]] 문제]]
20세기에는 여러 역사적인 수학 문제들이 해결되었다. 1963년에는 [[연속체 가설]]이 [[체르멜로-프렝켈 집합론]]과 독립임이 [[쿠르트 괴델]]과 [[폴 코언]]에 의해 증명되었다.<ref>{{저널 인용|title=The Discovery of Forcing|journal=Rocky Mountain Journal of Mathematics|last=Cohen|first=Paul|url=https://projecteuclid.org/journals/rocky-mountain-journal-of-mathematics/volume-32/issue-4/The-Discovery-of-Forcing/10.1216/rmjm/1181070010.full|date=2002-12-01|volume=32|issue=4|doi=10.1216/rmjm/1181070010|issn=0035-7596}}</ref> 1976년 볼프강 하켄과 [[케네스 아펠]]은 최초로 컴퓨터를 사용하여 [[4색 정리]]를 증명하였다.<ref>{{저널 인용|title=Formal Proof—The Four-Color Theorem|journal=Notices of the AMS|last=Gonthier|first=Georges|url=https://www.ams.org/notices/200811/tx081101382p.pdf|date=December 2008|volume=55|issue=11|pages=1382}}</ref> 1995년에는 [[페르마의 마지막 정리]]가 여러 수학자들의 노력 끝에 최종적으로 [[앤드루 와일스]]에 의해 증명되었다.<ref>{{저널 인용|title=Fermat's last theorem earns Andrew Wiles the Abel Prize|journal=Nature|last=Castelvecchi|first=Davide|url=https://www.nature.com/articles/nature.2016.19552|date=2016-03-01|volume=531|issue=7594|pages=287|language=en|bibcode=2016Natur.531..287C|doi=10.1038/nature.2016.19552|issn=1476-4687|pmid=26983518}}</ref> 1998년에는  [[케플러의 추측]]이 증명되었다.<ref>{{뉴스 인용|url=https://www.quantamagazine.org/in-computers-we-trust-20130222/|title=In Computers We Trust?|last=Wolchover|first=Natalie|date=22 February 2013|work=[[콴타매거진]]|access-date=21 April 2024}}</ref>

=== 20세기 이후 해결된 난제 ===
{{본문|수학의 미해결 문제 목록#1995년 이후 해결된 문제}}
20세기에 증명된 난제의 예시는 아래와 같다.

* [[소수 정리]] 증명([[자크 아다마르]], 드 라 발레푸생)
* 힐베르트 문제 7번 증명(1935, [[겔폰드-슈나이더 정리]]로 불림)
* [[소수 정리]]의 초등적 증명(1949, [[아틀레 셀베르그|셀베르그]]와 [[에르되시 팔|에어되시]])
* [[베유 추측]]의 유리성(1960), 함수 방정식(1965), 유한체 위의 아벨 다형체에 대한 리만가설(1974) 증명
* [[연속체 가설]] 증명(1963)
* 힐베르트 문제 10번 증명(1970, 마티야세비치)
* [[4색 문제]](1976, [[케네스 아펠|아펠]]과 하켄)
* [[팔팅스의 정리|모델 추측]](※증명 이후의 명칭은 팔팅스 정리)(1983, [[게르트 팔팅스|팔팅스]])
* [[페르마의 마지막 정리]](1995, [[앤드루 와일스|와일스]])
* [[케플러의 추측|케플러 추측]](1998)

21세기에 증명된 난제의 예시는 아래와 같다.
* [[기하화 추측]](2003, [[그리고리 페렐만|페렐만]])
* [[푸앵카레 추측]](2003, [[그리고리 페렐만|페렐만]]이 기하화 추측을 증명함으로써 따름 정리로 증명 )
* 세르 모듈러성 추측(2008)
* 약한 골드바흐의 추측(2013, 엘프고트)
* 에르되시 덧셈집합 추측(2018)

== 연표 ==
{{본문|수학사 연표}}

== 같이 보기 ==
* [[기하학사]]
* [[논리사]]
* [[수학사 연표]]
* [[바르털 레인더르트 판데르바르던]]
* [[영국방송공사]]

== 각주 ==
{{각주}}

== 외부 링크 ==
* [https://web.archive.org/web/20070928145200/http://www.kshm.or.kr/ 한국 수학사학회]

{{글로벌세계대백과}}

{{전거 통제}}
{{위키데이터 속성 추적}}

[[분류:수학사| ]]
[[분류:분야별 과학사]]