Matematika

Sekang Wikipedia, Ensiklopedia Bebas sing nganggo Basa Banyumasan: dhialek Banyumas, Purbalingga, Tegal lan Purwokerto.


Euklides, matematikawan Yunani, abad ke-3 SM, kaya sing digambarna Raffaello Sanzio nang jerone detail iki sekang Sekolah Athena.[1]

Matematika (sekangdari basa Yunani: μαθηματικά - mathēmatiká) kuwe nyinauni besaran, struktur, ruang, lan perubahan. Para matematikawan ngoleti rupa-rupa pola,[2][3] ngrumusna konjektur anyar, lan mbangun kebenaran melalui metode deduksi sing kaku sekang aksioma-aksioma lan definisi-definisi sing bersesuaian.[4]

Terdapat perselisihan tentang apakah objek-objek matematika seperti bilangan lan titik hadir secara alami, atawa hanyalah buatan manusia. Seorang matematikawan Benjamin Peirce menyebut matematika sebagai "ilmu sing menggambarkan simpulan-simpulan sing penting".[5] nang pihak lain, Albert Einstein menyatakan bahwa "sejauh hukum-hukum matematika merujuk kepada kenyataan, mereka tidaklah pasti; lan sejauh mereka pasti, mereka tidak merujuk kepada kenyataan."[6]

Melalui penggunaan penalaran logika lan abstraksi, matematika berkembang sekang pencacahan, perhitungan, pengukuran, lan pengkajian sistematis terhadap bangun lan pergerakan benda-benda fisika. Matematika praktis telah menjadi kegiatan manusia sejak adanya rekaman tertulis. Argumentasi kaku pertama muncul nang jero Matematika Yunani, terutama nang jero karya Euklides, Elemen. Matematika selalu berkembang, misalnya nang Cina pada tahun 300 SM, nang India pada tahun 100 M, lan nang Arab pada tahun 800 M, hingga zaman Renaisans, ketika temuan baru matematika berinteraksi dengan penemuan ilmiah baru sing mengarah pada peningkatan sing cepat nang jero laju penemuan matematika sing berlanjut hingga kini.[7]

Saiki, matematika digunakna nang seluruh donya sebagai alat penting nang berbagai bidang, termasuk ilmu alam, teknik, kedokteran/medis, lan ilmu sosial kaya ekonomi, lan psikologi. Matematika terapan, cabang matematika sing melingkupi penerapan pengetahuan matematika ke bidang-bidang lain, mengilhami lan membuat penggunaan temuan-temuan matematika baru, lan kadang-kadang mengarah pada pengembangan disiplin-disiplin ilmu sing sepenuhnya anyar, seperti statistika lan teori permainan. Para matematikawan uga bergulat nang jero matematika murni, atawa matematika untuk perkembangan matematika itu sendiri, tanpa adanya penerapan nang jero pikiran, meskipun penerapan praktis sing menjadi latar munculnya matematika murni ternyata seringkali ditemukan terkemudian.[8]

Etimologi[sunting | besut sumber]

Kata "matematika" berasal sekang bahasa Yunani Kuno μάθημα (máthēma), sing berarti pengkajian, pembelajaran, ilmu, sing ruang lingkupnya menyempit, lan arti teknisnya menjadi "pengkajian matematika", bahkan demikian uga pada zaman kuno. Kata sifatnya adalah μαθηματικός (mathēmatikós), berkaitan dengan pengkajian, atawa tekun belajar, sing lewih jauhnya berarti matematis. Secara khusus, μαθηματικὴ τέχνη (mathēmatikḗ tékhnē), nang jero bahasa Latin ars mathematica, berarti seni matematika.

Bentuk jamak sering dipakai nang jero bahasa Inggris, seperti uga nang jero bahasa Perancis les mathématiques (dan jarang digunakan sebagai turunan bentuk tunggal la mathématique), merujuk pada bentuk jamak basa Latin sing cenderung netral mathematica (Cicero), berdasarkan bentuk jamak basa Yunani τα μαθηματικά (ta mathēmatiká), sing dipakai Aristotle, sing terjemahan kasarnya berarti "segala hal sing matematis".[9] Tetapi, nang jero basa Inggris, kata benda mathematics mengambil bentuk tunggal bila dipakai sebagai kata kerja. nang jero ragam percakapan, matematika kerap kali disingkat sebagai math nang Amerika Utara lan maths nang tempat lain.

