Matematika: Perbedaan antara revisi
| [revisi terperiksa] | [revisi terperiksa] |
Konten dihapus Konten ditambahkan
k Bersih-bersih (via JWB) |
k clean up |
||
Baris 5:
Matematika selalu berkembang, misalnya di [[Tiongkok]] pada tahun 300 [[Sebelum Masehi|SM]], di [[India]] pada tahun 100 [[Masehi|M]], dan di Arab pada tahun 800 M, hingga zaman [[Renaisans]], ketika temuan baru matematika berinteraksi dengan [[sains|penemuan ilmiah]] baru yang mengarah pada peningkatan yang cepat di dalam laju penemuan matematika. Berlanjut hingga kini,<ref>Eves</ref> 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]].
Matematika banyak digunakan dalam [[ilmu pengetahuan]] untuk fenomena pemodelan. Hal ini memungkinkan ekstraksi perkiraan kuantitatif dari hukum-hukum percobaan. Misalnya, pergerakan planet dapat diprediksi dengan akurasi tinggi menggunakan [[Hukum gravitasi universal Newton|hukum gravitasi Newton]] yang dipadukan dengan perhitungan matematis. Ketakbergantungan kebenaran matematis dari percobaan manapun menyiratkan bahwa keakuratan perkiraan semacam itu hanya bergantung pada kecukupan model untuk menggambarkan kenyataan. Jadi, ketika munculnya beberapa perkiraan yang tidak tepat, itu berarti bahwa model harus diperbaiki atau diubah, bukan berarti matematika salah. Misalnya, presesi apsis atau perihelium Merkurius tidak dapat dijelaskan dengan hukum gravitasi Newton, tetapi dijelaskan secara akurat oleh [[relativitas umum]] [[Einstein]]. Pengesahan percobaan teori Einstein ini menunjukkan bahwa hukum gravitasi Newton hanyalah hampiran (yang masih sangat akurat dalam kehidupan sehari-hari).
Matematika sangat penting di banyak bidang, termasuk [[ilmu alam]], [[rekayasa]], [[kedokteran]], [[keuangan]], [[ilmu komputer]], dan [[ilmu sosial]].
Baris 97:
[[Berkas:Infinity symbol.svg|jmpl|kiri|Lambang [[ananta|ketakhinggaan]] '''∞''' di dalam beberapa gaya sajian.]]
Penggunaan bahasa yang ketat secara mendasar merupakan sifat [[pembuktian matematika]]. Para matematikawan ingin teorema mereka mengikuti aksioma-aksioma dengan maksud penalaran yang sistematik. Ini untuk mencegah "[[teorema]]" yang salah ambil, didasarkan pada praduga kegagalan, di mana banyak contoh pernah muncul di dalam sejarah subjek ini.<ref>Lihatlah ''bukti palsu'' untuk contoh sederhana dari hal-hal yang bisa salah di dalam bukti formal. [[:en:Four color theorem|sejarah Teorema Empat Warna]] berisi contoh-contoh bukti-bukti salah yang tanpa sengaja diterima oleh para matematikawan lainnya pada saat itu.</ref> Tingkat kekakuan diharapkan di dalam matematika selalu berubah-ubah sepanjang waktu: [[bangsa Yunani]] menginginkan dalil yang terperinci, namun pada saat itu metode yang digunakan [[Isaac Newton]] kuranglah kaku. Masalah yang melekat pada definisi-definisi yang digunakan Newton akan mengarah kepada munculnya analisis saksama dan bukti formal pada abad ke-19. Kini, para matematikawan masih terus beradu argumentasi tentang [[:en:Computer-assisted proof|bukti berbantuan-komputer]]. Karena perhitungan besar sangatlah sukar diperiksa, bukti-bukti itu mungkin saja tidak cukup kaku.<ref>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).</ref> [[Aksioma]] menurut pemikiran tradisional adalah "kebenaran yang menjadi bukti dengan sendirinya", tetapi konsep ini memicu persoalan.
Pada abad ke-19 berkembanglah sebuah aliran pemikiran yang dikenal sebagai formalisme. Bagi seorang formalis, pada pokoknya matematika adalah tentang sistem formal atas simbol-simbol yang didukung oleh aturan-aturan formal untuk memadukannya. Dari sudut pandang ini, aksioma-aksioma hanyalah rumus-rumus istimewa dalam [[sistem aksioma]], diberikan tanpa diturunkan secara prosedural dari unsur-unsur lain dalam sistem. Contoh maksimal formalisme adalah seruan [[David Hilbert]] pada awal abad ke-20, sering disebut [[program Hilbert]], untuk mengodekan semua matematika dengan cara ini.
| |||