Matematik

Matematik (Jawi: ‏ماتماتيك‎code: ms is deprecated ‎) atau ilmu hisab (Jawi: ‏علمو حساب‎code: ms is deprecated ‎) ialah satu bidang pengetahuan yang mengkaji bilangan, struktur, ruang dan perubahan. Ahli matematik mencari pola,^[1][2] memformulasikan atau merumuskan konjektur yang baru, dan menghasilkan fakta dengan deduksi rapi dari aksiom dan definisi yang dipilih dengan baik.^[3]

Terdapat percanggahan pendapat sama ada objek matematik seperti nombor wujud secara semula jadi, ataupun hasil ciptaan manusia. Ahli matematik Benjamin Peirce menggelar matematik sebagai "sains yang memberi kesimpulan yang sewajarnya"^[4]. Albert Einstein sebaliknya menyatakan "selagi hukum matematik itu merujuk kepada realiti, maka ia tidak pasti, dan selagi ia pasti, ia tidak merujuk kepada realiti"^[5].

Dengan penggunaan pengabstrakan dan penaakulan logik, matematik berevolusi dari pembilangan, pengiraan, pengukuran, dan kajian sistematik terhadap bentuk dan pergerakan objek fizikal. Matematik gunaan telah wujud dalam aktiviti seharian manusia sejak kewujudan rekod bertulis. Hujah yang rapi mula wujud dalam Matematik Yunani, antara yang terkenal ialah karya Euclid, Elemen. Matematik kemudiannya terus berkembang, contohnya di China pada kurun ke-3 sebelum masihi, di India pada kurun pertama masihi dan di dunia Islam pada kurun ke-8 masihi, sehingga kemunculan Zaman Pembaharuan, apabila penciptaan matematik berinteraksi dengan penemuan saintifik yang baru, membawa kepada peningkatan yang sangat besar dalam penemuan matematik yang kekal berterusan sehingga hari ini^[6].

Matematik digunakan di seluruh dunia sebagai alat penting dalam pelbagai bidang, termasuklah sains semula jadi, kejuruteraan, perubatan dan sains sosial. Matematik gunaan, satu cabang matematik yang mengkaji aplikasi ilmu matematik ke dalam bidang lain, memberi inspirasi dan memanfaatkan penemuan matematik yang baru dan kadang-kala menjadi pencetus kepada pembangunan disiplin matematik yang baru sepenuhnya seperti statistik dan teori permainan. Ahli matematik juga terlibat dalam matematik tulen, satu cabang matematik yang khusus untuk bidangnya sahaja, tanpa aplikasi ke dalam bidang yang lain, walaupun aplikasi yang praktikal untuk apa yang bermula sebagai matematik tulen sering ditemui^[7].

Perkataan "matematik" dipinjam daripada perkataan bahasa Inggeris iaitu mathematicscode: en is deprecated diserap daripada kata jamak neuter Latin mathematica (seperti yang digunakan penulis seumpama Cicero) berdasarkan kata jamak Yunani τα μαθηματικάcode: el is deprecated ta mathēmatiká yang digunakan oleh Aristoteles, dan ia rata-ratanya bererti "segala benda matematik".^[8] Kata ini berakar daripada bahasa Yunani μάθημα máthēma yang bermaksud "ajaran, timbaan" yakni boleh ditafsirkan lanjut sebagai "ilmu" atau "sains" secara umumnya, pengungkapan ini menyempit dan lebih teknikal bermaksud "bidang kiraan" seawal dalam zaman Klasik lagi.^[9]

Perkataan "ilmu hisab" pula datang daripada pengungkapan "hisab" yang diserap daripada kata bahasa Arab حِساب‎ ḥisāb "hitungan kiraan"; ia bentuk ism kata kerja حَسِبَ‎ ḥasiba yang bermaksud "mengira; menghitung".^[10] Ungkapan ilmu kira-kira turut didapati dalam kamus dwibahasa Wilkinson tahun 1932.^[11]

Proses evolusi matematik boleh dilihat sebagai satu penambahan berterusan siri-siri pengabstrakan, atau satu pengembangan isi. Pengabstrakan pertama yang dikongsi oleh banyak haiwan,^[12] berkemungkinan adalah nombor; contohnya kesedaran yang dua epal dan dua oren mempunyai satu persamaan.

