Matematika

Euklides, matematikawan Yunani, abad ke-3 SM, seperti yang dilukiskan oleh Raffaello Sanzio di dalam detail ini dari Sekolah Athena.
Matematika (dari bahasa Yunani: μαθημα - mathēma, "pengetahuan, pemikiran, pembelajaran") atau sebelumnya disebut ilmu hisab adalah ilmu yang mempelajari hal-hal seperti besaran, struktur, ruang, dan perubahan. Para matematikawan merangkai dan menggunakan berbagai pola, dan menggunakannya untuk merumuskan konjektur baru, dan membangun kebenaran melalui metode deduksi yang ketat diturunkan dari aksioma-aksioma dan definisi-definisi yang bersesuaian.

Terjadi perdebatan tentang apakah objek-objek matematika seperti bilangan dan titik sudah ada di semesta, jadi ditemukan, atau ciptaan manusia. Seorang matematikawan Benjamin Peirce menyebut matematika sebagai "ilmu yang menggambarkan simpulan-simpulan yang penting". Namun, walau matematika pada kenyataannya sangat bermanfaat bagi kehidupan, perkembangan sains dan teknologi, sampai upaya melestarikan alam, matematika hidup di alam gagasan, bukan di realita atau kenyataan. Dengan tepat, Albert Einstein menyatakan bahwa "sejauh hukum-hukum matematika merujuk kepada kenyataan, mereka tidaklah pasti; dan sejauh mereka pasti, mereka tidak merujuk kepada kenyataan." Makna dari "Matematika tak merujuk kepada kenyataan" menyampaikan pesan bahwa gagasan matematika itu ideal dan steril atau terhindar dari pengaruh manusia. Uniknya, kebebasannya dari kenyataan dan pengaruh manusia ini nantinya justru memungkinkan penyimpulan pernyataan bahwa semesta ini merupakan sebuah struktur matematika, menurut Max Tegmark. Jika kita percaya bahwa realita di luar semesta ini haruslah bebas dari pengaruh manusia, maka harus struktur matematika lah semesta itu.

Melalui penggunaan penalaran logika dan abstraksi, matematika berkembang dari pencacahan, perhitungan, pengukuran, dan pengkajian sistematis terhadap bangun dan pergerakan benda-benda fisika. Matematika praktis mewujud dalam kegiatan manusia sejak adanya rekaman tertulis. Argumentasi matematika yang ketat pertama muncul di dalam Matematika Yunani, terutama di dalam karya Euklides, Elemen.

Matematika selalu berkembang, misalnya di Tiongkok pada tahun 300 SM, di India pada tahun 100 M, dan di Arab pada tahun 800 M, hingga zaman Renaisans, ketika temuan baru matematika berinteraksi dengan penemuan ilmiah baru yang mengarah pada peningkatan yang cepat di dalam laju penemuan matematika yang berlanjut hingga kini.

Kini, matematika digunakan di seluruh dunia sebagai alat penting di berbagai bidang, termasuk ilmu alam, teknik, kedokteran/medis, dan ilmu sosial seperti ekonomi, dan psikologi. Matematika terapan, cabang matematika yang melingkupi penerapan pengetahuan matematika ke bidang-bidang lain, mengilhami dan membuat penggunaan temuan-temuan matematika baru, dan kadang-kadang mengarah pada pengembangan disiplin-disiplin ilmu yang sepenuhnya baru, seperti statistika dan teori permainan.

Para matematikawan juga bergulat di dalam matematika murni, atau matematika untuk perkembangan matematika itu sendiri. Mereka berupaya menjawab pertanyaan-pertanyaan yang muncul di dalam pikirannya, walaupun belum diketahui penerapannya. Namun, kenyataannya banyak sekali gagasan matematika yang sangat abstrak dan tadinya tak diketahui relevansinya dengan kehidupan, mendadak ditemukan penerapannya. Pengembangan matematika (murni) dapat mendahului atau didahului kebutuhannya dalam kehidupan. Penerapan praktis gagasan matematika yang menjadi latar munculnya matematika murni seringkali ditemukan kemudian.