Sejarah[sunting | besut sumber]

Sebuah quipu, sing dipakai oleh Inca untuk mencatatkan bilangan.

Evolusi matematika dapat dipandang sebagai sederetan abstraksi sing selalu bertambah banyak, atawa perkataan lainnya perluasan pokok masalah. Abstraksi mula-mula, sing uga berlaku pada banyak binatang[10], adalah tentang bilangan: pernyataan bahwa dua apel lan dua jeruk (sebagai contoh) memiliki jumlah sing sama.

Selain mengetahui cara mencacah objek-objek fisika, manusia prasejarah uga mengenali cara mencacah besaran abstrak, seperti waktuhari, musim, tahun. Aritmetika dasar (penjumlahan, pengurangan, perkalian, lan pembagian) mengikuti secara alami.

Langkah selanjutnya memerlukan penulisan atawa sistem lain untuk mencatatkan bilangan, semisal tali atawa dawai bersimpul sing disebut quipu dipakai oleh bangsa Inca untuk menyimpan data numerik. Sistem bilangan ada banyak lan bermacam-macam, bilangan tertulis sing pertama diketahui ada nang jero naskah warisan Mesir Kuno nang Kerajaan Tengah Mesir, Lembaran Matematika Rhind.

Sistem bilangan Maya

Penggunaan terkuno matematika adalah nang jero perdagangan, pengukuran tanah, pelukisan, lan pola-pola penenunan lan pencatatan waktu lan tidak pernah berkembang luas hingga tahun 3000 SM ke muka ketika orang Babilonia lan Mesir Kuno mulai menggunakan aritmetika, aljabar, lan geometri untuk penghitungan pajak lan urusan keuangan lainnya, bangunan lan konstruksi, lan astronomi.[11] Pengkajian matematika sing sistematis nang jero kebenarannya sendiri dimulai pada zaman Yunani Kuno antara tahun 600 lan 300 SM.

Matematika sejak saat itu segera berkembang luas, lan terdapat interaksi bermanfaat antara matematika lan sains, menguntungkan kedua belah pihak. Penemuan-penemuan matematika dibuat sepanjang sejarah lan berlanjut hingga kini. Menurut Mikhail B. Sevryuk, pada Januari 2006 terbitan Bulletin of the American Mathematical Society, "Banyaknya makalah lan buku sing dilibatkan nang jero basis data Mathematical Reviews sejak 1940 (tahun pertama beroperasinya MR) kini melebihi 1,9 juta, lan melebihi 75 ribu artikel ditambahkan ke jero basis data itu tiap tahun. Sebagian besar karya nang samudera iki berisi teorema matematika baru beserta bukti-buktinya."[12]

Ilham, matematika murni lan terapan, lan estetika[sunting | besut sumber]

Sir Isaac Newton (1643-1727), seorang penemu kalkulus infinitesimal.

Matematika muncul pada saat dihadapinya masalah-masalah sing rumit sing melibatkan kuantitas, struktur, ruang, atawa perubahan. Mulanya masalah-masalah itu dijumpai nang jero perdagangan, pengukuran tanah, lan kemudian astronomi; kini, semua ilmu pengetahuan menganjurkan masalah-masalah sing dikaji oleh para matematikawan, lan banyak masalah sing muncul nang jero matematika itu sendiri. Misalnya, seorang fisikawan Richard Feynman menemukan rumus integral lintasan mekanika kuantum menggunakan paduan nalar matematika lan wawasan fisika, lan teori dawai masa kini, teori ilmiah sing masih berkembang sing berupaya membersatukan empat gaya dasar alami, terus saja mengilhami matematika baru.[13] Beberapa matematika hanya bersesuaian nang jero wilayah sing mengilhaminya, lan diterapkan untuk memecahkan masalah lanjutan nang wilayah itu. Tetapi seringkali matematika diilhami oleh bukti-bukti nang satu wilayah ternyata bermanfaat uga nang banyak wilayah lainnya, lan menggabungkan persediaan umum konsep-konsep matematika. Fakta sing menakjubkan bahwa matematika "paling murni" sering beralih menjadi memiliki terapan praktis adalah apa sing Eugene Wigner memanggilnya sebagai "Ketidakefektifan Matematika tak ternalar nang jero Ilmu Pengetahuan Alam".[14]