Selain pengetahuan membilang objek fizikal, manusia prasejarah juga mengetahui bagaimana untuk membilang kuantiti abstrak seperti masa - hari, musim, tahun.^[13] dan diikuti dengan kebolehan aritmetik permulaan seperti ( penambahan, penolakan, pendaraban dan pembahagian).

Angka direkodkan dalam pelbagai sistem seperti kayu pengira ataupun untaian bersimpul yang dikenali sebagai quipu yang digunakan oleh orang Inca. Terdapat banyak jenis sistem angka terawal, dan angka bertulis pertama yang diketahui, dicatatkan oleh orang Mesir purba. Tamadun Lembah Indus telah membangunkan sistem perpuluhan moden yang pertama, termasuk konsep kosong.

Matematik pada mulanya digunakan dalam perdagangan, pengukuran tanah, corak tenunan dan lukisan dan untuk merekodkan masa. Ilmu ini menjadi semakin maju selepas 3000SM apabila orang Babylon dan Mesir Purba mula menggunakan aritmetik, algebra asas dan geometri untuk cukai dan lain-lain pengiraan kewangan, pembinaan dan astronomi.^[14] Pengkajian matematik secara sistematik telah dimulakan oleh orang Yunani Purba antara tahun 600 dan 300SM.

Semenjak itu, ilmu matematik berkembang dengan pesat dan terdapat juga interaksi yang bermanfaat antara matematik dan sains yang memberikan faedah kepada keduanya. Penemuan-penemuan terbaru dalam matematik berlaku sepanjang sejarah manusia dan proses in berterusan sehingga hari ini. Menurut Mikhail B. Sevryuk, dalam Bulletin of the American Mathematical Society isu Januari 2006, '"Jumlah kertas kerja dan buku yang ada dalam pangkalan data Mathematical Reviews sejak 1940 (tahun pertama operasi MR) adalah melebihi 1.9 juta, dan lebih 75 ribu item ditambah ke dalam pangkalan data setiap tahun. Majoriti besar hasil kerja dalam pangkalan data ini mengandungi teorem matematik yang baru dan bukti-buktinya."^[15]

Matematik muncul daripada pelbagai jenis masalah yang melibatkan pengiraan. Pada mulanya masalah ini ditemui dalam perdagangan, pengukuran tanah dan kemudiannya astronomi; hari ini, semua jenis sains menghadapi masalah yang dikaji oleh para ahli matematik, dan banyak juga masalah yang muncul dalam ilmu matematik itu sendiri. Contohnya, ahli fizik Richard Feynman telah mencipta formulasi integral laluan mekanik kuantum menggunakan kombinasi penaakulan matematik dan pemahaman fizikal, dan teori rentetan, satu teori saintifik yang masih dalam pembangunan yang cuba untuk menggabungkan kuasa semula jadi yang asas, terus memberi ilham kepada matematik yang baru.^[16] Ada matematik yang cuma relevan dalam bidang yang ia diilhamkan, dan digunakan untuk menyelesaikan masalah lanjutan dalam bidang tersebut. Tetapi sering kali matematik juga berguna dalam bidang selain dari yang ia diilhamkan, dan menggabungkan stok umum konsep-konsep matematik yang lain.

Perbezaan sering dibuat antara matematik tulen dan matematik gunaan tetapi terdapat juga topik-topik matematik tulen yang mempunyai penggunaan contohnya teori nombor dalam kriptografi. Fakta yang menakjubkan bahawa matematik "paling tulen" juga sering mempunyai kegunaan praktikal adalah apa yang dipanggil Eugene Wigner sebagai "Keberkesanan Matematik yang tidak munasabah dalam sains tabii".^[17]

Seperti yang terjadi kepada kebanyakan bidang pengajian yang lain, perkembangan ilmu pengetahuan dalam zaman saintifik telah membawa kepada pengkhususan dalam Matematik; hari ini terdapat ratusan bidang pengkhususan dalam matematik dan Mathematics Subject Classification yang terbaru telah mencecah 46 muka surat.^[18] Beberapa bidang matematik gunaan telah bergabung dengan tradisi berkaitan di luar bidang matematik dan telah menjadi satu disiplin yang tersendiri, antaranya statistik, kajian operasi dan sains komputer.

