MENUAI ILMU: Sejarah Matematika

Sejarah

Cakupan pengkajian yang disebut sebagai sejarah matematika adalah terutama berupa penyelidikan terhadap asal muasal temuan baru di dalam matematika, di dalam ruang lingkup yang lebih sempit berupa penyelidikan terhadap metode dan notasi matematika baku di masa silam.

Evolusi matematika dapat dipandang sebagai sederetan abstraksi yang selalu bertambah banyak, atau perkataan lainnya perluasan pokok masalah. Abstraksi pertama, yang dibagi oleh banyak binatang, adalah tentang bilangan: pernyataan bahwa dua apel dan dua jeruk (sebagai contoh) memiliki jumlah yang sama.

Selain mengetahui cara cacah objek-objek fisika, manusia prasejarah juga mengenali cara mencacah besaran abstrak, seperti waktu — hari, musim, tahun. Aritmetika dasar (pertambahan, perkurangan, perkalian, dan perbagian) mengikuti secara alami.

Langkah selanjutnya memerlukan penulisan atau sistem lain untuk mencatatkan bilangan, semisal tali atau dawai bersimpul yang disebut quipu dipakai oleh bangsa Inca untuk menyimpan data numerik. Sebelum zaman modern dan pengetahuan mendunia, contoh-contoh tertulis dari pengembangan matematika yang baru telah mencapai kemilaunya hanya di beberapa tempat. Sistem bilangan ada banyak dan bermacam-macam, bilangan tertulis yang pertama diketahui ada di dalam naskah warisan Mesir Kuno di Kerajaan Tengah Mesir yaitu Lembaran Matematika Rhind (1650 SM). Peradaban Lembah Indus mengembangkan sistem desimal modern, termasuk konsep nol. Tulisan matematika terkuno lainnya yang pernah ditemukan adalah Plimpton 322 (Matematika Babilonia yang berangka tahun 1900 SM), Lembaran Matematika Moskow (Matematika Mesir yang berangka tahun 1850 SM), dan Shulba Sutra (Matematika India yang berangka tahun 800 SM). Semua tulisan yang bersangkutan memusatkan perhatian kepada apa yang biasa dikenal sebagai Teorema Pythagoras, yang kelihatannya sebagai hasil pembangunan matematika yang paling kuno dan tersebar luas setelah aritmetika dasar dan geometri.

Sistem bilangan Maya

Dari permulaan sejarah tercatat, disiplin-disiplin utama di dalam matematika muncul karena kebutuhan perhitungan yang berkaitan dengan pajak dan perdagangan, untuk memahami keterkatitan antarbilangan, untuk pengukuran tanah, dan untuk meramal peristiwa astronomi. Kebutuhan ini secara garis besar dapat dikaitkan dengan cabang-cabang besar matematika yang mengkaji besaran, struktur, ruang, dan perubahan.

Matematika sejak saat itu segera berkembang luas, dan terdapat interaksi bermanfaat antara matematika dan sains, menguntungkan kedua belah pihak. Penemuan-penemuan matematika dibuat sepanjang sejarah dan berlanjut hingga kini. Menurut Mikhail B. Sevryuk, pada Januari 2006 terbitan Buletin Masyarakat Matematika Amerika, "Banyaknya makalah dan buku yang dilibatkan di dalam basis dataMathematical Reviews sejak 1940 (tahun pertama beroperasinya MR) kini melebihi 1,9 juta, dan melebihi 75 ribu artikel ditambahkan ke dalam basis data itu tiap tahun. Sebagian besar karya di samudera ini berisi teorema matematika baru beserta bukti-buktinya."

Ilham, matematika murni dan terapan, dan estetika

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

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

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

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

Dasar dan filsafat

Untuk memeriksa dasar-dasar matematika, lapangan 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. 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, sembarang kumpulan 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, dan teori pembuktian, dan terpaut dekat dengan ilmu komputer teoretis.