Seperti nang sebagian besar wilayah pengkajian, ledakan pengetahuan nang zaman ilmiah telah mengarah pada pengkhususan nang jero matematika. Satu perbedaan utama adalah nang antara matematika murni lan matematika terapan: sebagian besar matematikawan memusatkan penelitian mereka hanya pada satu wilayah ini, lan kadang-kadang pilihan iki dibuat sedini perkuliahan program sarjana mereka. Beberapa wilayah matematika terapan telah digabungkan dengan tradisi-tradisi sing bersesuaian nang luar matematika lan menjadi disiplin sing memiliki hak tersendiri, termasuk statistika, riset operasi, lan ilmu komputer.

Mereka sing berminat kepada matematika seringkali menjumpai suatu aspek estetika tertentu nang banyak matematika. Banyak matematikawan berbicara tentang keanggunan matematika, estetika sing tersirat, lan keindahan sekang dalamnya. Kesederhanaan lan keumumannya dihargai. Terdapat keindahan nang jero kesederhanaan lan keanggunan bukti sing diberikan, semisal bukti Euclid yakni bahwa terdapat tak-terhingga banyaknya bilangan prima, lan nang jero metode numerik sing anggun bahwa perhitungan laju, yakni transformasi Fourier cepat. G. H. Hardy nang jero A Mathematician's Apology mengungkapkan keyakinan bahwa penganggapan estetika ini, nang dalamnya sendiri, cukup untuk mendukung pengkajian matematika murni.[15] Para matematikawan sering bekerja keras menemukan bukti teorema sing anggun secara khusus, pencarian Paul Erdős sering berkutat pada sejenis pencarian akar sekang "Alkitab" nang mana Tuhan telah menuliskan bukti-bukti kesukaannya.[16][17] Kepopularan matematika rekreasi adalah isyarat lain bahwa kegembiraan banyak dijumpai ketika seseorang mampu memecahkan soal-soal matematika.

Notasi, bahasa, lan kekakuan[sunting | besut sumber]

Leonhard Euler. Mungkin seorang matematikawan sing terbanyak menghasilkan temuan sepanjang masa

Sebagian besar notasi matematika sing digunakan saat iki tidaklah ditemukan hingga abad ke-16.[18] Pada abad ke-18, Euler bertanggung jawab atas banyak notasi sing digunakan saat ini. Notasi modern membuat matematika lewih mudah bagi para profesional, tetapi para pemula sering menemukannya sebagai sesuatu sing mengerikan. Terjadi pemadatan sing amat sangat: sedikit lambang berisi informasi sing kaya. Seperti notasi musik, notasi matematika modern memiliki tata kalimat sing kaku lan menyandikan informasi sing barangkali sukar bila dituliskan menurut cara lain.

Bahasa matematika dapat uga terkesan sukar bagi para pemula. Kata-kata seperti atau lan hanya memiliki arti sing lewih presisi daripada nang jero percakapan sehari-hari. Selain itu, kata-kata semisal terbuka lan lapangan memberikan arti khusus matematika. Jargon matematika termasuk istilah-istilah teknis semisal homomorfisme lan terintegralkan. Tetapi ada alasan untuk notasi khusus lan jargon teknis ini: matematika memerlukan presisi sing lewih sekang sekadar percakapan sehari-hari. Para matematikawan menyebut presisi basa lan logika iki sebagai "kaku" (rigor).

Lambang ketakhinggaan nang jero beberapa gaya sajian.