Kepada mereka yang cenderung dalam matematik, akan sentiasa terdapat bagi mereka aspek estetika dalam matematik. Ramai ahli matematik membicarakan tentang "keanggunan" matematik, estetika intrinsiknya dan kecantikan dalamannya. Terdapat kecantikan dalam bukti matematik yang ringkas dan anggun. Contohnya, pembuktian Euclid terhadap bilangan tidak terhingga nombor perdana dan kaedah berangka yang anggun yang mempercepat pengiraan, seperti transformasi Fourier cepat. G. H. Hardy dalam A Mathematician's Apology menyatakan yang dia percaya pertimbangan estetik sahaja cukup untuk mewajarkan pengkajian matematik tulen.^[19] Ahli matematik sentiasa berusaha untuk mencari bukti teorem yang khususnya anggun, satu pencarian yang sering digambarkan oleh Paul Erdős seperti mencari bukti dari Alkitab di mana Tuhan telah menulis bukti-bukti yang disukaiNya.^[20][21] Populariti matematik rekreasi merupakan satu lagi petanda keseronokan yang dialami ramai orang dalam menyelesaikan soalan-soalan matematik.

Kebanyakan tatatanda matematik tidak diperkenalkan sehingga kurun ke-16.^[22] Sebelum itu, rumus-rumus matematik ditulis menggunakan perkataan, satu kaedah yang menyusahkan yang menghadkan penemuan matematik.^[23] Pada kurun ke-18, Euler telah bertanggungjawab memperkenalkan banyak tatatanda seperti yang digunakan hari ini. Tatatanda moden menjadikan matematik lebih mudah untuk golongan profesional, tetapi mengelirukan golongan yang baru mempelajarinya. Tatatanda telah meringkaskan banyak keterangan, dengan beberapa simbol mengandungi maklumat yang banyak. Seperti juga notasi muzik, tatatanda matematik moden memiliki sintaks yang ketat dan mengekod maklumat yang mungkin sukar ditulis dalam cara yang lain.

Bahasa matematik boleh menjadi sukar bagi mereka yang baru mempelajarinya. Perkataan seperti "atau" dan "sahaja" mempunyai maksud yang lebih terperinci dari apa yang digunakan dalam perbualan harian. Selain itu, perkataan seperti "buka dan lapangan" telah diberikan maksud matematik yang khusus. Jargon matematik termasuklah istilah teknikal seperti homeomorfisma dan kamiran. Oleh kerana matematik memerlukan perincian yang lebih dari perbualan harian, tatatanda khusus dan jargon teknikal diperlukan. Ahli matematik menggelar perincian bahasa dan logik ini sebagai "ketelitian".

Ketelitian pada dasarnya adalah satu bukti matematik. Ahli matematik mahukan teorem-teorem mereka mengikut aksiom-aksiom hasil dari penaakulan sistematik. Ini untuk mengelakkan kesilapan teorem-teorem akibat dari intuisi yang salah, yang pernah terjadi dalam sejarah bidang ini.^[24] Tahap ketelitian dalam matematik sering berubah sepanjang zaman: orang Yunani cenderung kepada hujah yang terperinci (ketelitian tinggi), tetapi pada zaman Isaac Newton kaedah yang digunakan adalah kurang teliti. Masalah yang timbul dari kaedah yang digunakan Newton telah membawa kepada kebangkitan semula analisis terperinci dan bukti formal pada kurun ke-19. Hari ini, ahli matematik terus berhujah antara mereka tentang bukti bantuan komputer, kerana pengiraan yang besar sangat sukar disahkan dan bukti-buktinya mungkin tidak cukup teliti.^[25]

Aksiom dalam pemikiran tradisional adalah "kebenaran terbukti dengan sendiri", tetapi konsepsi ini ternyata bermasalah. Pada tahap formal, satu aksiom hanyalah satu rentetan simbol yang memiliki makna intrinsik hanya dalam konteks rumus-rumus terbitan satu sistem aksiom. Adalah menjadi matlamat program Hilbert untuk meletakkan semua matematik di atas asas aksiom yang kukuh, tetapi menurut teorem ketaklengkapan Gödel, setiap sistem aksiom (yang cukup kuat) mempunyai rumus yang tidak dapat ditentukan; jadi satu pengaksioman yang akhir untuk matematik adalah mustahil. Walau bagaimanapun, matematik sering digambarkan (sehingga kandungan formalnya) cuma teori set dalam beberapa pengaksioman, dalam erti kata yang setiap pernyataan matematik atau buktinya boleh dirangkumkan ke dalam rumus-rumus dalam teori set.^[26]