Matematika sebagai ilmu pengetahuan

Carl Friedrich Gauss, menganggap dirinya sebagai "pangerannya para matematikawan", dan mengatakan matematika sebagai "Ratunya Ilmu Pengetahuan".

Carl Friedrich Gauss mengatakan matematika sebagai "Ratunya Ilmu Pengetahuan". Di dalam bahasa aslinya, Latin Regina Scientiarum, juga di dalam bahasa Jerman Königin der Wissenschaften, kata yang bersesuaian dengan ilmu pengetahuan berarti (lapangan) pengetahuan. Jelas, inipun arti asli di dalam bahasa Inggris, dan tiada keraguan bahwa matematika di dalam konteks ini adalah sebuah ilmu pengetahuan. Pengkhususan yang mempersempit makna menjadi ilmu pengetahuan alam adalah pada masa terkemudian. Bila seseorang memandang ilmu pengetahuan hanya terbatas pada dunia fisika, maka matematika, atau sekurang-kurangnya matematika murni, bukanlah ilmu pengetahuan.

Albert Einstein menyatakan bahwa "sejauh hukum-hukum matematika merujuk kepada kenyataan, maka mereka tidaklah pasti; dan sejauh mereka pasti, mereka tidak merujuk kepada kenyataan."

anyak filsuf yakin bahwa matematika tidak dapat dibuktikan maupun disangkal berdasarkan percobaan, dan dengan demikian bukanlah ilmu pengetahuan per definisi Karl Popper. Tetapi, di dalam karya penting tahun 1930-an tentang logika matematika menunjukkan bahwa matematika tidak bisa direduksi menjadi logika, dan Karl Popper menyimpulkan bahwa "sebagian besar teori matematika, seperti halnya fisika dan biologi, adalah hipotetis-deduktif: oleh karena itu matematika menjadi lebih dekat ke ilmu pengetahuan alam yang hipotesis-hipotesisnya adalah konjektur (dugaan), lebih daripada sebagai hal yang baru." Para bijak bestari lainnya, sebut saja Imre Lakatos, telah menerapkan satu versi pemalsuan kepada matematika itu sendiri.

Sebuah tinjauan alternatif adalah bahwa lapangan-lapangan ilmiah tertentu (misalnya fisika teoretis) adalah matematika dengan aksioma-aksioma yang ditujukan sedemikian sehingga bersesuaian dengan kenyataan. Faktanya, seorang fisikawan teoretis, J. M. Ziman, mengajukan pendapat bahwa ilmu pengetahuan adalah pengetahuan umum dan dengan demikian matematika termasuk di dalamnya. Di beberapa kasus, matematika banyak saling berbagi dengan ilmu pengetahuan fisika, sebut saja penggalian dampak-dampak logis dari beberapa anggapan. Intuisi dan percobaan juga berperan penting di dalam perumusan konjektur-konjektur, baik itu di matematika, maupun di ilmu-ilmu pengetahuan (lainnya).

Matematika percobaan terus bertumbuh kembang, mengingat kepentingannya di dalam matematika, kemudian komputasi dan simulasi memainkan peran yang semakin menguat, baik itu di ilmu pengetahuan, maupun di matematika, melemahkan objeksi yang mana matematika tidak menggunakan metode ilmiah. Di dalam bukunya yang diterbitkan pada 2002 A New Kind of Science, Stephen Wolfram berdalil bahwa matematika komputasi pantas untuk digali secara empirik sebagai lapangan ilmiah di dalam haknya/kebenarannya sendiri.

Pendapat-pendapat para matematikawan terhadap hal ini adalah beraneka macam. Banyak matematikawan merasa bahwa untuk menyebut wilayah mereka sebagai ilmu pengetahuan sama saja dengan menurunkan kadar kepentingan sisi estetikanya, dan sejarahnya di dalam tujuh seni liberal tradisional; yang lainnya merasa bahwa pengabaian pranala ini terhadap ilmu pengetahuan sama saja dengan memutar-mutar mata yang buta terhadap fakta bahwa antarmuka antara matematika dan penerapannya di dalam ilmu pengetahuan dan rekayasa telah mengemudikan banyak pengembangan di dalam matematika.