Kaku secara mendasar adalah tentang bukti matematika. Para matematikawan ingin teorema mereka mengikuti aksioma-aksioma dengan maksud penalaran sing sistematik. iki untuk mencegah "teorema" sing salah ambil, didasarkan pada praduga kegagalan, nang mana banyak contoh pernah muncul nang jero sejarah subjek ini.[19] Tingkat kekakuan diharapkan nang jero matematika selalu berubah-ubah sepanjang waktu: bangsa Yunani menginginkan dalil sing terperinci, namun pada saat itu metode sing digunakan Isaac Newton kuranglah kaku. Masalah sing melekat pada definisi-definisi sing digunakan Newton akan mengarah kepada munculnya analisis saksama lan bukti formal pada abad ke-19. Kini, para matematikawan masih terus beradu argumentasi tentang bukti berbantuan-komputer. Karena perhitungan besar sangatlah sukar diperiksa, bukti-bukti itu mungkin saja tidak cukup kaku.[20]

Aksioma menurut pemikiran tradisional adalah "kebenaran sing menjadi bukti dengan sendirinya", tetapi konsep iki memicu persoalan. Pada tingkatan formal, sebuah aksioma hanyalah seutas dawai lambang, sing hanya memiliki makna tersirat nang jero konteks semua rumus sing terturunkan sekang suatu sistem aksioma. Inilah tujuan program Hilbert untuk meletakkan semua matematika pada sebuah basis aksioma sing kokoh, tetapi menurut Teorema ketaklengkapan Gödel tiap-tiap sistem aksioma (yang cukup kuat) memiliki rumus-rumus sing tidak dapat ditentukan; lan oleh karena itulah suatu aksiomatisasi terakhir nang jero matematika adalah mustahil. Meski demikian, matematika sering dibayangkan (di jero konteks formal) tidak lain kecuali teori himpunan nang beberapa aksiomatisasi, dengan pengertian bahwa tiap-tiap pernyataan atawa bukti matematika dapat dikemas ke jero rumus-rumus teori himpunan.[21]

Matematika sebagai ilmu pengetahuan[sunting | besut sumber]

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

Carl Friedrich Gauss mengatakan matematika sebagai "Ratunya Ilmu Pengetahuan".[22] nang jero basa aslinya, Latin Regina Scientiarum, uga nang jero bahasa Jerman Königin der Wissenschaften, kata sing bersesuaian dengan ilmu pengetahuan berarti (lapangan) pengetahuan. Jelas, inipun arti asli nang jero basa Inggris, lan tiada keraguan bahwa matematika nang jero konteks iki adalah sebuah ilmu pengetahuan. Pengkhususan sing mempersempit makna menjadi ilmu pengetahuan alam adalah nang masa terkemudian. Bila seseorang memandang ilmu pengetahuan hanya terbatas pada donya fisika, maka matematika, atawa sekurang-kurangnya matematika murni, bukanlah ilmu pengetahuan. Albert Einstein menyatakan bahwa "sejauh hukum-hukum matematika merujuk kepada kenyataan, maka mereka tidaklah pasti; lan sejauh mereka pasti, mereka tidak merujuk kepada kenyataan."[6]

Banyak filsuf yakin bahwa matematika tidaklah terpalsukan berdasarkan percobaan, lan dengan demikian bukanlah ilmu pengetahuan per definisi Karl Popper.[23] Tetapi, nang jero karya penting tahun 1930-an tentang logika matematika menunjukkan bahwa matematika tidak bisa direduksi menjadi logika, lan Karl Popper menyimpulkan bahwa "sebagian besar teori matematika, seperti halnya fisika lan biologi, adalah hipotetis-deduktif: oleh karena itu matematika menjadi lewih dekat ke ilmu pengetahuan alam sing hipotesis-hipotesisnya adalah konjektur (dugaan), lewih daripada sebagai hal sing baru."[24] 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 sing ditujukan sedemikian sehingga bersesuaian dengan kenyataan. Faktanya, seorang fisikawan teoretis, J. M. Ziman, mengajukan pendapat bahwa ilmu pengetahuan adalah pengetahuan umum lan dengan demikian matematika termasuk nang dalamnya.[25] nang beberapa kasus, matematika banyak saling berbagi dengan ilmu pengetahuan fisika, sebut saja penggalian dampak-dampak logis sekang beberapa anggapan. Intuisi lan percobaan uga berperan penting nang jero perumusan konjektur-konjektur, baik itu nang matematika, maupun nang ilmu-ilmu pengetahuan (lainnya). Matematika percobaan terus bertumbuh kembang, mengingat kepentingannya nang jero matematika, kemudian komputasi lan simulasi memainkan peran sing semakin menguat, baik itu nang ilmu pengetahuan, maupun nang matematika, melemahkan objeksi sing mana matematika tidak menggunakan metode ilmiah. nang jero bukunya sing diterbitkan pada 2002 A New Kind of Science, Stephen Wolfram berdalil bahwa matematika komputasi pantas untuk digali secara empirik sebagai lapangan ilmiah nang jero haknya/kebenarannya sendiri.

