Xem mã nguồn của Toán học

{{Thanh bên chủ đề Toán học}}[[Tập tin:Euclid.jpg|nhỏ|phải|250px|[[Euclid]], nhà toán học Hy Lạp, thế kỷ thứ 3 trước [[Tây lịch]], theo hình dung của họa sĩ [[Raphael]], trong một chi tiết của bức họa "Trường Athens".<ref>Người đời sau không biết Euclid trông như thế nào, do đó miêu tả về Euclid trong các tác phẩm nghệ thuật tùy thuộc vào trí tượng tượng của người nghệ sĩ (''xem [[Euclid]]'').</ref>]]
'''Toán học''' hay gọi tắt là '''toán''' ([[tiếng Anh]]: M''athematics'' hoặc viết tắt là ''Math'') là một ngành nghiên cứu trừu tượng về những chủ đề như lượng (các [[số|con số]]),<ref name="OED">{{Chú thích web |url=https://www.oed.com/view/Entry/114974 |tiêu đề=mathematics, ''n.'' |nhà xuất bản=Oxford University Press |work=Oxford English Dictionary |năm=2012 |ngày truy cập=ngày 16 tháng 6 năm 2012 |trích dẫn=The science of space, number, quantity, and arrangement, whose methods involve logical reasoning and usually the use of symbolic notation, and which includes geometry, arithmetic, algebra, and analysis ([Toán học là] ngành khoa học nghiên cứu về không gian, các con số, số lượng, và sự sắp xếp, bao gồm hình học, số học, đại số, và giải tích; các phương pháp của toán học liên quan đến suy luận logic và thường sử dụng các ký hiệu tượng trưng).}}</ref> [[Cấu trúc (toán học)|cấu trúc]] ([[tập hợp]], [[tô pô]]),<ref name="Kneebone">{{chú thích sách |title=Mathematical Logic and the Foundations of Mathematics: An Introductory Survey |publisher=Dover |author=Kneebone, G.T. |year=1963 |pages=[http://books.google.com/books?id=tCXxf4vbXCcC&pg=PA4 4] |isbn=0-486-41712-3 |quote=Mathematics... is simply the study of abstract structures, or formal patterns of connectedness (Toán học... đơn giản là ngành nghiên cứu về những cấu trúc trừu tượng, hay những mô thức hình thức của sự nối kết).}}</ref> [[không gian]] ([[hình học]], [[Hệ tọa độ Descartes|hệ toạ độ]], [[vector]]), khả năng ([[xác suất]], [[biến ngẫu nhiên]]) và [[vi tích phân|sự thay đổi]] ([[hàm số]], [[giới hạn]], [[đạo hàm]], [[vi phân]], [[tích phân]]).<ref name="LaTorre">{{chú thích sách |title=Calculus Concepts: An Informal Approach to the Mathematics of Change |publisher=Cengage Learning |author=LaTorre, Donald R., John W. Kenelly, Iris B. Reed, Laurel R. Carpenter, and Cynthia R Harris |year=2011 |pages=[http://books.google.com/books?id=1Ebu2Tij4QsC&pg=PA2 2] |isbn=1-4390-4957-2 |quote=Calculus is the study of change—how things change, and how quickly they change (Vi tích phân là lĩnh vực ngiên cứu về sự thay đổi-mọi thứ thay đổi và thay đổi nhanh chậm như thế nào).}}</ref><ref name="Ramana">{{chú thích sách |title=Applied Mathematics |publisher=Tata McGraw–Hill Education |author=Ramana |year=2007 |page=[http://books.google.com/books?id=XCRC6BeKhIIC&pg=SA2-PA10 2.10] |isbn=0-07-066753-5 |quote=The mathematical study of change, motion, growth or decay is calculus (Vi tích phân là lĩnh vực toán học nghiên cứu về sự thay đổi, chuyển động, phát triển, hay suy tàn).}}</ref><ref name="Ziegler">{{chú thích sách |title=An Invitation to Mathematics: From Competitions to Research |publisher=Springer |author=Ziegler, Günter M. |authorlink=Günter M. Ziegler |year=2011 |pages=[http://books.google.com/books?id=9TATfteVeVYC&pg=PR7 7] |isbn=3-642-19532-6 |chapter=What Is Mathematics?}}</ref> Các [[nhà toán học]] và [[Nhà triết học|triết học]] có nhiều quan điểm khác nhau về [[định nghĩa]] và phạm vi của toán học.<ref name="Mura">{{chú thích tạp chí |title=Images of Mathematics Held by University Teachers of Mathematical Sciences |author=Mura, Robert |journal=Educational Studies in Mathematics |date=Dec 1993 |volume=25 |issue=4 |pages=[http://www.jstor.org/stable/3482762?seq=1#page_scan_tab_contents 375–385] }}</ref><ref name="Runge">{{chú thích sách |title=Iris Runge: A Life at the Crossroads of Mathematics, Science, and Industry |publisher=Springer |author=Tobies, Renate and Helmut Neunzert |year=2012 |pages=[http://books.google.com/books?id=EDm0eQqFUQ4C&pg=PA9 9] |isbn=3-0348-0229-3 |quote=It is first necessary to ask what is meant by ''mathematics'' in general. Illustrious scholars have debated this matter until they were blue in the face, and yet no consensus has been reached about whether mathematics is a natural science, a branch of the humanities, or an art form (Trước hết cần hỏi "toán học" nói chung có nghĩa là gì. Những học giả có tiếng đã tranh luận gay gắt về vấn đề này, vậy mà chưa ai đồng ý được với nhau chuyện toán học có phải là một ngành khoa học tự nhiên, một nhánh của các ngành nhân văn, hay một dạng nghệ thuật).}}</ref>

Các [[nhà toán học]] tìm kiếm các [[mẫu (dạng thức)|mô thức]]<ref name="future">Steen, L.A. (ngày 29 tháng 4 năm 1988). ''The Science of Patterns'' [[Science (journal)|Science]], 240: 611–616. And summarized at [http://www.ascd.org/publications/curriculum-handbook/409/chapters/The-Future-of-Mathematics-Education.aspx Association for Supervision and Curriculum Development] {{Webarchive|url=https://web.archive.org/web/20101028101034/http://www.ascd.org/publications/curriculum-handbook/409/chapters/The-Future-of-Mathematics-Education.aspx |date = ngày 28 tháng 10 năm 2010}}, www.ascd.org.</ref><ref name="devlin">Devlin, Keith, ''Mathematics: The Science of Patterns: The Search for Order in Life, Mind and the Universe'' (Scientific American Paperback Library) 1996, ISBN 978-0-7167-5047-5</ref> và sử dụng chúng để tạo ra những [[giả thuyết]] mới. Họ lý giải tính đúng đắn hay sai lầm của các [[giả thuyết]] bằng các [[chứng minh toán học]]. Khi những cấu trúc toán học là mô hình tốt cho hiện thực, lúc đó suy luận toán học có thể cung cấp sự hiểu biết sâu sắc hay những tiên đoán về [[tự nhiên]]. Thông qua việc sử dụng những phương pháp trừu tượng và [[lôgic]], toán học đã phát triển từ việc [[đếm]], [[tính toán]], [[đo lường]] đến việc nghiên cứu có hệ thống những [[hình dạng]] và [[chuyển động]] của các [[đối tượng vật lý]]. Con người đã ứng dụng toán học trong đời sống từ xa xưa. Việc tìm lời giải cho những bài toán có thể mất hàng năm, hay thậm chí hàng thế kỷ.<ref>Kneebone, G.T. (1963).&nbsp;''Mathematical Logic and the Foundations of Mathematics: An Introductory Survey''. Dover. pp.&nbsp;[https://books.google.com/books?id=tCXxf4vbXCcC&pg=PA4 4].&nbsp;[[International Standard Book Number|ISBN]]&nbsp;[[Đặc biệt:BookSources/0-486-41712-3|0-486-41712-3]].&nbsp;<q>Mathematics... is simply the study of abstract structures, or formal patterns of connectedness.</q></ref>

Những [[logic|lập luận chặt chẽ]] xuất hiện trước tiên trong nền toán học [[Hy Lạp]] cổ đại, đáng chú ý nhất là trong tác phẩm ''[[Cơ sở (Euclid)|Cơ sở]]'' của [[Euclid]]. Kể từ những công trình tiên phong của [[Giuseppe Peano]] ([[1858]]–[[1932]]), [[David Hilbert]] ([[1862]]–[[1943]]), và của những [[nhà toán học]] khác trong [[thế kỷ 19]] về các hệ thống tiên đề, nghiên cứu toán học trở thành việc thiết lập [[chân lý]] thông qua suy luận logic chặt chẽ từ những [[tiên đề]] và [[định nghĩa]] thích hợp. Toán học phát triển tương đối chậm cho tới thời [[Phục hưng]], khi sự tương tác giữa những phát minh toán học với những phát kiến khoa học mới đã dẫn đến sự gia tăng nhanh chóng những phát minh toán học vẫn tiếp tục cho đến ngày nay.<ref>Eves 1990</ref>

Toán học được sử dụng trên khắp thế giới như một công cụ thiết yếu trong nhiều lĩnh vực, bao gồm [[khoa học]], [[kỹ thuật]], [[y học]], và [[tài chính]]. [[Toán học ứng dụng]], một nhánh toán học liên quan đến việc ứng dụng kiến thức toán học vào những lĩnh vực khác, thúc đẩy và sử dụng những phát minh toán học mới, từ đó đã dẫn đến việc phát triển nên những ngành toán hoàn toàn mới, chẳng hạn như [[thống kê]] và [[lý thuyết trò chơi]]. Các nhà toán học cũng dành thời gian cho [[toán học thuần túy]], tức là đào rất sâu vào các lý thuyết toán học. Không có biên giới rõ ràng giữa toán học thuần túy và toán học ứng dụng, và những ứng dụng thực tiễn thường được khám phá từ những gì ban đầu được xem là [[toán học thuần túy]].<ref>Ivars Peterson, ''The Mathematical Tourist'', Freeman, 1988, ISBN 0-7167-1953-3. p.4 "A few complain that the computer program can't be verified properly" (Một số người phàn nàn là các chương trình máy tính không thể được xác minh một cách rõ ràng) - khi nhắc đến chứng minh Haken–Apple của Định lý bốn màu.</ref>

== Lịch sử ==
[[Tập tin:Kapitolinischer Pythagoras adjusted.jpg|nhỏ|phải|180px|Nhà toán học Hy Lạp [[Pythagoras]] (khoảng 570–495 [[TCN]]), được coi là đã phát minh ra [[định lý Pythagore]].]]
{{chính|Lịch sử toán học}}
[[Tập tin:Persian Khwarazmi.jpg|nhỏ|229x229px|Nhà toán học Ba Tư [[Muhammad ibn Mūsā al-Khwārizmī|Al-Khwarizmi]] (Khoảng 780-850 TCN), người phát minh ra [[Đại số]].]]
Từ "''mathematics''" trong [[tiếng Anh]] bắt nguồn từ ''μάθημα'' (''máthēma'') trong [[tiếng Hy Lạp]] cổ, có nghĩa là "thứ học được",<ref>{{Chú thích web |tiêu đề=mathematic |nhà xuất bản=Online Etymology Dictionary |url=https://www.etymonline.com/word/mathematic}}</ref> "những gì người ta cần biết," và như vậy cũng có nghĩa là "học" và "khoa học"; còn trong tiếng [[Hy Lạp]] hiện đại thì nó chỉ có nghĩa là "bài học." Từ ''máthēma'' bắt nguồn từ μανθάνω (''manthano''), từ tương đương trong tiếng [[Hy Lạp]] hiện đại là μαθαίνω (''mathaino''), cả hai đều có nghĩa là "học." Trong [[tiếng Việt]], "toán" có nghĩa là ''tính''; "toán học" là ''môn học về toán số.''<ref name="VNTD">Hội Khai Trí Tiến Đức, [http://www.vietnamtudien.org/vntd-kttd/index.html ''Việt-Nam Tự-Điển''], Trung-Bắc Tân-Văn, 1931.</ref> Trong các [[ngôn ngữ]] sử dụng từ vựng gốc [[Hán]] khác, môn học này lại được gọi là ''[[số học]]''.

Sự tiến hóa của toán học có thể nhận thấy qua một loạt gia tăng không ngừng về những phép trừu tượng, hay qua sự mở rộng của nội dung ngành học. Phép trừu tượng đầu tiên, mà nhiều loài động vật có được,<ref>{{chú thích tạp chí |title=Abstract representations of numbers in the animal and human brain |journal=Trends in Neuroscience |volume=21 |issue=8|date=Aug 1998 |pages=355–361 |doi=10.1016/S0166-2236(98)01263-6 |pmid=9720604 |last1=Dehaene |first1=Stanislas |last2=Dehaene-Lambertz |first2=Ghislaine |last3=Cohen |first3=Laurent}}</ref> có lẽ là về các [[con số]], với nhận thức rằng, chẳng hạn, một nhóm hai quả [[táo]] và một nhóm hai quả [[cam]] có cái gì đó chung, ở đây là số lượng quả trong mỗi nhóm.

Các bằng chứng [[khảo cổ học]] cho thấy, ngoài việc biết đếm những vật thể vật lý, con người thời [[tiền sử]] có thể cũng đã biết đếm những đại lượng trừu tượng như thời gian - ngày, mùa, và năm.<ref>Xem, chẳng hạn, Raymond L. Wilder, ''Evolution of Mathematical Concepts; an Elementary Study'', ''passim'' ISBN 0486490610</ref>

Đến khoảng năm 3000 trước [[Tây lịch]] thì toán học phức tạp hơn mới xuất hiện, khi người [[Văn minh cổ Babylon|Babylon]] và người [[Ai Cập]] bắt đầu sử dụng số học, đại số, và hình học trong việc tính [[thuế]] và những tính toán tài chính khác, trong xây dựng, và trong quan sát [[thiên văn]].<ref>Kline 1990, Chapter 1.</ref> Toán học được sử dụng sớm nhất trong [[thương mại]], đo đạc đất đai, [[hội họa]], dệt, và trong việc ghi nhớ thời gian.

Các phép tính số học căn bản trong [[toán học Babylon]] ([[phép cộng|cộng]], [[phép trừ|trừ]], [[phép nhân|nhân]], và [[phép chia|chia]]) xuất hiện đầu tiên trong các tài liệu khảo cổ. Giữa năm 600 đến 300 trước [[Lịch Gregory|Tây lịch]], người [[Hy Lạp]] cổ đã bắt đầu nghiên cứu một cách có hệ thống về toán học như một ngành học riêng, hình thành nên [[toán học Hy Lạp]].<ref>"''[http://books.google.com/books?id=drnY3Vjix3kC&pg=PA1&dq&hl=en#v=onepage&q=&f=false A History of Greek Mathematics: From Thales to Euclid]''". Thomas Little Heath (1981). ISBN 0-486-24073-8</ref> Kể từ đó toán học đã phát triển vượt bậc; sự tương tác giữa toán học và khoa học đã đem lại nhiều thành quả và lợi ích cho cả hai. Ngày nay, những phát minh toán học mới vẫn tiếp tục xuất hiện làm cho toán học ngày càng đa dạng hơn.

==Cảm hứng, thuần túy ứng dụng, và vẻ đẹp==
{{chính|Vẻ đẹp của toán học}}
[[Tập tin:GodfreyKneller-IsaacNewton-1689.jpg|nhỏ|150px|[[Isaac Newton]] (1643–1727), một trong những người phát minh ra [[vi tích phân]].]]

Toán học nảy sinh ra từ nhiều kiểu bài toán khác nhau. Trước hết là những bài toán trong thương mại, đo đạc đất đai, kiến trúc, và sau này là [[thiên văn học]]; ngày nay, tất cả các ngành khoa học đều gợi ý những bài toán để các nhà toán học nghiên cứu, ngoài ra còn nhiều bài toán nảy sinh từ chính bản thân ngành toán. Chẳng hạn, nhà vật lý [[Richard Feynman]] đã phát minh ra [[tích phân lộ trình]] (path integral) cho [[cơ học lượng tử]] bằng cách kết hợp suy luận toán học với sự hiểu biết sâu sắc về mặt [[Vật lý học|vật lý]], và [[lý thuyết dây]] - một lý thuyết khoa học vẫn đang trong giai đoạn hình thành với cố gắng thống nhất tất cả các [[tương tác cơ bản]] trong tự nhiên - tiếp tục gợi hứng cho những lý thuyết toán học mới.<ref>{{chú thích sách |title=The Feynman Integral and Feynman's Operational Calculus |author=Johnson, Gerald W.; Lapidus, Michel L. |publisher=Oxford University Press |year=2002 |isbn=0-8218-2413-9}}</ref> Một số lý thuyết toán học chỉ có ích trong lĩnh vực đã giúp tạo ra chúng, và được áp dụng để giải các bài toán khác trong lĩnh vực đó. Nhưng thường thì toán học sinh ra trong một lĩnh vực có thể hữu ích trong nhiều lĩnh vực, và đóng góp vào kho tàng các khái niệm toán học.

Các nhà toán học phân biệt ra hai ngành [[toán học thuần túy]] và [[toán học ứng dụng]]. Tuy vậy các chủ đề toán học thuần túy thường tìm thấy một số ứng dụng, chẳng hạn như [[lý thuyết số]] trong ngành [[mật mã học]]. Việc ngay cả toán học "thuần túy nhất" hóa ra cũng có ứng dụng thực tế chính là điều mà [[Eugene Wigner]] gọi là "sự hữu hiệu đến mức khó tin của toán học".<ref>{{chú thích tạp chí |last=Wigner |first=Eugene |year=1960 |title=The Unreasonable Effectiveness of Mathematics in the Natural Sciences |url=http://www.dartmouth.edu/~matc/MathDrama/reading/Wigner.html |journal=Communications on Pure and Applied Mathematics |volume=13 |issue=1 |pages=1–14 |doi=10.1002/cpa.3160130102 |accessdate = ngày 18 tháng 12 năm 2013 |archive-date = ngày 28 tháng 2 năm 2011 |archive-url=https://web.archive.org/web/20110228152633/http://www.dartmouth.edu/~matc/MathDrama/reading/Wigner.html }}</ref> Giống như trong hầu hết các ngành học thuật, sự bùng nổ tri thức trong thời đại khoa học đã dẫn đến sự chuyên môn hóa: hiện nay có hàng trăm lĩnh vực toán học chuyên biệt và bảng phân loại các chủ đề toán học đã dài tới 46 trang.<ref>{{Chú thích web |url=https://mathscinet.ams.org/mathscinet/msc/pdfs/classification2010.pdf |tiêu đề=Mathematics Subject Classification 2010 |định dạng=PDF |ngày tháng= |ngày truy cập = ngày 9 tháng 11 năm 2010}}</ref> Một vài lĩnh vực toán học ứng dụng đã nhập vào những lĩnh vực liên quan nằm ngoài toán học và trở thành những ngành riêng, trong đó có [[xác suất]], [[vận trù học]], và [[khoa học máy tính]].

Những ai yêu thích ngành toán thường thấy toán học có một vẻ đẹp nhất định. Nhiều nhà toán học nói về "sự thanh lịch" của toán học, [[mỹ học|tính thẩm mỹ]] nội tại và vẻ đẹp bên trong của nó. Họ coi trọng sự giản đơn và tính tổng quát. Vẻ đẹp ẩn chứa cả bên trong những [[chứng minh toán học]] đơn giản và gọn nhẹ, chẳng hạn chứng minh của [[Euclid]] cho thấy có vô hạn [[số nguyên tố]], và trong những [[giải tích số|phương pháp số]] giúp đẩy nhanh các phép tính toán, như phép [[biến đổi Fourier nhanh]]. Trong cuốn sách ''Lời bào chữa của một nhà toán học''<ref name="Ziegler" /> (A Mathematician's Apology) của mình, G. H. Hardy tin rằng chính những lý do về mặt thẩm mỹ này đủ để biện minh cho việc nghiên cứu toán học thuần túy. Ông nhận thấy những tiêu chuẩn sau đây đóng góp vào một vẻ đẹp toán học: tầm quan trọng, tính không lường trước được, tính không thể tránh được, và sự ngắn gọn.<ref>{{chú thích sách |title=A Mathematician's Apology |author=Hardy, G.H. |publisher=Cambridge University Press |year=1940 |isbn=0-521-42706-1}}</ref> Sự phổ biến của toán học vì mục đích giải trí là một dấu hiệu khác cho thấy nhiều người tìm thấy sự sảng khoái trong việc giải toán...

==Ký hiệu, ngôn ngữ, tính chặt chẽ==
{{chính|Danh sách ký hiệu toán học}}
[[Tập tin:Leonhard Euler 2.jpg|upright|nhỏ|150px|[[Leonhard Euler]], người tạo ra và phổ biến hầu hết các ký hiệu toán học được dùng ngày nay.]]

Hầu hết các ký hiệu toán học đang dùng ngày nay chỉ mới được phát minh vào thế kỷ 16.<ref>[http://jeff560.tripod.com/mathsym.html Earliest Uses of Various Mathematical Symbols] (Có thêm nhiều tài liệu tham khảo về chủ đề này).</ref> Trước đó, toán học được viết ra bằng chữ, quá trình nhọc nhằn này đã cản trở sự phát triển của toán học.<ref>Kline, p. 140, on [[Diophantus]]; p. 261, on Franciscus Vieta.</ref> [[Leonhard Euler|Euler]] (1707–1783) là người tạo ra nhiều trong số những ký hiệu đang được dùng ngày nay. Ký hiệu hiện đại làm cho toán học trở nên dễ hơn đối với chuyên gia toán học, nhưng người mới bắt đầu học toán thường thấy nản lòng. Các ký hiệu cực kỳ ngắn gọn: một vài biểu tượng chứa đựng rất nhiều thông tin. Giống ký hiệu [[âm nhạc]], ký hiệu toán học hiện đại có cú pháp chặt chẽ và chứa đựng thông tin khó có thể viết theo một cách khác đi.

[[Ngôn ngữ]] toán học có thể khó hiểu đối với người mới bắt đầu. Những từ như ''hoặc'' và ''chỉ'' có nghĩa chính xác hơn so với trong lời nói hàng ngày. Ngoài ra, những từ như ''[[tập mở|mở]]'' và ''[[trường (đại số)|trường]]'' đã được cho những nghĩa riêng trong toán học. Những thuật ngữ mang tính kỹ thuật như ''[[phép đồng phôi]]'' và ''[[tích phân|khả tích]]'' có nghĩa chính xác trong toán học. Thêm vào đó là những cụm từ như ''[[tương đương logic|nếu và chỉ nếu]]'' nằm trong thuật ngữ chuyên ngành toán học. Có lý do tại sao cần có ký hiệu đặc biệt và vốn từ vựng chuyên ngành: toán học cần sự chính xác hơn lời nói thường ngày. Các nhà toán học gọi sự chính xác này của [[ngôn ngữ]] và [[logic]] là "tính chặt chẽ."

==Các lĩnh vực toán học==
{{chính|Các lĩnh vực toán học}}

Trước thời kì [[Phục Hưng]], toán học chỉ được phân ra thành hai lĩnh vực chính là [[số học]] - nghiên cứu các phép toán với những con số và [[hình học]] - nghiên cứu về các hình dạng.<ref>{{Chú thích sách|url=https://www.worldcat.org/oclc/940355128|title=The development of mathematics|last=Bell|first=Eric Temple|date=1992|publisher=Dover Publications|isbn=978-0-486-15228-8|location=New York|oclc=940355128}}</ref> Kể cả những ngành [[ngụy khoa học]] như [[thần số học]] và [[thiên văn học]], khi đó cũng chưa được tách biệt rõ ràng khỏi toán học.<ref>{{Chú thích sách|url=https://www.worldcat.org/oclc/28115124|title=Mathematics in history, culture, philosophy, and science: from ancient times to modern age|last=Tiwari|first=Sarju|date=1992|publisher=Mittal Publications|isbn=81-7099-404-7|edition=1 |location=New Delhi, India|oclc=28115124}}</ref>

Trong thời kì Phục Hưng, hai lĩnh vực mới xuất hiện. Các [[Danh sách ký hiệu toán học|kí hiệu toán học]] làm nảy sinh [[đại số]], ngành mà ở đó nghiên cứu tập trung vào các [[công thức]]. [[Giải tích toán học|Giải tích]] - với [[Giới hạn (toán học)|giới hạn]] và [[tích phân]] - nghiên cứu tập trung vào các [[Hàm liên tục|hàm số liên tục]], và sự thay đổi của chúng theo các [[Biến số|biến]] cho trước. Một vài lĩnh vực như [[cơ học thiên thể]] hay [[cơ học vật rắn]] khi đó cũng được nghiên cứu bởi toán, nhưng giờ lại là các phân ngành chính của [[vật lý học]].<ref>{{Chú thích sách|url=https://www.worldcat.org/oclc/1350855557|title=Leonhard Euler and the foundations of celestial mechanics|last=Musielak|first=Dora|date=2022|isbn=978-3-031-12322-1|location=Cham, Switzerland|oclc=1350855557}}</ref>[[Toán học tổ hợp|Tổ hợp]] cũng được nghiên cứu nhiều trong lịch sử, nhưng chỉ trở thành một lĩnh vực riêng kể từ [[Thế kỷ 17|thế kỉ thứ mười bảy]].<ref>{{Chú thích web|url=https://reader.elsevier.com/reader/sd/pii/0315086079900740?token=4444FBA1D24E773E0F1D10B2239712D13E7916618A4BFFB9949DE0A24C31CF182145A79BEB154E890C6451A2559292B0&originRegion=eu-west-1&originCreation=20221202101108|tựa đề=Elsevier Enhanced Reader|website=reader.elsevier.com|ngôn ngữ=en|ngày truy cập=2022-12-02}}</ref>

Cuối [[Thế kỉ XIX|thế kỉ mười chín]], những nghiên cứu [[triết học]] về nguồn gốc của toán học và kết quả của sự hệ thống hóa của các [[tiên đề]] đã tạo ra nhiều ngành toán học mới. [[Phân lớp Lĩnh vực Toán học]] ([[tiếng Anh]]: Mathematics Subject Classification - MSC) năm 2020 đã chỉ ra rằng có ít nhất sáu mươi ba ngành toán học độc lập, một vài trong số đó chỉ xuất hiện từ thế kỉ XX là [[Logic toán|logic toán học]] và [[nguồn gốc toán học]].<ref>https://zbmath.org/static/msc2020.pdf</ref>

===Nền tảng và triết học===
[[File:Venn_A_intersect_B.svg|nhỏ|250px|[[Biểu đồ Venn]] thường được sử dụng để miêu tả quan hệ giữa các tập hợp.]]
Để làm rõ nền tảng toán học, lĩnh vực [[logic toán học]] và [[lý thuyết tập hợp]] đã được phát triển. Logic toán học bao gồm nghiên cứu toán học về [[logic]] và ứng dụng của logic hình thức trong những lĩnh vực toán học khác. Lý thuyết tập hợp là một nhánh toán học nghiên cứu các tập hợp hay tập hợp những đối tượng. Lý thuyết phạm trù, liên quan đến việc xử lý các cấu trúc và mối quan hệ giữa chúng bằng phương pháp trừu tượng, vẫn đang tiếp tục phát triển. Cụm từ "khủng hoảng nền tảng" nói đến công cuộc tìm kiếm một nền tảng toán học chặt chẽ diễn ra từ khoảng năm 1900 đến 1930.<ref>Luke Howard Hodgkin & Luke Hodgkin, ''A History of Mathematics'', Oxford University Press, 2005.</ref> Một số bất đồng về nền tảng toán học vẫn còn tồn tại cho đến ngày nay. Cuộc khủng hoảng nền tảng nổi lên từ một số tranh cãi thời đó, trong đó có những tranh cãi liên quan đến lý thuyết tập hợp của [[Georg Cantor|Cantor]] và cuộc tranh cãi giữa [[L. E. J. Brouwer|Brouwer]] và [[David Hilbert|Hilbert]].

Khoa học máy tính lý thuyết bao gồm lý thuyết khả tính (computability theory), [[lý thuyết độ phức tạp tính toán]], và [[lý thuyết thông tin]]. Lý thuyết khả tính khảo sát những giới hạn của những mô hình lý thuyết khác nhau về máy tính, bao gồm mô hình [[máy Turing]] nổi tiếng. Lý thuyết độ phức tạp nghiên cứu khả năng có thể giải được bằng máy tính; một số bài toán, mặc dù về lý thuyết có thể giải được bằng máy tính, cần thời gian hay không gian tính toán quá lớn, làm cho việc tìm lời giải trong thực tế gần như không thể, ngay cả với sự tiến bộ nhanh chóng của [[phần cứng]] máy tính. Một ví dụ là bài toán nổi tiếng "[[Bài toán P so với NP|{{nowrap|'''P''' {{=}} '''NP'''?}}]]".<ref>[https://web.archive.org/web/20131212094206/http://www.claymath.org/millenium-problems/p-vs-np-problem P vs NP Problem], [[Viện Toán học Clay]] cập nhật: 28 tháng 5 năm 2015 3:14 pm</ref> Cuối cùng, lý thuyết thông tin quan tâm đến khối lượng dữ liệu có thể lưu trữ được trong một môi trường lưu trữ nhất định, và do đó liên quan đến những khái niệm như [[nén dữ liệu]] và [[entropy thông tin]].

:{|style="border:1px solid #ddd; text-align:center; margin:auto" cellspacing="15"
|<math>p \Rightarrow q \,</math>|| [[Tập tin:Venn A intersect B.svg|128px]] || [[Tập tin:Commutative diagram for morphism.svg|96px]] || [[Tập tin:DFAexample.svg|96px]]
|-
|[[Logic toán học]] || [[Lý thuyết tập hợp]] || [[Lý thuyết phạm trù]] || [[Lý thuyết tính toán]]
|}

===Toán học thuần túy===

====Số học====
{{Main|Lý thuyết số}}
Việc nghiên cứu về lượng (quantity) bắt đầu với các [[số|con số]], trước hết với [[số tự nhiên]] và [[số nguyên]] và các phép biến đổi số học, nói đến trong lĩnh vực [[số học]]. Những tính chất sâu hơn về các số nguyên được nghiên cứu trong [[lý thuyết số]], trong đó có [[định lý lớn Fermat]] nổi tiếng. Trong lý thuyết số, giả thiết [[số nguyên tố sinh đôi]] và [[giả thiết Goldbach]] là hai bài toán chưa giải được.

Khi hệ thống số được phát triển thêm, các số nguyên được xem như là [[tập con]] của các [[số hữu tỉ]]. Các số này lại được bao gồm trong [[số thực]] vốn được dùng để thể hiện những đại lượng [[hàm liên tục|liên tục]]. Số thực được tổng quát hóa thành [[số phức]]. Đây là những bước đầu tiên trong phân bố các số, sau đó thì có các ''[[quaternion]]'' (một sự mở rộng của số phức) và ''[[octonion]]''. Việc xem xét các số tự nhiên cũng dẫn đến các [[số vô hạn]] (transfinite numbers), từ đó chính thức hóa khái niệm "[[vô hạn]]". Một lĩnh vực nghiên cứu khác là kích cỡ (size), từ đó sinh ra số đếm (cardinal numbers) và rồi một khái niệm khác về vô hạn: số ''aleph'', cho phép thực hiện so sánh có ý nghĩa kích cỡ của các tập hợp lớn vô hạn.

:{|style="border:1px solid #ddd; text-align:center; margin:auto" cellspacing="20"
|<math>0,1, 2, 3,\ldots\!</math>|| <math>0,1,-1,2,-2,3,-3,\ldots</math>|| <math>-2,\ \frac{1}{4},\ 0.37,\ldots</math>|| <math>-e,\ \sqrt{2},\  3,\  \pi,\ldots</math>|| <math>-1,\ i,</math><math>\ 2+3i, \  2e^{i\frac{4\pi}{3}},\ldots</math>
|<math>\aleph_0.\ \aleph_1,\ \aleph_2,\ldots,\ \aleph_\alpha,\ldots</math>
|-
|[[Số tự nhiên]]|| [[Số nguyên]] || [[Số hữu tỉ]] || [[Số thực]] || [[Số phức]]
|[[Số vô hạn]]
|}

====[[Cấu trúc (toán học)|Cấu trúc]]====
{{Main|Cấu trúc toán học}}
Nhiều đối tượng toán học, chẳng hạn [[tập hợp]] những con số và những [[hàm số]], thể hiện cấu trúc nội tại toát ra từ những phép biến đổi toán học hay những mối quan hệ được xác định trên tập hợp. Toán học từ đó nghiên cứu tính chất của những tập hợp có thể được diễn tả dưới dạng cấu trúc đó; chẳng hạn [[lý thuyết số]] nghiên cứu tính chất của tập hợp những số nguyên có thể được diễn tả dưới dạng những phép biến đổi số học. Ngoài ra, thường thì những tập hợp có cấu trúc (hay những cấu trúc) khác nhau đó thể hiện những tính chất giống nhau, khiến người ta có thể xây dựng nên những tiên đề cho một lớp cấu trúc, rồi sau đó nghiên cứu đồng loạt toàn bộ lớp cấu trúc thỏa mãn những tiên đề này. Do đó người ta có thể nghiên cứu các [[nhóm (đại số)|nhóm]], [[vành]], [[trường (đại số)|trường]], và những hệ phức tạp khác; những nghiên cứu như vậy (về những cấu trúc được xác định bởi những phép biến đổi đại số) tạo thành lĩnh vực [[đại số trừu tượng]]. Với mức độ tổng quát cao của mình, đại số trừu tượng thường có thể được áp dụng vào những bài toán dường như không liên quan gì đến nhau. Một ví dụ về lý thuyết đại số là [[đại số tuyến tính]], lĩnh vực nghiên cứu về các [[không gian vectơ]], ở đó những yếu tố cấu thành nó gọi là [[vectơ]] có cả lượng và hướng và chúng có thể được dùng để mô phỏng các điểm (hay mối quan hệ giữa các điểm) trong không gian. Đây là một ví dụ về những hiện tượng bắt nguồn từ những lĩnh vực [[hình học]] và [[đại số]] ban đầu không liên quan gì với nhau nhưng lại tương tác rất mạnh với nhau trong toán học hiện đại. [[Toán học tổ hợp]] nghiên cứu những cách tính số lượng những đối tượng có thể xếp được vào trong một cấu trúc nhất định.

:{| class="wikitable sortable" style="border:1px solid #ddd; text-align:center; margin:auto" cellspacing="15"
|+
|<math>\begin{matrix} (1,2,3) & (1,3,2) \\ (2,1,3) & (2,3,1) \\ (3,1,2) & (3,2,1) \end{matrix}</math> || [[Tập tin:Elliptic curve simple.svg|96px]] || [[Tập tin:Rubik's cube.svg|96px]] || [[Tập tin:Group diagdram D6.svg|96px]] || [[Tập tin:Lattice of the divisibility of 60.svg|96px]] || [[Tập tin:Braid-modular-group-cover.svg|96px]]
|-
|[[Toán học tổ hợp]] || [[Lý thuyết số]] || [[Lý thuyết nhóm]] || [[Lý thuyết đồ thị]] || [[Lý thuyết trật tự]]|| [[Đại số]]
|}

====Không gian====
{{Main|Hình học}}
Việc nghiên cứu không gian bắt đầu với [[hình học]] - cụ thể là [[hình học Euclid]]. [[Lượng giác]] là một lĩnh vực toán học nghiên cứu về mối quan hệ giữa các cạnh và góc của [[tam giác]] và với các hàm lượng giác; nó kết hợp không gian và các con số, và bao gồm [[định lý Pythagore]] nổi tiếng. Ngành học hiện đại về không gian tổng quát hóa những ý tưởng này để bao gồm hình học nhiều chiều hơn, [[hình học phi Euclide]] (đóng vai trò quan trọng trong [[lý thuyết tương đối tổng quát]]), và [[tô pô]]. Cả lượng và không gian đều đóng vai trò trong [[hình học giải tích]], [[hình học vi phân]], và [[hình học đại số]]. [[Tổ hợp lồi|Hình học lồi]] và [[hình học rời rạc]] trước đây được phát triển để giải các bài toán trong [[lý thuyết số]] và [[giải tích hàm|giải tích phiếm hàm]] thì nay đang được nghiên cứu cho các ứng dụng trong [[tối ưu hóa (toán học)|tối ưu hóa]] (tối ưu lồi) và [[khoa học máy tính]] (hình học tính toán). Trong hình học vi phân có các khái niệm bó sợi (fiber bundles) và vi tích phân trên các [[đa tạp]], đặc biệt là [[vi tích phân vectơ]] và [[vi tích phân tensor]]. Hình học đại số thì mô tả các đối tượng hình học dưới dạng lời giải là những tập hợp phương trình đa thức, cùng với những khái niệm về lượng và không gian, cũng như nghiên cứu về các [[nhóm tô-pô]] kết hợp cấu trúc và không gian. Các [[nhóm Lie]] được dùng để nghiên cứu không gian, cấu trúc, và sự thay đổi. [[Tô pô]] trong tất cả những khía cạnh của nó có thể là một lĩnh vực phát triển vĩ đại nhất của toán học thế kỷ 20; nó bao gồm [[tô-pô tập hợp điểm]] (point-set topology), [[tô-pô lý thuyết tập hợp]] (set-theoretic topology), [[tô pô đại số|tô-pô đại số]] và [[tô-pô vi phân]] (differential topology). Trong đó, những chủ đề của tô-pô hiện đại là [[không gian mêtric hóa được|lý thuyết không gian mêtric hóa được]] (metrizability theory), [[lý thuyết tập hợp|lý thuyết tập hợp tiên đề]] (axiomatic set theory), [[đồng luân|lý thuyết đồng luân]] (homotopy theory), và [[lý thuyết Morse]]. Tô-pô cũng bao gồm [[giả thuyết Poincaré]] nay đã giải được, và [[giả thuyết Hodge]] vẫn chưa giải được. Những bài toán khác trong hình học và tô-pô, bao gồm [[định lý bốn màu]] và [[giả thiết Kepler]], chỉ giải được với sự trợ giúp của máy tính.

:{|style="border:1px solid #ddd; text-align:center; margin:auto" cellspacing="15"
|[[Tập tin:Illustration to Euclid's proof of the Pythagorean theorem.svg|96px]] || [[Tập tin:Sinusvåg 400px.png|96px]] || [[Tập tin:Hyperbolic triangle.svg|96px]] || [[Tập tin:Torus.png|96px]] || [[Tập tin:Mandel zoom 07 satellite.jpg|96px]] || [[Tập tin:Measure illustration.png|70px]]
|-
|[[Hình học]] || [[Lượng giác]] || [[Hình học vi phân]] || [[Tô pô]] || [[Phân dạng|Hình học fractal]] || [[Độ đo|Lý thuyết độ đo]]
|}

====Sự thay đổi====
{{Main|Giải tích|Vi tích phân}}
Hiểu và mô tả sự thay đổi là chủ đề thường gặp trong các ngành [[khoa học tự nhiên]]. [[Vi tích phân]] là một công cụ hiệu quả đã được phát triển để nghiên cứu sự thay đổi đó. [[Hàm số]] từ đây ra đời, như một khái niệm trung tâm mô tả một đại lượng đang thay đổi. Việc nghiên cứu chặt chẽ các [[số thực]] và hàm số của một biến thực được gọi là [[giải tích thực]], với [[số phức]] thì có lĩnh vực tương tự gọi là [[giải tích phức]]. [[Giải tích hàm|Giải tích phiếm hàm]] (functional analysis) tập trung chú ý vào những không gian thường là vô hạn chiều của hàm số. Một trong nhiều ứng dụng của giải tích phiếm hàm là trong [[cơ học lượng tử]] (ví dụ: [[lý thuyết phiếm hàm mật độ]]). Nhiều bài toán một cách tự nhiên dẫn đến những mối quan hệ giữa lượng và tốc độ thay đổi của nó, rồi được nghiên cứu dưới dạng các [[phương trình vi phân]]. Nhiều hiện tượng trong tự nhiên có thể được mô tả bằng những [[hệ thống động lực]]; [[lý thuyết hỗn độn]] nghiên cứu cách thức theo đó nhiều trong số những hệ thống động lực này thể hiện những hành vi không tiên đoán được nhưng vẫn có tính tất định.

{|style="border:1px solid #ddd; text-align:center; margin:auto" cellspacing="20"
|[[Tập tin:Integral as region under curve.svg|96px]] || [[Tập tin:Vector field.svg|96px]] || [[Tập tin:Airflow-Obstructed-Duct.png|96px]] || [[Tập tin:Limitcycle.svg|96px]] || [[Tập tin:Lorenz attractor.svg|96px]] || [[Tập tin:Conformal grid after Möbius transformation.svg|96px]]
|-
|[[Vi tích phân]] || [[Trường vector|Giải tích véc tơ]]|| [[Phương trình vi phân]] || [[Hệ thống động lực]] || [[Lý thuyết hỗn loạn|Lý thuyết hỗn độn]] || [[Giải tích phức]]
|}

===Toán học ứng dụng===
{{Main|Toán học ứng dụng}}
[[Toán học ứng dụng]] quan tâm đến những phương pháp toán học thường được sử dụng trong [[khoa học]], [[kỹ thuật]], [[kinh doanh]], và [[công nghiệp]]. Như vậy, "toán học ứng dụng" là một ngành [[Khoa học Toán học|khoa học toán học]] với kiến thức đặc thù. Thuật ngữ toán học ứng dụng cũng được dùng để chỉ lĩnh vực chuyên nghiệp, ở đó các nhà toán học giải quyết các bài toán thực tế. Với tư cách là một ngành nghề chú trọng vào các bài toán thực tế, toán học ứng dụng tập trung vào "việc thiết lập, nghiên cứu, và sử dụng những mô hình toán học" trong khoa học, kỹ thuật, và những lĩnh vực thực hành toán học khác. Trước đây, những ứng dụng thực tế đã thúc đẩy sự phát triển các lý thuyết toán học, để rồi sau đó trở thành chủ đề nghiên cứu trong [[toán học thuần túy]], nơi toán học được phát triển chủ yếu cho chính nó. Như vậy, hoạt động của toán học ứng dụng nhất thiết có liên hệ đến nghiên cứu trong lĩnh vực toán học thuần túy.

====Thống kê và những lĩnh vực liên quan====
{{Main|Xác suất|Thống kê}}
Toán học ứng dụng có nhiều phần chung với [[thống kê]], đặc biệt với [[lý thuyết xác suất]]. Các nhà thống kê, khi làm việc trong một công trình nghiên cứu, "tạo ra số liệu có ý nghĩa" sử dụng phương pháp tạo mẫu ngẫu nhiên (random sampling) và những thí nghiệm được ngẫu nhiên hóa (randomized experiments);<ref>Rao, C.R. (1997) ''Statistics and Truth: Putting Chance to Work'', World Scientific. ISBN 981-02-3111-3</ref> việc thiết kế thí nghiệm hay mẫu thống kê xác định phương pháp phân tích số liệu (trước khi số liệu được tạo ra). Khi xem xét lại số liệu từ các thí nghiệm và các mẫu hay khi phân tích số liệu từ những nghiên cứu bằng cách quan sát, các nhà thống kê "làm bật ra ý nghĩa của số liệu" sử dụng phương pháp mô phỏng và suy luận – qua việc chọn mẫu và qua ước tính; những mẫu ước tính và những tiên đoán có được từ đó cần được thử nghiệm với những số liệu mới.<ref>Giống với các khoa học toán học khác như vật lý và khoa học máy tính, thống kê là một ngành độc lập chứ không phải là một nhánh của toán học ứng dụng. Tương tự như các nhà vật lý và nhà khoa học máy tính, những nhà nghiên cứu thống kê là các nhà khoa học toán học. Nhiều nhà thống kê có bằng cấp trong ngành toán học, và một số nhà thống kê cũng là nhà toán học.</ref>

[[Lý thuyết thống kê]] nghiên cứu những bài toán liên quan đến việc quyết định, ví dụ giảm thiểu nguy cơ (sự tổn thất được mong đợi) của một hành động mang tính [[thống kê]], chẳng hạn sử dụng phương pháp thống kê trong ước tính tham số, kiểm nghiệm giả thuyết, và chọn ra tham số cho kết quả tốt nhất. Trong những lĩnh vực truyền thống này của [[thống kê toán học]], bài toán quyết định-thống kê được tạo ra bằng cách cực tiểu hóa một hàm mục tiêu (objective function), chẳng hạn giá thành hay sự mất mát được mong đợi, dưới những điều kiện nhất định.<ref name="RaoOpt">{{chú thích sách |editor1-last=Arthanari |editor1-first=T.S. |editor2-last=Dodge |editor2-first=Yadolah |editor2-link=|last=Rao |first=C.R. |authorlink= |chapter=Foreword |title=Mathematical programming in statistics |url=https://archive.org/details/mathematicalprog0000arth |series=Wiley Series in Probability and Mathematical Statistics |publisher=Wiley |location=New York |year=1981 |pages=vii–viii |isbn=0-471-08073-X }}</ref> Vì có sử dụng lý thuyết tối ưu hóa, lý thuyết toán học về thống kê có chung mối quan tâm với những ngành khoa học khác nghiên cứu việc quyết định, như [[vận trù học]], [[lý thuyết điều khiển tự động|lý thuyết điều khiển]], và [[toán kinh tế|kinh tế học toán]].<ref name="Whittle">{{harvtxt|Whittle|1994|pp=10–11 and 14–18}}: {{chú thích sách |first=Peter |last=Whittle |authorlink= |chapter=Almost home |editor-link= |editor-first=F.P. |editor-last=Kelly |year=1994 |title=Probability, statistics and optimisation: A Tribute to Peter Whittle |location=Chichester |publisher=John Wiley |isbn=0-471-94829-2 |pages=1–28 |url=http://www.statslab.cam.ac.uk/History/2history.html#6._1966--72:_The_Churchill_Chair |edition=previously "A realised path: The Cambridge Statistical Laboratory upto 1993 (revised 2002)" |accessdate = ngày 17 tháng 12 năm 2013 |archive-date = ngày 19 tháng 12 năm 2013 |archive-url=https://web.archive.org/web/20131219080017/http://www.statslab.cam.ac.uk/History/2history.html#6._1966--72:_The_Churchill_Chair }}</ref>

====Toán học tính toán====

[[Toán học tính toán]] đưa ra và nghiên cứu những phương pháp giải các bài toán toán học mà con người thường không có khả năng giải số được. [[Giải tích số]] nghiên cứu những phương pháp giải các bài toán trong [[Giải tích toán học|giải tích]] sử dụng [[giải tích hàm|giải tích phiếm hàm]] và [[lý thuyết xấp xỉ]]; giải tích số bao gồm việc nghiên cứu [[xấp xỉ]] và [[rời rạc hóa]] theo nghĩa rộng, với sự quan tâm đặc biệt đến [[sai số làm tròn]] (rounding errors). Giải tích số và nói rộng hơn tính toán khoa học (scientific computing) cũng nghiên cứu những chủ đề phi giải tích như khoa học toán học, đặc biệt là [[Ma trận (toán học)|ma trận]] thuật toán và [[lý thuyết đồ thị]]. Những lĩnh vực khác của toán học tính toán bao gồm [[đại số máy tính]] (computer algebra) và [[tính toán biểu tượng]] (symbolic computation).

{|style="border:1px solid #ddd; text-align:center; margin:0 auto" cellspacing="20"
|-
|[[Tập tin:Gravitation space source.png|96px]] || [[Tập tin:BernoullisLawDerivationDiagram.svg|96px]] || [[Tập tin:Composite trapezoidal rule illustration small.svg|96px]] || [[Tập tin:Maximum boxed.png|96px]] || [[Tập tin:Two red dice 01.svg|96px]] || [[Tập tin:Oldfaithful3.png|96px]] || [[Tập tin:Caesar3.svg|96px]]
|-
|[[Vật lý toán học]] || [[Thủy động lực học]] || [[Giải tích số]] || [[Tối ưu hóa (toán học)|Tối ưu hóa]] || [[Lý thuyết xác suất]] || [[Thống kê]] || [[Mật mã học]]
|-
|[[Tập tin:Market Data Index NYA on 20050726 202628 UTC.png|96px]] || [[Tập tin:Arbitrary-gametree-solved.svg|96px]] || [[Tập tin:Signal transduction pathways.svg|96px]] || [[Tập tin:CH4-structure.svg|96px]] || [[Tập tin:Signal transduction pathways.svg|96px]] [[Tập tin:GDP PPP Per Capita IMF 2008.svg|96px]] || [[Tập tin:Simple feedback control loop2.svg|96px]]
|-
|[[Toán tài chính|Tài chính toán]] || [[Lý thuyết trò chơi]] || [[Toán sinh học|Sinh học toán]] || [[Toán hóa học|Hóa học toán]]|| [[Toán sinh học]] || [[Toán kinh tế|Kinh tế toán]] || [[Lý thuyết điều khiển tự động|Lý thuyết điều khiển]]
|}

==Giải thưởng toán học và những bài toán chưa giải được==
{{Main|Huy chương Fields|Giải thưởng Abel|Các bài toán thiên niên kỷ}}
Có thể nói giải thưởng toán học danh giá nhất là [[Huy chương Fields]],<ref>"The Fields Medal is now indisputably the best known and most influential award in mathematics (Hiện nay Fields Medal chắc chắn là giải thưởng toán học có ảnh hưởng nhất và được biết đến nhiều nhất)." Monastyrsky 2001</ref><ref>{{chú thích tạp chí
|last=Riehm
|first=Carl
|title=The Early History of the Fields Medal
|journal=Notices of the AMS
|volume=49
|issue=7
|pages=778–782
|publisher=AMS
|date=August 2002
|url=http://www.ams.org/notices/200207/comm-riehm.pdf
|format=PDF
}}</ref> thiết lập vào năm 1936 và nay được trao bốn năm một lần cho 2 đến 4 nhà toán học có độ tuổi dưới 40. Huy chương Fields thường được xem là tương đương với [[Giải Nobel]] trong những lĩnh vực khác. (Giải Nobel không xét trao thưởng trong lĩnh vực toán học) Một số giải thưởng quốc tế quan trọng khác gồm có: [[Giải Wolf về Toán học]] (thiết lập vào năm 1978) để ghi nhận thành tựu trọn đời; [[Giải Abel]] (thiết lập vào năm 2003) dành cho những nhà toán học xuất chúng; [[Huy chương Chern]] (thiết lập vào năm 2010) để ghi nhận thành tựu trọn đời.

Năm 1900, nhà toán học người Đức [[David Hilbert]] biên soạn một danh sách gồm 23 bài toán chưa có lời giải (còn được gọi là [[Các bài toán của Hilbert]]). Danh sách này rất nổi tiếng trong cộng đồng các nhà toán học, và ngày nay có ít nhất chín bài đã được giải. Một danh sách mới bao gồm bảy bài toán quan trọng, gọi là "[[Các bài toán thiên niên kỷ|Các bài toán của giải thiên niên kỷ]]" (Millennium Prize Problems), đã được công bố vào năm 2000, ai giải được một trong số các bài toán này sẽ được trao giải một triệu [[đô-la]]. Chỉ có một bài toán từ danh sách của Hilbert (cụ thể là [[giả thuyết Riemann]]) trong danh sách mới này. Tới nay, một trong số bảy bài toán đó ([[giả thuyết Poincaré]]) đã có lời giải.

==Mối quan hệ giữa toán học và khoa học==
[[Tập tin:Carl Friedrich Gauss.jpg|upright|nhỏ|trái|150px|[[Carl Friedrich Gauss]], người được xem là "hoàng tử của toán học."<ref>{{chú thích sách
|last=Zeidler
|first=Eberhard
|title=Oxford User's Guide to Mathematics
|url=https://archive.org/details/oxfordusersguide00zeid
|location=Oxford, UK
|publisher=Oxford University Press
|year=2004
|isbn=0-19-850763-1
|page=[https://archive.org/details/oxfordusersguide00zeid/page/n1210 1188]}}</ref>]]

[[Carl Friedrich Gauss|Gauss]] xem toán học là "hoàng tử của các ngành khoa học".<ref name="Waltershausen">{{chú thích sách |last=Waltershausen |first=Wolfgang Sartorius von |authorlink=|title=Gauss zum Gedächtniss |year=1856 |publisher=Sändig Reprint Verlag H. R. Wohlwend |isbn=3-253-01702-8 |url=https://www.amazon.de/Gauss-Ged%e4chtnis-Wolfgang-Sartorius-Waltershausen/dp/3253017028}}</ref> Trong cụm từ [[La-tinh]] ''Regina Scientiarum'' và cụm từ [[tiếng Đức]] ''Königin der Wissenschaften'' (cả hai đều có nghĩa là "nữ hoàng của các ngành khoa học"), từ chỉ "khoa học" có nghĩa là "lĩnh vực tri thức," và đây cũng chính là nghĩa gốc của từ ''science'' (khoa học) trong [[tiếng Anh]]; như vậy toán học là một lĩnh vực tri thức. Sự chuyên biệt hóa giới hạn nghĩa của "khoa học" vào "khoa học tự nhiên" theo sau sự phát triển của phương pháp luận [[Francis Bacon|Bacon]], từ đó đối lập "khoa học tự nhiên" với [[triết học kinh viện|phương pháp kinh viện]], phương pháp luận [[Aristotle]] nghiên cứu từ những nguyên lý cơ sở. So với các ngành khoa học tự nhiên như sinh học hay vật lý học thì thực nghiệm và quan sát thực tế có vai trò không đáng kể trong toán học. [[Albert Einstein]] nói rằng "khi các định luật toán học còn phù hợp với thực tại thì chúng không chắc chắn; và khi mà chúng chắc chắn thì chúng không còn phù hợp với thực tại."<ref name=certain>Einstein, p. 28. Câu trích dẫn nằm trong đoạn Einstein trả lời cho câu hỏi: "How can it be that mathematics, being after all a product of human thought which is independent of experience, is so admirably appropriate to the objects of reality?" (Làm sao mà toán học, nói cho cùng cũng chỉ là một sản phẩm của tư duy con người và độc lập với trải nghiệm, lại có thể mô tả tốt như vậy những đối tượng của thực tại?) Bản thân ông cũng quan tâm đến bài báo ''The Unreasonable Effectiveness of Mathematics in the Natural Sciences'' (Sự hữu hiệu đến mức khó tin của toán học trong các ngành khoa học tự nhiên) của nhà vật lý Eugene Wigner.</ref> Mới đây hơn, [[Marcus du Sautoy]] đã gọi toán học là "nữ hoàng của các ngành khoa học;... động lực thúc đẩy chính đằng sau những phát kiến khoa học."<ref>Marcus du Sautoy, ''[http://www.bbc.co.uk/programmes/b00stcgv A Brief History of Mathematics: 10. Nicolas Bourbaki]'', BBC Radio 4, ngày 1 tháng 10 năm 2010.</ref>

Nhiều triết gia tin rằng, trong toán học, tính có thể chứng minh được là sai (falsifiability) không thể thực hiện được bằng thực nghiệm, và do đó toán học không phải là một ngành khoa học theo như định nghĩa của [[Karl Popper]].<ref>{{chú thích sách |title=Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists |author=Shasha, Dennis Elliot; Lazere, Cathy A. |publisher=Springer |year=1998 |page=228}}</ref> Tuy nhiên, trong thập niên 1930, các định lý về tính không đầy đủ (incompleteness theorems) của [[Kurt Gödel|Gödel]] đưa ra gợi ý rằng toán học không thể bị quy giảm về logic mà thôi, và Karl Popper kết luận rằng "hầu hết các lý thuyết toán học, giống như các lý thuyết vật lý và sinh học, mang tính giả định-suy diễn: toán học thuần túy do đó trở nên gần gũi hơn với các ngành khoa học tự nhiên nơi giả định mang tính chất suy đoán hơn hơn mức mà người ta nghĩ."<ref>Popper 1995, p. 56</ref>

Một quan điểm khác thì cho rằng một số lĩnh vực khoa học nhất định (như [[vật lý lý thuyết]]) là toán học với những tiên đề được tạo ra để kết nối với thực tại. Thực sự, nhà vật lý lý thuyết [[J. M. Ziman]] đã cho rằng khoa học là "tri thức chung" và như thế bao gồm cả toán học.<ref>{{chú thích sách
 | first = John | last = Ziman | year = 1968
 | title = Public Knowledge: Essay Concerning the Social Dimension of Science
 | url = https://archive.org/details/publicknowledgee0000zima_x4x9 | publisher = Cambridge University Press
 | isbn = 978-0-521-06894-9 }}</ref> Dù sao đi nữa, toán học có nhiều điểm chung với nhiều lĩnh vực trong các ngành khoa học vật lý, đáng chú ý là việc khảo sát những hệ quả logic của các giả định. [[Trực giác]] và hoạt động thực nghiệm cũng đóng một vai trò trong việc xây dựng nên các giả thuyết trong toán học lẫn trong những ngành khoa học (khác). [[Toán học thực nghiệm]] ngày càng được chú ý trong bản thân ngành toán học, và việc tính toán và mô phỏng đang đóng vai trò ngày càng lớn trong cả khoa học lẫn toán học. 

Ý kiến của các nhà toán học về vấn đề này không thống nhất. Một số cảm thấy việc gọi toán học là khoa học làm giảm tầm quan trọng của khía cạnh thẩm mỹ của nó, và lịch sử của nó trong bảy [[giáo dục khai phóng|môn khai phóng]] truyền thống; một số người khác cảm thấy rằng bỏ qua mối quan hệ giữa toán học và các ngành khoa học là cố tình làm ngơ trước thực tế là sự tương tác giữa toán học và những ứng dụng của nó trong [[khoa học]] và [[kỹ thuật]] đã là động lực chính của những phát triển trong toán học. Sự khác biệt quan điểm này bộc lộ trong cuộc tranh luận triết học về chuyện toán học "được tạo ra" (như [[nghệ thuật]]) hay "được khám phá ra" (như khoa học). Các [[viện đại học]] thường có một trường hay [[phân khoa]] "khoa học và toán học".<ref>Chẳng hạn, [https://www.csun.edu/science-mathematics College of Science and Mathematics] (Trường Đại học Khoa học và Toán học) ở California State University, Northridge.</ref> Cách gọi tên này ngầm ý rằng khoa học và toán học gần gũi với nhau nhưng không phải là một.

== Xem thêm ==
{{chủ đề|Toán học}}
* [[Danh sách nhà toán học|Danh sách các nhà toán học]]
* [[Danh sách các bài toán học|Danh sách các bài toán toán học]]

== Chú thích ==
{{tham khảo|30em}}

==Tham khảo==
{{Đầu tham khảo|30em}}
* [[Toán học là gì?]], Richard Courant (1888-1972) và Herbert Robbins (1915-2001), [[Nhà xuất bản Đại học Oxford]] 1941. Hàn Liên Hải dịch, Nhà xuất bản Khoa học Kỹ thuật 1984.
* [Tác giả?]. ''Toán học'' (Bộ sách Tri thức tuổi hoa niên thế kỷ XXI). Từ Văn Mặc, Từ Thu Hằng dịch. Nhà xuất bản. Văn hóa Thông tin, 2001, 470 tr..
* Nguyễn Đình Trí, Tạ Văn Đĩnh, Nguyễn Hồ Quỳnh [http://dulieu.tailieuhoctap.vn/books/giao-duc-dai-cuong/toan-cao-cap/file_goc_780751.pdf Toán học cao cấp] Tập một: Đại số và hình học giải tích. Nhà xuất bản Giáo dục. Tháng 10 năm 2006. 393 trang
* S. M. Nikol skij (ch.b.). ''Từ điển bách khoa phổ thông toán học''. Hoàng Quý, Nguyễn Văn Ban, và Hoàng Chúng dịch. Nhà xuất bản. Giáo dục, 2001, 454 tr.
* Howard Eves. ''Giới thiệu lịch sử toán học''. Trần Tất Thắng dịch. Nhà xuất bản. Tp. Hồ Chí Minh, 1993, 518 tr.
* Benson, Donald C., ''The Moment of Proof: Mathematical Epiphanies'', Oxford University Press: new ed. (Dec. 14, 2000). ISBN 0-19-513919-4.
* Boyer, Carl B. ''A History of Mathematics''. Wiley: 2nd ed. (Mar. 6, 1991). ISBN 0-471-54397-7.
* Courant, R. and H. Robbins. ''What Is Mathematics?: An Elementary Approach to Ideas and Methods''. Oxford University Press, USA: 2nd ed. (Jul. 18, 1996). ISBN 0-19-510519-2.
* Davis, Philip J. and Hersh, Reuben. ''The Mathematical Experience''. Mariner Books: Reprint ed. (Jan. 14, 1999). ISBN 0-395-92968-7.
* {{chú thích tạp chí
| last = Einstein
| first = Albert
| authorlink = Albert Einstein
| title = Sidelights on Relativity (Geometry and Experience)
| publisher = P. Dutton., Co
| year = 1923}}
* Eves, Howard. ''An Introduction to the History of Mathematics''. Saunders: 6th ed., 1990. ISBN 0-03-029558-0.
* Gullberg, Jan. ''Mathematics—From the Birth of Numbers''. W. W. Norton & Company: 1st ed. (Oct. 1997). ISBN 0-393-04002-X.
* Hazewinkel, Michiel (ed.), ''Encyclopaedia of Mathematics''. Kluwer Academic Publishers, 2000.
* Jourdain, Philip E. B.. "The Nature of Mathematics," trong ''The World of Mathematics''. James R. Newman, editor. Dover Publications, 2003. ISBN 0-486-43268-8.
* Kline, Morris. ''Mathematical Thought from Ancient to Modern Times''. Oxford University Press (Mar. 1, 1990). ISBN 0-19-506135-7.
* {{chú thích tạp chí|url=http://www.fields.utoronto.ca/aboutus/FieldsMedal_Monastyrsky.pdf|year=2001|title=Some Trends in Modern Mathematics and the Fields Medal|author=Monastyrsky, Michael|publisher=Canadian Mathematical Society|accessdate = ngày 28 tháng 7 năm 2006 |format=PDF}}
* Pappas, Theoni. ''The Joy Of Mathematics''. Wide World Publishing: revised edition (Jun. 1989). ISBN 0-933174-65-9.
* Peterson, Ivars. ''Mathematical Tourist, New and Updated Snapshots of Modern Mathematics''. Owl Books, 2001. ISBN 0-8050-7159-8.
* {{Chú thích sách | last = Paulos | first = John Allen | authorlink = | year = 1996 | title = A Mathematician Reads the Newspaper | url = https://archive.org/details/mathematicianrea0000paul_c1f1 | publisher = Anchor | isbn = 0-385-48254-X}}
* {{Chú thích sách | first=Karl R. | last=Popper | authorlink= | title=In Search of a Better World: Lectures and Essays from Thirty Years | url=https://archive.org/details/insearchofbetter00karl | chapter=On knowledge | publisher=Routledge | year=1995 | isbn=0-415-13548-6}}
* {{chú thích tạp chí| last=Sevryuk | first=Mikhail B. | authorlink = | year = 2006| title = Book Reviews| journal = Bulletin of the American Mathematical Society| volume = 43| issue = 1| pages = 101–109| url = http://www.ams.org/journals/bull/2006-43-01/S0273-0979-05-01069-4/S0273-0979-05-01069-4.pdf| format = PDF| accessdate = ngày 24 tháng 6 năm 2006 | doi = 10.1090/S0273-0979-05-01069-4}}
{{Cuối tham khảo}}

== Liên kết ngoài ==
{{thể loại Commons|Mathematics}}
{{wikibooks|Thể loại:Toán học}}
{{Wiktionary|toán học}}
* {{Britannica|369194|Mathematics}}
* {{TĐBKVN|1038}}
* [http://math.ac.vn/vi/ Viện Toán học]. Việt Nam.
* [https://ocw.mit.edu/courses/mathematics/ ''Mathematics'' Các khóa học và bài giảng về toán học]. [[Viện Công nghệ Massachusetts|MIT]] OpenCourseWare.
* {{MathWorld |title=Mathematics |urlname=Mathematics}}
* [https://web.archive.org/web/20150520074511/http://www.math-atlas.org/ The Mathematical Atlas] (Bản đồ các nhánh toán học).
* [https://link.springer.com/journal/10013 Vietnam Journal of Mathematics] 
* [http://journals.math.ac.vn/acta/ Acta Mathematica Vietnamica]
* [https://sites.google.com/site/letrungkienmath/bao-toan-hoc-va-tuoi-tre Toán học và tuổi trẻ]
{{Toán}}
{{Kiểm soát tính nhất quán}}
{{Thanh chủ đề|Toán học|Sinh học|La Mã và Hy Lạp cổ đại |Đế quốc Ottoman|Châu Mỹ}}
{{Sao bài viết tốt}}

[[Thể loại:Toán học|*]]
[[Thể loại:Bài cơ bản dài]]
[[Thể loại:Khoa học hình thức]]
[[Thể loại:Thuật ngữ toán học]]
[[Thể loại:Khoa học tự nhiên]]
[[Thể loại:Phân loại chủ đề chính]]