Satu jalan yang dimainkan oleh perbedaan sudut pandang ini adalah di dalam perbincangan filsafat apakah matematika diciptakan (seperti di dalam seni) atau ditemukan (seperti di dalam ilmu pengetahuan). Adalah wajar bagi universitas bila dibagi ke dalam bagian-bagian yang menyertakan departemen Ilmu Pengetahuan dan Matematika, ini menunjukkan bahwa lapangan-lapangan itu dipandang bersekutu tetapi mereka tidak seperti dua sisi keping uang logam. Pada tataran praktisnya, para matematikawan biasanya dikelompokkan bersama-sama para ilmuwan pada tingkatan kasar, tetapi dipisahkan pada tingkatan akhir. Ini adalah salah satu dari banyak perkara yang diperhatikan di dalam filsafat matematika.

Penghargaan matematika umumnya dipelihara supaya tetap terpisah dari kesetaraannya dengan ilmu pengetahuan. Penghargaan yang adiluhung di dalam matematika adalah Fields Medal (medali lapangan), dimulakan pada 1936 dan kini diselenggarakan tiap empat tahunan. Penghargaan ini sering dianggap setara dengan Hadiah Nobel ilmu pengetahuan.

Wolf Prize in Mathematics, dilembagakan pada 1978, mengakui masa prestasi, dan penghargaan internasional utama lainnya, Hadiah Abel, diperkenalkan pada 2003. Ini dianugerahkan bagi ruas khusus karya, dapat berupa pembaharuan, atau penyelesaian masalah yang terkemuka di dalam lapangan yang mapan.

Sebuah daftar terkenal berisikan 23 masalah terbuka, yang disebut "masalah Hilbert", dihimpun pada 1900 oleh matematikawan Jerman David Hilbert. Daftar ini meraih persulangan yang besar di antara para matematikawan, dan paling sedikit sembilan dari masalah-masalah itu kini terpecahkan.

Sebuah daftar baru berisi tujuh masalah penting, berjudul "Masalah Milenium", diterbitkan pada 2000. Pemecahan tiap-tiap masalah ini berhadiah US$ 1 juta, dan hanya satu (hipotesis Riemann) yang mengalami penggandaan di dalam masalah-masalah Hilbert.

Bidang-bidang matematika

Sebuah sempoa, alat hitung sederhana yang dipakai sejak zaman kuno.

Besaran

Pengkajian besaran dimulakan dengan bilangan, pertama bilangan asli dan bilangan bulat ("semua bilangan") dan operasi aritmetika di ruang bilangan itu, yang dipersifatkan di dalam aritmetika. Sifat-sifat yang lebih dalam dari bilangan bulat dikaji di dalam teori bilangan, dari mana datangnya hasil-hasil popular seperti Teorema Terakhir Fermat. Teori bilangan juga memegang dua masalah tak terpecahkan: konjektur prima kembar dan konjektur Goldbach.

Karena sistem bilangan dikembangkan lebih jauh, bilangan bulat diakui sebagai himpunan bagian dari bilangan rasional ("pecahan"). Sementara bilangan pecahan berada di dalam bilangan real, yang dipakai untuk menyajikan besaran-besaran kontinu. Bilangan real diperumum menjadi bilangan kompleks. Inilah langkah pertama dari jenjang bilangan yang beranjak menyertakan kuaternion dan oktonion. Perhatian terhadap bilangan asli juga mengarah pada bilangan transfinit, yang memformalkan konsep pencacahan ketakhinggaan. Wilayah lain pengkajian ini adalah ukuran, yang mengarah pada bilangan kardinal dan kemudian pada konsepsi ketakhinggaan lainnya: bilangan alef, yang memungkinkan perbandingan bermakna tentang ukuran himpunan-himpunan besar ketakhinggaan.

$1,2,3\,\!$	$-2,-1,0,1,2\,\!$	$-2,{\frac {2}{3}},1.21\,\!$	$-e,{\sqrt {2}},3,\pi \,\!$	$2,i,-2+3i,2e^{i{\frac {4\pi }{3}}}\,\!$
Bilangan asli	Bilangan bulat	Bilangan rasional	Bilangan real	Bilangan kompleks