Pendapat-pendapat para matematikawan terhadap hal iki adalah beraneka macam. Banyak matematikawan merasa bahwa untuk menyebut wilayah mereka sebagai ilmu pengetahuan sama saja dengan menurunkan kadar kepentingan sisi estetikanya, lan sejarahnya nang jero tujuh seni liberal tradisional; sing lainnya merasa bahwa pengabaian pranala iki terhadap ilmu pengetahuan sama saja dengan memutar-mutar mata sing buta terhadap fakta bahwa antarmuka antara matematika lan penerapannya nang jero ilmu pengetahuan lan rekayasa telah mengemudikan banyak pengembangan nang jero matematika. Satu jalan sing dimainkan oleh perbedaan sudut pandang iki adalah nang jero perbincangan filsafat apakah matematika diciptakan (seperti nang jero seni) atawa ditemukan (seperti nang jero ilmu pengetahuan). Adalah wajar bagi universitas bila dibagi ke jero bagian-bagian sing menyertakan departemen Ilmu Pengetahuan lan Matematika, iki 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. iki adalah salah satu sekang banyak perkara sing diperhatikan nang jero filsafat matematika.

Penghargaan matematika umumnya dipelihara supaya tetap terpisah sekang kesetaraannya dengan ilmu pengetahuan. Penghargaan sing adiluhung nang jero matematika adalah Fields Medal (medali lapangan),[26][27] dimulakan pada 1936 lan kini diselenggarakan tiap empat tahunan. Penghargaan iki sering dianggap setara dengan Hadiah Nobel ilmu pengetahuan. Wolf Prize in Mathematics, dilembagakan pada 1978, mengakui masa prestasi, lan penghargaan internasional utama lainnya, Hadiah Abel, diperkenalkan pada 2003. iki dianugerahkan bagi ruas khusus karya, dapat berupa pembaharuan, atawa penyelesaian masalah sing terkemuka nang jero lapangan sing mapan. Sebuah daftar terkenal berisikan 23 masalah terbuka, sing disebut "masalah Hilbert", dihimpun pada 1900 oleh matematikawan Jerman David Hilbert. Daftar iki meraih persulangan sing besar nang antara para matematikawan, lan paling sedikit sembilan sekang masalah-masalah itu kini terpecahkan. Sebuah daftar baru berisi tujuh masalah penting, berjudul "Masalah Hadiah Milenium", diterbitkan pada 2000. Pemecahan tiap-tiap masalah iki berhadiah US$ 1 juta, lan hanya satu (hipotesis Riemann) sing mengalami penggandaan nang jero masalah-masalah Hilbert.

Bidang-bidang matematika[sunting | besut sumber]

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

Disiplin-disiplin utama nang jero matematika pertama muncul karena kebutuhan akan perhitungan nang jero perdagangan, untuk memahami hubungan antarbilangan, untuk mengukur tanah, lan untuk meramal peristiwa astronomi. Empat kebutuhan iki secara kasar dapat dikaitkan dengan pembagian-pembagian kasar matematika ke jero pengkajian besaran, struktur, ruang, lan perubahan (yakni aritmetika, aljabar, geometri, lan analisis). Selain pokok bahasan itu, uga terdapat pembagian-pembagian sing dipersembahkan untuk pranala-pranala penggalian sekang jantung matematika ke lapangan-lapangan lain: ke logika, ke teori himpunan (dasar), ke matematika empirik sekang aneka macam ilmu pengetahuan (matematika terapan), lan sing lewih baru adalah ke pengkajian kaku akan ketakpastian.