Carl Friedrich Gauss merujuk matematik sebagai "ratu kepada sains (ilmu pengetahuan)".^[28] Dalam bahasa Latin, Regina Scientiarum dan juga bahasa Jerman Königin der Wissenschaften, perkataan "sains" bermaksud (bidang) ilmu pengetahuan, yang juga merupakan maksud asalnya dalam bahasa Inggeris, dan tidak syak lagi yang matematik dalam erti kata lain adalah sejenis sains. Pengkhususan yang menghadkan takrifannya kepada sains "semula jadi" telah dibuat kemudiannya. Jika seseorang menganggap sains cuma terhad kepada perkara tentang alam fizikal, maka matematik atau sekurang-kurangnya matematik tulen, bukanlah sejenis sains. Albert Einstein menyatakan "sejauh mana hukum-hukum matematik merujuk kepada realiti, maka tiada kepastian baginya; dan sejauh mana kepastian wujud bagi hukum-hukum tersebut; ia tidak merujuk kepada realiti."^[5]

Ramai ahli falsafah percaya yang matematik tidak boleh ditentukan kebolehpalsuannya melalui eksperimen, jadi ia bukanlah sejenis sains berdasarkan pengertian Karl Popper.^[29] Bagaimanapun pada tahun 1930-an, kajian penting dalam logik matematik telah menunjukkan yang matematik tidak boleh diturunkan ke tahap logik, dan Karl Popper membuat kesimpulan yang "kebanyakan teori matematik adalah sama seperti teori fizik dan biologi yang diterbitkan dari hipotesis: jadi matematik tulen sebenarnya lebih dekat dengan sains semula jadi iaitu hipotesisnya dibuat dengan rambang, berbanding dengan apa yang diperhatikan sekarang."^[30] Pemikir lain yang terkenal seperti Imre Lakatos, telah mengaplikasikan satu versi pemalsuan kepada matematik itu sendiri.

Satu pandangan alternatif menyatakan yang beberapa bidang sains (seperti ilmu fizik teori) adalah matematik dengan aksiom yang bertujuan untuk dipadankan dengan realiti. Seorang ahli fizik teori, J. M. Ziman, menyarankan sains menjadi "ilmu pengetahuan umum" dan memasukkan matematik ke dalamnya.^[31] Matematik berkongsi banyak perkara yang sama dengan bidang dalam sains fizikal, terutamanya dalam penerokaan tentang akibat logikal andaian-andaian. Intuisi dan eksperimen juga memainkan peranan penting dalam perumusan konjektur dalam matematik dan sains-sains yang lain. Matematik eksperimen terus berkembang menjadi satu entiti utama dalam matematik selain pengiraan dan simulasi yang terus berperanan penting dalam kedua-dua sains dan matematik, sekaligus menyanggah pendapat sesetengah pihak yang menuduh matematik tidak menggunakan kaedah saintifik. Dalam bukunya A New Kind of Science terbitan tahun 2002, Stephen Wolfram berhujah yang matematik pengiraan layak diterokai secara empirikal sebagai satu bidang saintifik yang tersendiri.

Pendapat ahli matematik tentang perkara ini adalah pelbagai. Ramai antara mereka yang berasakan pengelasan matematik sebagai satu sains telah merendahkan kepentingan sisi estetikanya, dan sejarahnya dalam tujuh seni liberal tradisional; ada pula yag berasakan dengan menidakkan hubungannya dengan sains, akan mengabaikan fakta yang interaksi antara matematik dan gunaannya dalam sains dan kejuruteraan telah banyak membantu perkembangan matematik. Perbezaan pendapat ini telah membuka ruang perdebatan tentang falsafah sama ada matematik "dicipta" (seperti dalam seni) atau "ditemui" (seperti dalam sains). Sudah menjadi kebiasaan di universiti iaitu ada bahagian atau jabatan yang dinamakan "Sains dan Matematik", menunjukkan yang kedua-dua bidang sentiasa saling bergandingan tetapi tidak sama.