Ruang

Pengkajian ruang bermula dengan geometri – khususnya, geometri Euklides. Trigonometri memadukan ruang dan bilangan, dan mencakupi Teorema Pythagoras yang terkenal. Pengkajian modern tentang ruang memperumum gagasan-gagasan ini untuk menyertakan geometri berdimensi lebih tinggi, geometri non-Euklides (yang berperan penting di dalam relativitas umum) dan topologi. Besaran dan ruang berperan penting di dalam geometri analitik, geometri diferensial, dan geometri aljabar. Di dalam geometri diferensial terdapat konsep-konsep buntelan serat dan kalkulus lipatan.

Di dalam geometri aljabar terdapat penjelasan objek-objek geometri sebagai himpunan penyelesaian persamaan polinom, memadukan konsep-konsep besaran dan ruang, dan juga pengkajian grup topologi, yang memadukan struktur dan ruang. Grup lie biasa dipakai untuk mengkaji ruang, struktur, dan perubahan. Topologi di dalam banyak percabangannya mungkin menjadi wilayah pertumbuhan terbesar di dalam matematika abad ke-20, dan menyertakan konjektur Poincaré yang telah lama ada dan teorema empat warna, yang hanya "berhasil" dibuktikan dengan komputer, dan belum pernah dibuktikan oleh manusia secara manual.


Geometri	Trigonometri	Geometri diferensial	Topologi	Geometri fraktal

Perubahan

Memahami dan menjelaskan perubahan adalah tema biasa di dalam ilmu pengetahuan alam dan kalkulus telah berkembang sebagai alat yang penuh-daya untuk menyelidikinya. Fungsi-fungsi muncul di sini sebagai konsep penting untuk menjelaskan besaran yang berubah. Pengkajian kaku tentang bilangan real dan fungsi-fungsi berperubah real dikenal sebagai analisis riil, dengan analisis kompleks lapangan yang setara untuk bilangan kompleks.

Hipotesis Riemann, salah satu masalah terbuka yang paling mendasar di dalam matematika, dilukiskan dari analisis kompleks. Analisis fungsional memusatkan perhatian pada ruang fungsi (biasanya berdimensi tak-hingga). Satu dari banyak terapan analisis fungsional adalah mekanika kuantum.