Besaran[sunting | besut sumber]

Pengkajian besaran dimulakan dengan bilangan, pertama bilangan asli lan bilangan bulat ("semua bilangan") lan operasi aritmetika nang ruang bilangan itu, sing dipersifatkan nang jero aritmetika. Sifat-sifat sing lewih jero sekang bilangan bulat dikaji nang jero teori bilangan, sekang mana datangnya hasil-hasil popular seperti Teorema Terakhir Fermat. Teori bilangan uga memegang dua masalah tak terpecahkan: konjektur prima kembar lan konjektur Goldbach.

Karena sistem bilangan dikembangkan lewih jauh, bilangan bulat diakui sebagai himpunan bagian sekang bilangan rasional ("pecahan"). Sementara bilangan pecahan berada nang jero bilangan real, sing dipakai untuk menyajikan besaran-besaran kontinu. Bilangan real diperumum menjadi bilangan kompleks. Inilah langkah pertama sekang jenjang bilangan sing beranjak menyertakan kuarternion lan oktonion. Perhatian terhadap bilangan asli uga mengarah pada bilangan transfinit, sing memformalkan konsep pencacahan ketakhinggaan. Wilayah lain pengkajian iki adalah ukuran, sing mengarah pada bilangan kardinal lan kemudian pada konsepsi ketakhinggaan lainnya: bilangan aleph, sing memungkinkan perbandingan bermakna tentang ukuran himpunan-himpunan besar ketakhinggaan.

Bilangan asli Bilangan bulat Bilangan rasional Bilangan real Bilangan kompleks

Ruang[sunting | besut sumber]

Pengkajian ruang bermula dengan geometri – khususnya, geometri euclid. Trigonometri memadukan ruang lan bilangan, lan mencakupi Teorema pitagoras sing terkenal. Pengkajian modern tentang ruang memperumum gagasan-gagasan iki untuk menyertakan geometri berdimensi lewih tinggi, geometri tak-euclid (yang berperan penting nang jero relativitas umum) lan topologi. Besaran lan ruang berperan penting nang jero geometri analitik, geometri diferensial, lan geometri aljabar. nang jero geometri diferensial terdapat konsep-konsep buntelan serat lan kalkulus lipatan. nang jero geometri aljabar terdapat penjelasan objek-objek geometri sebagai himpunan penyelesaian persamaan polinom, memadukan konsep-konsep besaran lan ruang, lan uga pengkajian grup topologi, sing memadukan struktur lan ruang. Grup lie biasa dipakai untuk mengkaji ruang, struktur, lan perubahan. Topologi nang jero banyak percabangannya mungkin menjadi wilayah pertumbuhan terbesar nang jero matematika abad ke-20, lan menyertakan konjektur poincaré sing telah lama ada lan teorema empat warna, sing hanya "berhasil" dibuktikan dengan komputer, lan belum pernah dibuktikan oleh manusia secara manual.

Geometri Trigonometri Geometri diferensial Topologi Geometri fraktal

Perubahan[sunting | besut sumber]

Memahami lan menjelaskan perubahan adalah tema biasa nang jero ilmu pengetahuan alam, lan kalkulus telah berkembang sebagai alat sing penuh-daya untuk menyeledikinya. Fungsi-fungsi muncul nang sini, sebagai konsep penting untuk menjelaskan besaran sing berubah. Pengkajian kaku tentang bilangan real lan fungsi-fungsi berpeubah real dikenal sebagai analisis real, dengan analisis kompleks lapangan sing setara untuk bilangan kompleks. Hipotesis Riemann, salah satu masalah terbuka sing paling mendasar nang jero matematika, dilukiskan sekang analisis kompleks. Analisis fungsional memusatkan perhatian pada ruang fungsi (biasanya berdimensi tak-hingga). Satu sekang banyak terapan analisis fungsional adalah mekanika kuantum. Banyak masalah secara alami mengarah pada hubungan antara besaran lan laju perubahannya, lan iki dikaji sebagai persamaan diferensial. Banyak gejala nang alam dapat dijelaskan menggunakan sistem dinamika; teori kekacauan mempertepat jalan-jalan nang mana banyak sistem iki memamerkan perilaku deterministik sing masih saja belum terdugakan.