Dalam amalan, ahli matematik biasanya bekerjasama dengan para saintis pada peringkat kasar tetapi akan bekerja berasingan pada peringkat lebih terperinci. Ini merupakan antara isu yang dipertimbangkan dalam falsafah matematik.

Anugerah matematik biasanya diasingkan dari anugerah sains. Anugerah paling berprestij dalam matematik ialah Fields Medal,^[32][33] diasaskan pada tahun tahun 1936 dan dianugerahkan setiap empat tahun. Ia sering dianggap setara dengan anugerah untuk pencapaian sains, iaitu anugerah Nobel. Anugerah Wolf dalam matematik yang dimulakan pada tahun 1978, mengiktiraf pencapaian seumur hidup, dan satu lagi anugerah antarabangsa utama, anugerah Abel , diperkenalkan pada tahun 2003. Ia dianugerahkan untuk pencapaian seperti penciptaan, atau penyelesaian untuk masalah utama dalam bidang yang mantap. Satu senarai terkenal 23 masalah terbuka, yang digelar "masalah Hilbert", telah disusun pada tahun 1900 oleh ahli matematik Jerman David Hilbert. Senarai ini sangat terkenal di kalangan ahli matematik, dan sekurang-kurangnya enam daripada masalah tersebut telah diselesaikan. Satu senarai baru tujuh masalah penting, bertajuk "Masalah anugerah milenium" (Millennium Prize Problems) telah diterbitkan pada tahun 2000. Penyelesaian untuk setiap masalah ini akan diberi ganjaran sebanyak $1 juta, dan cuma satu masalah iaitu Hipotesis Riemann telah diambil dari "masalah Hilbert".

Secara umumnya, matematik boleh dibahagikan kepada kajian kuantiti, struktur, ruang, dan perubahan (i.e. aritmetik, algebra, geometri, and analisis). Terdapat juga subbahagian yang dikhususkan untuk penerokaan hubungan dari dasar matematik kepada bidang-bidang yang lain; contohnya logik matematik, teori set (asas), matematik empirikal untuk pelbagai sains (matematik gunaan), dan yang terbaru untuk kajian teliti tentang ketidakpastian.

Kajian kuantiti bermula dengan nombor, pertamanya nombor asli dan integer ("nombor bulat"), dan operasi aritmetik atas keduanya, yang digambarkan dalam aritmetik. Sifat integer yang lebih mendalam dikaji dalam teori nombor yang memberi hasil yang popular seperti teorem terakhir Fermat. Teori nombor juga memiliki dua masalah terkenal yang tidak boleh diselesaikan; konjektur perdana kembar dan konjektur Goldbach.

Semakin sistem nombor dikembangkan, integer dikenal pasti sebagai satu subset kepada nombor nisbah ("Pecahan"). Nombor nisbah pula adalah satu unsur dalam nombor nyata, yang digunakan untuk menunjukkan kuantiti yang selanjar. Nombor nyata pula adalah sebahagian dari nombor kompleks. Ini merupakan langkah-langkah pertama kepada hierarki nombor yang termasuk juga lipatan empat dan oktonion. Kajian terhadap nombor asli juga membawa kepada nombor melampaui terhingga, yang menjadi konsep rasmi untuk pengiraan ketakterhinggaan. Bidang kajian yang lain ialah saiz, yang merintis kepada nombor kardinal dan kemudiannya kepada konsepsi ketakterhinggaan yang lain; nombor aleph yang membenarkan perbandingan bermakna untuk saiz set-set yang sangat besar.

${\displaystyle 1,2,3\,\!}$	${\displaystyle -2,-1,0,1,2\,\!}$	${\displaystyle -2,{\frac {2}{3}},1.21\,\!}$	${\displaystyle -e,{\sqrt {2}},3,\pi \,\!}$	${\displaystyle 2,i,-2+3i,2e^{i{\frac {4\pi }{3}}}\,\!}$
Nombor asli	Integer	nombor nisbah	nombor nyata	nombor kompleks

