Filsafat Matematika Bagian Ke-3

GammaPatria | Peterson, I., 1998, mencatat bahwa apa Hilbert berpendapat bahwa kita dapat memecahkan masalah jika kita cukup pintar dan bekerja cukup lama, dan matematikawan Gregory J. Chaitin dan Thomas J. Watson tidak percaya dengan prinsip bahwa ada batas untuk apa matematika bisa dicapai. Namun, pada tahun 1930, Kurt Godel (1906-1978) membuktikan bahwa tidak ada prosedur keputusan tersebut adalah mungkin untuk setiap sistem logika yang terdiri dari aksioma dan proposisi cukup canggih untuk mencakup jenis masalah matematika yang hebat yang bekerja pada setiap hari; ia menunjukkan bahwa jika kita asumsikan bahwa sistem matematika konsisten, maka kita bisa menunjukkan bahwa itu tidak lengkap. Peterson mengatakan bahwa dalam pikiran Godel, tidak peduli apa sistem aksioma atau aturannya, akan selalu ada beberapa pernyataan yang dapat tidak terbukti atau tidak valid dalam sistem. Memang, matematika penuh dengan pernyataan dugaan dan menunggu bukti dengan jaminan bahwa jawaban tertentu telah pernah ada.
Chaitin membuktikan bahwa suatu prosedur tidak dapat menghasilkan hasil yang lebih kompleks dari pada prosedur itu sendiri, dengan kata lain, dia membuat teori bahwa wanita berbobot 1-pon tidak bisa melahirkan bayi berbobot 10-pon. Wanita berbobot 10 pon tidak bisa melahirkan bayi 100 pon, dst. Sebaliknya, Chaitin juga menunjukkan bahwa tidak mungkin membuat prosedur untuk membuktikan bahwa sejumlah kompleksitas bersifat acak, maka, sejauh bahwa pikiran manusia adalah sejenis komputer, mungkin ada jenis kompleksitas begitu mendalam dan halus yang akal kita tidak pernah bisa memahami nya; urutan apapun yang mungkin terletak pada kedalaman akan dapat diakses, dan selalu akan muncul untuk kita sebagai keacakan. Pada saat yang sama, membuktikan bahwa berurutan
adalah acak juga dapat mengatasi kesulitan, tidak ada cara untuk memastikan bahwa kita tidak diabaikan. Peterson, I., 1998, menyatakan bahwa hasil Chaitin ini menunjukkan bahwa kita jauh lebih mungkin untuk menemukan keacakan dari ketertiban dalam domain matematika tertentu; kompleksitas versin teorema Godel menyatakan bahwa meskipun hampir semua bilangan adalah acak, tidak ada sistem formal aksiomatis yang akan memungkinkan kita untuk membuktikan fakta ini.
Selanjutnya, Peterson, I., 1998, menyimpulkan bahwa pekerjaan Chaitin ini menunjukkan bahwa ada jumlah tak terbatas pernyataan matematika di mana seseorang dapat membuat, katakanlah, aritmatika yang tidak dapat direduksi menjadi aksioma aritmatika, jadi tidak ada cara untuk membuktikan apakah pernyataan tersebut benar atau salah dengan menggunakan aritmatika; dalam pandangan Chaitin ini, itu praktis sama dengan mengatakan bahwa struktur aritmatika adalah acak. Chaitin menyimpulkan bahwa struktur matematika adalah fakta matematis yang analog dengan hasil dari sebuah lemparan koin dan kita tidak pernah bisa benar-benar membuktikan secara logis apakah itu adalah benar, ia menambahkan bahwa dengan cara yang sama bahwa tidak mungkin untuk memprediksi saat yang tepat di mana seorang individu yang terkena radiasi atom mengalami peluruhan radioaktif. Matematika tak berdaya untuk menjawab pertanyaan tertentu, sedangkan fisikawan masih dapat membuat prediksi yang dapat diandalkan tentang rata-rata lebih dari besar dari atom, ahli matematika mungkin dalam beberapa kasus terbatas pada pendekatan yang sama; yang membuat matematika jauh lebih dari ilmu pengetahuan eksperimental.
Hempel, CG, 2001, berpendapat bahwa setiap sistem postulat matematika yang konsisten, bagaimanapun, mempunyai interpretasi yang berbeda dari istilah primitifnya, sedangkan satu himpunan definisi dalam arti kata yang kaku menentukan arti dari definienda dengan cara yang unik . Sistem yang lebih luas dari itu Peano postulat yang diperoleh masih belum lengkap dalam arti bahwa tidak setiap bilangan memiliki akar kuadrat, dan lebih umum, tidak setiap persamaan aljabar memiliki solusi dalam sistem; ini menunjukkan bahwa ekspansi lebih lanjut dari sistem bilangan dengan pengenalan bilangan real dan akhirnya kompleks. Hempel menyimpulkan bahwa pada dasar dari dalil operasi aritmatika dan aljabar berbagai dapat didefinisikan untuk jumlah sistem baru, konsep fungsi, limit, turunan dan integral dapat diperkenalkan, dan teorema berkaitan erat dengan konsep-konsep ini dapat dibuktikan, sehingga akhirnya sistem besar matematika seperti di sini dibatasi bertumpu pada dasar yang sempit dari sistem Peano itu; setiap konsep matematika dapat didefinisikan dengan menggunakan tiga unsur primitif dari Peano, dan setiap proposisi matematika dapat disimpulkan dari lima postulat yang diperkaya oleh definisi dari non-primitif tersebut, langkah penyederhanaan, dalam banyak kasus, dengan cara tidak lebih dari prinsip-prinsip logika formal; bukti beberapa theorems tentang bilangan real, bagaimanapun, memerlukan satu asumsi yang biasanya tidak termasuk di antara yang terakhir dan ini adalah aksioma yang disebut pilihan di mana ia menyatakan bahwa terdapat himpunan-himpunan saling eksklusif, tidak ada yang kosong, ada setidaknya satu himpunan yang memiliki tepat satu elemen yang sama dengan masing-masing himpunan yang diberikan.
Hempel, CG, 2001, menyatakan bahwa berdasarkan prinsip dan aturan logika formal, isi semua matematika dapat diturunkan dari sistem sederhana Peano ini yaitu prestasi yang luar
biasa dan sistematis, isi matematika dan penjelasan dasar-dasar yang validitas. Menurut dia, sistem Peano memungkinkan interpretasi yang berbeda, sedangkan dalam sehari-hari maupun dalam bahasa ilmiah, dapat dikembangkan untuk arti khusus untuk konsep aritmatika. Hempel bersikeras bahwa jika karena itu matematika adalah menjadi teori yang benar dari konsep-konsep matematika dalam arti yang dimaksudkan, tidak cukup untuk validasi untuk menunjukkan bahwa seluruh sistem adalah diturunkan dari Peano mendalilkan kecocokan definisi, melainkan, kita harus bertanya lebih jauh apakah postulat Peano sebenarnya benar ketika unsur primitif dipahami dalam arti sekedar sebagai kebiasaan. Jika definisi di sini ditandai secara hati-hati dan ditulis yaitu bahwa hal ini merupakan salah satu kasus di mana teknik-teknik simbolik, atau matematika, dan logika membuktikan bahwa definiens dari setiap satu dari mereka secara eksklusif mengandung istilah dari bidang logika murni.
Hempel, CG, 2001, menyatakan bahwa sistem mandiri yang stabil tentang prinsip dasar adalah ciri khas dari teori matematika; model matematika dari beberapa proses alami atau perangkat teknis pada dasarnya adalah sebuah model yang yang stabil tentang yang dapat diselidiki secara independen dari "aslinya "dan, dengan demikian, kemiripan model dan" asli "hanya menjadi terbatas, hanya model tersebut dapat diselidiki oleh matematikawan. Hempel berpikir bahwa setiap upaya untuk menyempurnakan model yaitu untuk mengubah definisi untuk mendapatkan kesamaan lebih dengan "asli", mengarah ke model baru yang harus tetap stabil, untuk memungkinkan penyelidikan matematika, dengan itu, teori-teori matematika adalah bagian dari ilmu kita yang bisa secara terus melakukannya jika kita bangun. Hempel menyatakan bahwa model matematika tidak terikat dengan ke "aslian" sumbernya; akan tetapi terlihat bahwa beberapa model dibangun dengan buruk, dalam arti korespondensi untuk "aslian" sumber mereka, namun yang matematikawan investigasi berlangsung dengan sukses. Menurut dia, sejak model matematis didefinisikan dengan tepat, "tidak perlu lagi " "keaslian" nya sumber lagi. Satu dapat mengubah model atau memperoleh beberapa model baru tidak hanya untuk kepentingan korespondensi dengan sumber "asli", tetapi juga untuk percobaan belaka. Dengan cara ini orang dapat memperoleh berbagai model dengan mudah yang tidak memiliki "sumber asli" nya, yaitu sebuah cabang matematika yang telah dikembangkan yang tidak memiliki dan tidak dapat memiliki aplikasi untuk masalah yang nyata.
Hempel, CG, 2001, mencatat bahwa, dalam matematika, teorema dari teori apapun terdiri dari dua bagian - premis dan kesimpulan, karena itu, kesimpulan dari teorema berasal tidak hanya dari himpunan aksioma, tetapi juga dari premis yang khusus untuk teorema tertentu; dan premis ini bukan perpanjangan dari sistemnya. Dia menyadari bahwa teori-teori matematika yang terbuka untuk gagasan-gagasan baru, dengan demikian, di Kalkulus setelah konsep kontinuitas terhubung maka berikut diperkenalkan: titik diskontinyu, kontinuitas, kondisi Lipschitz, dll dan semua ini tidak bertentangan dengan tesis tentang karakter aksioma, prinsip dan aturan inferensi, namun tidak memungkinkan "matematika bekerja" dengan menganggap teori-teori matematika sebagai yang sesuatu tetap. Kemerling, G., 2002, menjelaskan bahwa pada pergantian abad kedua puluh, filsuf mulai mencurahkan perhatian terhadap dasar-dasar sistem logis dan matematis, karena dua ribuan tahun logika Aristotelian tampak penjelasan yang lengkap dan final dari akal manusia, namun geometri Euclid juga tampaknya aman, sampai Lobachevsky dan Riemann menunjukkan bahwa konsepsi alternatif
tidak hanya mungkin tetapi berguna dalam banyak aplikasi. Dia menyatakan bahwa upaya-upaya serupa untuk berpikir ulang struktur logika mulai akhir abad kesembilan belas di mana John Stuart Mill mencoba untuk mengembangkan sebuah rekening komprehensif pemikiran manusia yang difokuskan pada induktif daripada penalaran deduktif; bahkan penalaran matematika, John Stuart Mill seharusnya, dapat didasarkan pada pengamatan empiris. Kemerling summep up yang banyak filsuf dan matematikawan Namun, mengambil pendekatan yang berbeda.
Ia menjelaskan bahwa Logika adalah studi tentang kebenaran yang diperlukan dan metode sistematis untuk mengekspresikan dengan jelas dan rigourously menunjukkan kebenaran tersebut; logicism adalah teori filsafat tentang status kebenaran matematika, yakni, bahwa mereka secara logis diperlukan atau analitik. Disarankan bahwa untuk memahami logika pertama-tama perlu untuk memahami perbedaan penting antara proposisi kontingen, yang mungkin atau mungkin tidak benar, dan proposisi perlu, yang tidak bisa salah; logika adalah bukti untuk membangun, yang memberikan kita konfirmasi yang dapat diandalkan kebenaran proposisi terbukti. Logika dapat didefinisikan sebagai bersangkutan dengan metode untuk penalaran. Sistem logical kemudian formalisations satu metode yang tepat dan kebenaran logis adalah mereka dibuktikan dengan metode yang benar. Kebenaran-kebenaran matematika karena itu kontingen, namun untuk logicism, kebenaran matematika adalah sama dalam semua kemungkinan dunia, karena mereka tidak tergantung pada keberadaan himpunan, hanya pada konsistensi anggapan bahwa himpunan yang dibutuhkan ada; sejak benar dalam himpunaniap dunia yang mungkin, matematika harus logis diperlukan.

Baca Bagian Keempat Masih Tentang Filsafat Matematika  ====>> Filsafat Matematika Bagian Ke-4