Kalkulus Kalkulus vektor Persamaan diferensial Sistem dinamika Teori chaos Analisis kompleks

Struktur[sunting | besut sumber]

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

Teori bilangan Aljabar abstrak Teori grup Teori orde

Dasar lan filsafat[sunting | besut sumber]

Untuk memeriksa dasar-dasar matematika, lapangan logika matematika lan teori himpunan dikembangkan, uga teori kategori sing masih dikembangkan. Kata majemuk "krisis dasar" mejelaskan pencarian dasar kaku untuk matematika sing 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 lan kontroversi Brouwer-Hilbert.

Logika matematika diperhatikan dengan meletakkan matematika pada sebuah kerangka kerja aksiomatis sing kaku, lan mengkaji hasil-hasil kerangka kerja itu. Logika matematika adalah rumah bagi Teori ketaklengkapan kedua Gödel, mungkin hasil sing paling dirayakan nang donya logika, sing (secara informal) berakibat bahwa suatu sistem formal sing berisi aritmetika dasar, jika suara (maksudnya semua teorema sing dapat dibuktikan adalah benar), maka tak-lengkap (maksudnya terdapat teorema sejati sing tidak dapat dibuktikan di jero sistem itu). Gödel menunjukkan cara mengonstruksi, sembarang kumpulan aksioma bilangan teoretis sing diberikan, sebuah pernyataan formal nang jero logika yaitu sebuah bilangan sejati-suatu fakta teoretik, tetapi tidak mengikuti aksioma-aksioma itu. Oleh karena itu, tiada sistem formal sing merupakan aksiomatisasi sejati teori bilangan sepenuhnya. Logika modern dibagi ke jero teori rekursi, teori model, lan teori pembuktian, lan terpaut dekat dengan ilmu komputer teoretis.

Logika matematika Teori himpunan Teori kategori

Matematika diskret[sunting | besut sumber]

Matematika diskret adalah nama lazim untuk lapangan matematika sing paling berguna nang jero ilmu komputer teoretis. iki menyertakan teori komputabilitas, teori kompleksitas komputasional, lan teori informasi. Teori komputabilitas memeriksa batasan-batasan berbagai model teoretis komputer, termasuk model sing 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 lan ruang, tidak dapat dikerjakan secara praktis, bahkan dengan cepatnya kemajuan perangkat keras komputer. Pamungkas, teori informasi memusatkan perhatian pada banyaknya data sing dapat disimpan pada media sing diberikan, lan oleh karenanya berkenaan dengan konsep-konsep semisal pemadatan lan entropi.

Sebagai lapangan sing relatif baru, matematika diskret memiliki sejumlah masalah terbuka sing mendasar. sing paling terkenal adalah masalah "P=NP?", salah satu Masalah Hadiah Milenium.[29]

Kombinatorika Teori komputasi Kriptografi Teori graf

Matematika terapan[sunting | besut sumber]

Matematika terapan berkenaan dengan penggunaan alat matematika abstrak guna memecahkan masalah-masalah konkret nang jero ilmu pengetahuan, bisnis, lan wilayah lainnya. Sebuah lapangan penting nang jero matematika terapan adalah statistika, sing menggunakan teori peluang sebagai alat lan membolehkan penjelasan, analisis, lan peramalan gejala nang mana peluang berperan penting. Sebagian besar percobaan, survey, lan 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 sing biasanya terlalu lebar bagi kapasitas numerik manusia; analisis numerik melibatkan pengkajian galat pemotongan atawa sumber-sumber galat lain nang jero komputasi.