Kajian tentang ruang berasal dari geometri - khususnya, geometri Euclid. Trigonometri adalah cabang matematik yang menerangkan hubungan antara sisi-sisi dan sudut-sudut pada segitiga dan juga fungsi-fungsi trigonometri; yang menggabungkan ruang dan nombor, dan termasuk teorem Pythagoras yang terkenal itu. Kajian moden tentang ruang mengitlak idea-idea ini dengan memasukkan geometri berdimensi tinggi, geometri bukan Euclid (yang juga memainkan peranan penting dalam kerelatifan am) dan topologi. Kedua-dua kuantiti dan ruang, memainkan peranan penting dalam geometri analisis, geometri kebezaan, dan geometri Algebra. Dalam geometri kebezaan terdapat konsep-konsep berkas gentian dan kalkulus pada manifold khususnya kalkulus vektor dan kalkulus tensor. Geometri algebra mengandungi penerangan tentang objek geometri sebagai satu set penyelesaian kepada persamaan polinomial, yang menggabungkan konsep-konsep kuantiti dan ruang, dan juga kajian kumpulan topologi yang merangkumi struktur dan ruang. Kumpulan Lie digunakan untuk mengkaji ruang, struktur, dan perubahan. Topologi dalam semua ramifikasinya yang banyak, mungkin merupakan satu bidang yang berkembang paling pesat dalam matematik kurun ke-20, termasuklah konjektur Poincaré yang lama dan teorem empat warna yang kontrovesi, yang cuma dibuktikan dengan komputer dan tidak pernah disahkan oleh manusia.

Geometri	Trigonometri	Geometri kebezaan	Topologi	Geometri fraktal

Memahami dan menerangkan perubahan merupakan tema biasa dalam sains semula jadi, dan kalkulus dibangunkan sebagai satu alat yang berkuasa untuk menyiasatnya. Fungsi merupakan konsep utama untuk menerangkan perubahan kuantiti. Kajian terperinci nombor nyata dan fungsi-fungsi pemboleh ubah nyata dikenali sebagai analisis nyata, dan analisis kompleks adalah bidang yang serupa untuk nombor kompleks. Analisis fungsian memberikan perhatian kepada (dimensi tak terhingga tipikal) ruang untuk fungsi-fungsi. Banyak masalah secara semula jadinya membawa kepada hubungan antara kuantiti dan kadar perubahannya, dan ini semua dikaji sebagai persamaan pembezaan. Kebanyakan fenomena semula jadi boleh diterangkan dengan sistem-sistem dinamik; teori kekacauan memberi jalan yang tepat iaitu kebanyakan sistem ini menunjukkan perlakuan yang tak dijangka tetapi masih boleh ditentukan.

Kalkulus	Kalkulus vektor	Persamaan pembezaan	Sistem dinamik	Teori kekacauan

Banyak objek matematik seperti set nombor dan fungsi, menunjukkan struktur dalaman. Sifat struktur objek-objek ini diselidiki dalam kajian kumpulan, gelanggang, medan dan sistem abstrak yang lain. Satu konsep penting di sini ialah vektor yang diamkan kepada ruang vektor, dan dikaji dalam algebra linear. Kajian tentang vektor menggabungkan tiga lapangan asas matematik; kuantiti, struktur dan ruang. Beberapa masalah lama berkenaan kompas dan pembinaan tepi lurus akhirnya dapat diselesaikan oleh teori Galois.

Teori nombor	Algebra abstrak	Teori kumpulan	Teori tertib

Untuk menjelaskan dasar matematik, bidang logik matematik dan teori set telah dibangunkan. Logik matematik merujuk kepada kajian matematik ke atas logik dan gunaan logik rasmi ke atas lapangan lain dalam matematik; teori set pula ialah cabang matematik yang mengkaji set atau himpunan objek-objek. Teori kategori yang memberi penyelesaian secara abstrak dengan struktur matematik dan hubungan antaranya, masih dalam pembangunan. Frasa "krisis dasar" menerangkan pencarian dasar yang terperinci untuk matematik yang berlaku antara 1900 dan 1930.^[34] Beberapa percanggahan pendapat tentang dasar matematik masih berlaku sehingga hari ini. Krisis dasar telah diselubungi beberapa kontrovesi pada masa itu, antaranya kontrovesi teori set Cantor dan kontrovesi Brouwer-Hilbert.

