Sabtu, 11 Juni 2011

Paradoks Matematika

Matematikawan selalu menghadapi masalah karena mereka memperluas pengetahuan mereka tentang bidang mereka. Sebagian besar masalah dapat diselesaikan. Namun, beberapa tampaknya tidak ada solusi dan bahkan dapat menantang matematika, itulah sebabnya mereka selalu menimbulkan masalah seperti matematika. Ini dikenal sebagai paradoks, yang pernyataan yang tampaknya bertentangan sendiri atau muncul tidak logis, tapi tetap bisa jadi benar. Contohnya adalah berkata, "Aku selalu berbohong." Jika Anda berbohong, Anda mengatakan yang sebenarnya, tetapi jika Anda mengatakan yang sebenarnya, Anda berbohong. Paradoks Zeno dengan tak terhingga, dari Cantor dan Russell dengan teori himpunan, dan paradoks kembar dalam fisika relativitas telah menciptakan masalah dan argumen untuk matematikawan, serta memaksa mereka untuk berpikir tentang subyek matematika dengan cara yang berbeda dari sebelumnya.
Zeno, filsuf Yunani yang tinggal di abad kelima SM, menciptakan beberapa paradoks untuk menunjukkan gagasan ruang dan waktu yang terpisah, dan bahwa dengan membagi mereka satu datang ke banyak kontradiksi. Dua dari beberapa paradoks yang disajikan contoh kontradiksi tersebut.

Yang pertama menyatakan bahwa kura-kura dan pelari cepat Achilles yang akan ras, dan bahwa kura-kura akan diberikan kepala mulai. Zeno mengatakan kepada Achilles bahwa jika ingin mengalahkan kura-kura itu, ia pertama kali harus mengejar ketinggalan dengan itu, tetapi untuk melakukan itu ia pertama kali harus menutupi himpunanengah jarak antara mereka. Kemudian, Zeno mengatakan bahwa himpunanelah Achilles tidak membuat himpunanengah dari jarak asli antara dia dan kura-kura itu, kura-kura akan telah bergerak maju, menciptakan kesenjangan baru antara keduanya. Kemudian Achilles harus menutup himpunanengah dari kesenjangan ini baru sebelum penangkapan kura-kura. Namun, begitu ia menutup himpunanengah dari kesenjangan ini baru, kura-kura akan pindah lagi dan menciptakan kesenjangan baru lagi. Ini berarti bahwa Achilles terus akan menutupi himpunanengah jarak celah, hanya untuk menemukan bahwa ia harus menutupi himpunanengah jarak celah baru. Zeno menyimpulkan bahwa selama kura-kura memiliki kepala mulai, Achilles tidak akan pernah bisa menangkapnya karena dia akan selalu meliputi jarak terbatas dalam urutan interval waktu tak terbatas.

Paradoks kedua mempelajari sebuah panah dalam penerbangan. Zeno mengatakan bahwa jika Anda mulai untuk memecah waktu penerbangan ke dan kecil bertahap, maka Anda dapat memeriksa panah pada suatu saat tertentu, dan pada saat itu panah akan bergerak. Dia melanjutkan dengan mengatakan bahwa jika waktu adalah terdiri dari instants, maka panah tidak pernah bergerak karena pada suatu instan tertentu panah berada pada titik di ruang angkasa tapi tidak dalam gerak (Katz 57).

Paradoks Zeno menciptakan masalah bagi matematikawan karena mereka meneliti gagasan tak terhingga dan infinitesimals dalam ruang terbatas. Aristoteles adalah orang pertama yang mencoba menyangkal pernyataan ini, mengklaim bahwa dalam contoh Achilles, "sebuah objek terbatas tidak bisa datang dalam kontak dengan hal-hal yang secara kuantitatif tak terbatas," yang berarti dibagi-tak terbatas waktu tidak akan mempengaruhi runner. Dalam masalah panah Aristoteles mengatakan waktu yang tidak terdiri dari instants terpisahkan, yang anggapan Zeno, dan bahwa meskipun panah mungkin tidak bergerak pada suatu saat, gerak tidak didefinisikan pada instants tapi selama jangka waktu tertentu (Katz 56 - 7). Meskipun demikian, karena tak terhingga tidak memiliki nilai yang nyata dan tidak nyata secara matematis, selalu ada banyak kontroversi di sekitarnya.