Deleng uga[sunting | besut sumber]

Cithakan:Portal

Catetan[sunting | besut sumber]

  1. Ora ana perupaan atawa penjelasan perkara wujud fisike Euklides sing digawe jamane dheweke urip sing esih bertahan sebagai kekunoan. Mulané kuwe, penggambaran Euklides nang karya seni bergantung pada daya khayal seorang seniman (deleng Euklides).
  2. Lynn Steen (29 April 1988). The Science of Patterns Jurnal Science, 240: 611–616. lan diikhtisarkan nang Association for Supervision and Curriculum Development., ascd.org
  3. Keith Devlin, 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
  4. Jourdain.
  5. Peirce, p.97
  6. 6,0 6,1 Einstein, p. 28. Kutipan iki adalah jawaban Einstein terhadap pertanyaan: "betapa mungkin bahwa matematika, nang samping sing lain tentunya, menjadi ciptaan pemikiran manusia sing terbebas sekang pengalaman, begitu luar biasa bersesuaian dengan objek-objek kenyataan?" Dia uga memperhatikan Keefektifan tak ternalar Matematika nang jero Ilmu Pengetahuan Alam.
  7. Eves
  8. Peterson
  9. The Oxford Dictionary of English Etymology, Oxford English Dictionary
  10. S. Dehaene, G. Dehaene-Lambertz and L. Cohen, Abstract representations of numbers in the animal and human brain, Trends in Neuroscience, Vol. 21 (8), Aug 1998, 355-361. http://dx.doi.org/10.1016/S0166-2236(98)01263-6.
  11. Kline 1990, Chapter 1.
  12. Sevryuk
  13. Johnson, Gerald W.; Lapidus, Michel L. (2002). The Feynman Integral and Feynman's Operational Calculus. Oxford University Press. 
  14. Eugene Wigner, 1960, "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," Komunikasi pada Matematika Murni lan Terapan 13(1): 1–14.
  15. Hardy, G. H. (1940). A Mathematician's Apology. Cambridge University Press. 
  16. Gold, Bonnie; Simons, Rogers A. (2008). Proof and Other Dilemmas: Mathematics and Philosophy. MAA. 
  17. Aigner, Martin; Ziegler, Gunter M. (2001). Proofs from the Book. Springer. 
  18. Penggunaan Aneka Lambang Matematika Terdini (memuat banyak referensi sing lewih jauh)
  19. Lihatlah bukti palsu untuk contoh sederhana sekang hal-hal sing bisa salah nang jero bukti formal. sejarah Teorema Empat Warna berisi contoh-contoh bukti-bukti salah sing tanpa sengaja diterima oleh para matematikawan lainnya pada saat itu.
  20. Ivars Peterson, Wisatawan Matematika, Freeman, 1988, ISBN 0-7167-1953-3. p. 4 "Sedikit keluhan akan ketidakmampuan program komputer memeriksa secara wajar," (merujuk kepada bukti Haken-Apple terhadap Teorema Empat Warna).
  21. Patrick Suppes, Axiomatic Set Theory, Dover, 1972, ISBN 0-486-61630-4. p. 1, "Di antara banyak cabang matematika modern, teori himpunan menduduki tempat sing unik: dengan sedikit pengecualian, entitas-entitas sing dikaji lan dianalisis nang jero matematika dapat dipandang sebagai himpunan khusus atawa kelas-kelas objek tertentu."
  22. Waltershausen
  23. Shasha, Dennis Elliot; Lazere, Cathy A. (1998). Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists. Springer. hlm. 228. 
  24. Popper 1995, p. 56
  25. Ziman
  26. "Fields Medal kini disepakati paling dikenal lan paling berpengaruh nang jero matematika." Monastyrsky
  27. Riehm
  28. Luke Howard Hodgkin & Luke Hodgkin, A History of Mathematics, Oxford University Press, 2005.
  29. Clay Mathematics Institute P=NP

Referensi[sunting | besut sumber]

Pranala jaba[sunting | besut sumber]

Cithakan:Bidang matematika