Logik matematik mengambil berat tentang meletakkan matematik di atas rangka kerja aksiom yang terperinci, dan mengkaji keputusan rangka kerja itu. Dalam logik matematik, terdapat teorem ketaklengkapan Gödelteorem ketaklengkapan Gödel kedua, yang merupakan keputusan paling terkenal dalam logik, yang (secara tidak rasmi) menyatakan dalam setiap sistem rasmi yang mengandungi aritmetik asas, jika "bunyi" (bermaksud setiap teorem yang dapat dibuktikan adalah benar) adalah "tidak lengkap" (maka terdapat teorem benar yang tidak dapat dibuktikan "dalam sistem tersebut"). Gödel menunjukkan bagaimana membina sebarang kumpulan aksiom teori-nombor yang diberi, satu pernyataan rasmi dalam logik tersebut yang merupakan fakta nombor-teori yang sebenar, tetapi tidak mengikuti dari aksiom tersebut. Jadi tiada sistem rasmi yang menjadi pengaksioman teori nombor penuh yang sebenar. ^{[perlu rujukan]} Logik moden boleh dibahagikan kepada teori rekursi, teori model, dan teori bukti, yang berkait rapat dengan sains komputer teori.

${\displaystyle p\Rightarrow q\,}$
Logik matematik	Teori set	Teori kategori

Matematik diskret adalah nama biasa untuk bidang-bidang yang berguna dalam sains komputer teori. Ini termasuk teori kebolehkomputan, teori kekompleksan perkomputan dan teori maklumat. Teori kebolehkomputan mengkaji had-had kepada berbagai model teori model untuk komputer, termasuk antara model yang paling berkuasa - mesin Turing. Teori kekompleksan ialah satu kajian tentang kebolehkesanan dengan komputer; beberapa masalah, walaupun secara teorinya boleh diselesaikan dengan komputer, adalah sangat memakan masa dan ruang sehingga menyelesaikannya tidak boleh dilaksanakan secara praktikal, walaupun dengan penggunaan perkakasan komputer yang sangat maju. Akhir sekali, teori maklumat ialah teori yang mengkaji jumlah data yang boleh dimuat dalam medium-medium, dan ia berurusan dengan konsep-konsep seperti pemampatan dan entropi.

Sebagai satu bidang yang boleh dikatakan baru, matematik diskret mempunyai beberapa masalah terbuka asas, yang paling terkenal ialah masalah "P=NP?", iaitu satu daripada Masalah anugerah milenium.^[35]

${\displaystyle {\begin{matrix}(1,2,3)&(1,3,2)\\(2,1,3)&(2,3,1)\\(3,1,2)&(3,2,1)\end{matrix}}}$
Kombinatorik	Teori pengiraan	Kriptografi	Teori graf

Matematik gunaan menggunakan kaedah matematik untuk menyelesaikan masalah dalam sains, perniagaan dan bidang-bidang lain.

Matematik gunaan berkait rapat dengan disiplin statistik, yang teori-teorinya dirumuskan secara matematik terutamanya teori kebarangkalian. Perangkawan (ahli statistik) mencipta "data yang wajar" dengan pensampelan rawak dan eksperimen yang dirawakkan; pembentukan sampel statistik atau eksperimen menentukan cara analisis data (sebelum data itu ada). Apabila mempertimbangkan data dari eksperimen dan sampel atau apabila menganalisis data dari pemerhatian, perangkawan "mewajarkan data" dengan menggunakan seni pemodelan dan teori pentaabiran - dalam pemilihan model dan jangkaan; model-model yang dijangka dan ramalan-ramalan penting perlu diuji datanya terlebih dahulu.^[36]

Matematik pengiraan mencadang dan mengkaji kaedah-kaedah penyelesaian masalah matematik yang terlalu besar untuk kapasiti manusia. Analisis berangka mengkaji kaedah-kaedah untuk menyelesaikan masalah dalam analisis menggunakan idea-idea analisis fungsi dan teknik-teknik teori penghampiran; analisis berangka termasuk kajian meluaspenghampiran dan pendiskretan dengan tumpuan khas diberikan kepada ralat pembundaran. Bidang lain dalam matematik pengiraan termasuklah algebra komputer dan pengiraan simbolik.

• 
  Fizik matematik
• 
  Dinamik bendalir
• 
  Analisis berangka
• 
  Pengoptimuman
• 
  Teori kebarangkalian
• 
  Statistik
• 
  Matematik kewangan
• 
  Teori permainan

{{#switch:||Kategori=