Paradoks Zeno menyebabkan matematikawan berpikir hati-hati tentang konsep infinity dan infinitesimals dan tidak membuat asumsi tentang mereka. Dalam sebuah kuliah tentang Pythagoras dan ilmu Pythagoras dengan Dr Shirley kita belajar bahwa infinitesimals menciptakan masalah bagi orang Yunani. Ilmu Pythagoras ditemui krisis besar pertama dalam matematika ketika mereka menemukan akar kuadrat dari 2 ketika bekerja dengan segitiga. Mereka menganggap semua segitiga siku-siku akan memiliki panjang terbatas, dan terkejut ketika mereka menemukan sebuah segitiga 45-45-90, yang memiliki akar kuadrat dari 2 sebagai panjang sisi miring.

Penelitian infinite Zeno sangat penting untuk matematika karena membantu memimpin perkembangan besar dalam kalkulus. Batas menemukan pendekatan fungsi sebagai mendekati tak terbatas, dan dalam Shirley kuliah Dr pada kalkulus kita belajar itu adalah batas yang diselesaikan krisis kedua dalam matematika tentang bagaimana menafsirkan sebuah "ekstra" dx dalam masalah derivatif. Selanjutnya, di tahun 1600-an Leibniz menjadi terganggu dengan menggunakan nya infinitesimals dalam diferensiasi, dan memutuskan untuk membenarkan penggunaan mereka. Walaupun untuk Leibniz itu tidak pernah benar-benar penting maupun tidak infinitesimals ada, ia menemukan bahwa jika rasio tertentu adalah benar ketika kuantitas terbatas, maka rasio yang sama akan berlaku ketika berhadapan dengan batas-batas dan nilai-nilai yang tak terbatas. Teknik manipulasi menjadi sangat berguna untuk Johann dan Jakob Bernoulli yang menerima infinitesimals sebagai entitas matematika dan menggunakannya untuk membuat penemuan penting dalam kalkulus dan aplikasi nya (Katz 530-1).