Banyak masalah secara alami mengarah pada hubungan antara besaran dan laju perubahannya, dan ini dikaji sebagai persamaan diferensial. Banyak gejala di alam dapat dijelaskan menggunakan sistem dinamik; teori kekacauan (chaos mempertepat jalan-jalan di mana banyak sistem ini memamerkan perilaku deterministik yang masih saja belum terdugakan.


Kalkulus	Kalkulus vektor	Persamaan diferensial	Sistem dinamik	Teori chaos	Analisis kompleks

Struktur

Banyak objek matematika, semisal himpunan bilangan dan fungsi, memamerkan struktur bagian dalam. Sifat-sifat struktural objek-objek ini diselidiki di dalam pengkajian grup, gelanggang, lapangan dan sistem abstrak lainnya, yang mereka sendiri adalah objek juga. Ini adalah lapangan aljabar abstrak. Sebuah konsep penting di sini yakni vektor, diperumum menjadi ruang vektor dan dikaji di dalam aljabar linear. Pengkajian vektor memadukan tiga wilayah dasar matematika: besaran, struktur, dan ruang. Kalkulus vektor memperluas lapangan itu ke dalam wilayah dasar keempat, yakni perubahan. Kalkulus tensor mengkaji kesetangkupan dan perilaku vektor yang dirotasi. Sejumlah masalah kuno tentang Kompas dan konstruksi garis lurus akhirnya terpecahkan oleh Teori Galois.


Teori bilangan	Aljabar abstrak	Teori grup	Teori order

Dasar dan filsafat[sunting | sunting sumber]

Untuk memperjelas dasar-dasar matematika, bidang logika matematika dan teori himpunan dikembangkan, juga teori kategori yang masih dikembangkan. Kata majemuk "krisis dasar" mejelaskan pencarian dasar kaku untuk matematika yang mengambil tempat pada dasawarsa 1900-an sampai 1930-an.^[28] Beberapa ketaksetujuan tentang dasar-dasar matematika berlanjut hingga kini. Krisis dasar dipicu oleh sejumlah silang sengketa pada masa itu, termasuk kontroversi teori himpunan Cantor dan kontroversi Brouwer-Hilbert.

Logika matematika diperhatikan dengan meletakkan matematika pada sebuah kerangka kerja aksiomatis yang kaku, dan mengkaji hasil-hasil kerangka kerja itu. Logika matematika adalah rumah bagi Teori ketaklengkapan kedua Gödel, mungkin hasil yang paling dirayakan di dunia logika, yang (secara informal) berakibat bahwa suatu sistem formal yang berisi aritmetika dasar, jika suara (maksudnya semua teorema yang dapat dibuktikan adalah benar), maka tak-lengkap (maksudnya terdapat teorema sejati yang tidak dapat dibuktikan di dalam sistem itu).

Gödel menunjukkan cara mengonstruksi, kumpulan sembarang aksioma bilangan teoretis yang diberikan, sebuah pernyataan formal di dalam logika yaitu sebuah bilangan sejati-suatu fakta teoretik, tetapi tidak mengikuti aksioma-aksioma itu. Oleh karena itu, tiada sistem formal yang merupakan aksiomatisasi sejati teori bilangan sepenuhnya. Logika modern dibagi ke dalam teori rekursi, teori model, teori pembuktian terpaut dekat dengan ilmu komputer teoretis.

$p\Rightarrow q\,$
Logika matematika	Teori himpunan	Teori kategori

Matematika diskret

Matematika diskret adalah nama lazim untuk lapangan matematika yang paling berguna di dalam ilmu komputer teoretis. Ini menyertakan teori komputabilitas, teori kompleksitas komputasional dan teori informasi. Teori komputabilitas memeriksa batasan-batasan berbagai model teoretis komputer, termasuk model yang dikenal paling berdaya - Mesin turing.

Teori kompleksitas adalah pengkajian traktabilitas oleh komputer; beberapa masalah, meski secara teoretis terselesaikan oleh komputer, tetapi cukup mahal menurut konteks waktu dan ruang, tidak dapat dikerjakan secara praktis, bahkan dengan cepatnya kemajuan perangkat keras komputer. Teori informasi memusatkan perhatian pada banyaknya data yang dapat disimpan pada media yang diberikan, oleh sebab itu berkenaan dengan konsep-konsep semisal pemadatan dan entropi.

Sebagai lapangan yang relatif baru, matematika diskret memiliki sejumlah masalah terbuka yang mendasar. Yang paling terkenal adalah "Masalah P versus NP", salah satu Masalah Milenium.^[29]

${\begin{matrix}(1,2,3)&(1,3,2)\\(2,1,3)&(2,3,1)\\(3,1,2)&(3,2,1)\end{matrix}}$
Kombinatorika	Teori komputasi	Kriptografi	Teori graf

Matematika terapan

Matematika terapan berkenaan dengan penggunaan alat matematika abstrak guna memecahkan masalah-masalah konkret di dalam ilmu pengetahuan, bisnis dan wilayah lainnya. Salah satu bagian penting di dalam matematika terapan adalah statistika, yang menggunakan teori peluang sebagai alat dan membolehkan penjelasan, analisis dan peramalan gejala di mana peluang berperan penting. Sebagian besar percobaan, survey dan pengkajian pengamatan memerlukan statistika. (Tetapi banyak statistikawan tidak menganggap mereka sendiri sebagai matematikawan, melainkan sebagai kelompok sekutu.)

Analisis numerik menyelidiki metode komputasional untuk memecahkan masalah-masalah matematika secara efisien yang biasanya terlalu lebar bagi kapasitas numerik manusia, analisis numerik melibatkan pengkajian galat pembulatan atau sumber-sumber galat lain di dalam komputasi.