Paradoks yang diciptakan oleh Cantor di paruh kedua abad ke 19 mencakup konsep kardinalitas dan hubungannya dengan Teori himpunan (Katz 734). Kardinalitas pada dasarnya menjelaskan berapa banyak nomor dalam satu himpunan, karena himpunan terbatas itu adalah yang sederhana seperti menghitung, tetapi himpunan yang tak terbatas tidak dapat memiliki kardinalitas yang dapat diwakili oleh seluruh nomor. Ia menemukan bahwa jika anggota suatu himpunan tak terhingga dapat dimasukkan ke dalam satu-ke-satu korespondensi dengan satu sama lain, tanpa meninggalkan angka tambahan di himpunan baik, maka dua himpunan memiliki kardinalitas yang sama. Satu-ke-satu korespondensi berarti bahwa untuk himpunaniap anggota dalam satu himpunan, ada anggota yang sesuai pada himpunan kedua. Sebagai contoh, dalam sebuah e-mail dengan profesor saya, Shirley Dr mencatat bahwa himpunan bilangan bulat positif dan himpunan kuadrat sempurna keduanya terbatas dan memiliki hubungan n  n2 untuk setiap anggota dari himpunan, yang berarti mereka memiliki satu-ke-satu korespondensi. Cantor membuktikan bahwa himpunan bilangan real memiliki kardinalitas lebih besar dari himpunan bilangan bulat, paradoks berarti bahwa himpunan tak terhingga dari bilangan real adalah "lebih besar" dari himpunan tak terhingga bilangan bulat. Secara umum, paradoks Cantor dimulai dengan menyatakan bahwa himpunan semua himpunan (sebut saja himpunan B) adalah kekuatannya sendiri himpunan, dimana himpunan daya adalah himpunan semua subhimpunan dari sebuah himpunan A. Power himpunan selalu lebih besar daripada himpunan yang terkait dengan mereka (Weisstein, "Power Himpunan" 1). Paradoksnya menyimpulkan yang diberikan himpunan B, kardinalitas himpunan B harus lebih besar dari dirinya sendiri. Untuk memahami paradoks, kita harus mempertimbangkan Teorema Cantor, yang menyatakan bahwa kardinalitas himpunan lebih rendah dari kardinalitas dari semua himpunan bagian perusahaan (Weisstein, "Cantori Teorema 1). Paradoksnya adalah bahwa jika himpunan B adalah himpunan semua himpunan, maka kardinalitas subhimpunan dari B akan lebih besar dari B himpunan, namun kardinalitas himpunan B harus sama karena himpunan B dan subhimpunan dari B yang sama (Weisstein, Paradoks 1 Cantor).

Paradoks Russell, ditemukan pada awal abad ke-20, memberikan pandangan bahkan lebih umum dari paradoks teori himpunan ditemukan oleh Cantor. Ini menyatakan bahwa R adalah himpunan semua himpunan yang tidak menjadi anggota dari diri mereka sendiri, yang berarti bahwa semua himpunan dalam R tidak mengandung diri mereka sebagai elemen. Pertanyaannya kemudian menjadi, apakah R mengandung dirinya sebagai elemen? Jika kita menganggap bahwa R tidak mengandung sendiri, kemudian oleh R definisi tidak dapat berisi itu sendiri dan sebaliknya. Masalahnya adalah yang paling sering diberikan sebagai paradoks tukang cukur. Misalkan di kota kecil hanya ada satu tukang cukur yang didefinisikan sebagai orang yang mencukur semua orang yang tidak bercukur sendiri. Lalu pertanyaannya adalah "yang mencukur si tukang cukur?" Jika tukang cukur tidak mencukur dirinya sendiri, maka ia tidak menurut definisi. Jika tukang cukur tidak mencukur dirinya sendiri, maka dengan definisi yang dia lakukan (Russell Paradox 3).

Paradoks Cantor dan Russell sangat penting untuk bidang teori himpunan karena mereka disebabkan matematikawan untuk memeriksa asumsi mereka buat sebelumnya. Paradoks ini menunjukkan bahwa teori himpunan pada waktu itu (banyak yang dirancang oleh Cantor) memiliki banyak inkonsistensi karena banyak dari itu murni intuitif dan tidak didasarkan pada semua jenis aksioma atau bukti. Matematikawan ini dipaksa untuk merumuskan sebuah cara untuk membuat teori mengatur lebih konsisten dan untuk memberikan pembatasan yang jelas. Pada 1900-an Ernst Zermelo menyusun tujuh aksioma yang memberikan aturan yang jelas untuk teori himpunan (Katz 809-11). Salah satunya, aksioma pemisahan (atau keteraturan) dihindari dan Russell paradoks Cantori dengan melarang diri menelan himpunan ("Russell's Paradox" 1). Paradoks ini sangat penting bagi perkembangan teori himpunan karena mereka menyatakan perlunya aturan, seperti dalam aljabar atau geometri.

Meskipun paradoks yang mengganggu dan membingungkan oleh alam, mereka tetap menjadi penting untuk matematika di mengidentifikasi masalah dan inkonsistensi dalam matematika sepanjang sejarah. Selain itu, dengan menantang pemikiran waktu, paradoks dapat menyebabkan lebih banyak penemuan yang brilian bahkan dalam matematika. Jelas, paradoks telah penting bagi matematika, dan disiplin mungkin tidak berada di tempat seperti sekarang ini tanpa mereka.

Sumber :
http://tiger.towson.edu/~gstiff1/paradoxpaper.htm

1 komentar:

  1. Makasih postingannya gan, bikin ilmu saya bertambah nih

    Aditiya@student.ipb.ac.id

    BalasHapus