Apakah matematika adalah ilmu pasti, seperti yang selama ini digaungkan oleh banyak orang?
Perspektif epistemologis dalam matematika menunjukkan bagaimana pandangan kita tentang kebenaran dan pengetahuan matematis berkembang seiring waktu. Pandangan absolutis yang dominan pada awalnya menganggap bahwa matematika adalah ilmu yang mutlak, pasti, dan objektif. Artinya, dalam pandangan ini, kebenaran matematis dianggap tidak bisa diragukan dan tidak memerlukan bukti atau revisi, karena dianggap berlaku secara universal dan tidak tergantung pada konteks atau pemahaman manusia.
Namun, pada awal abad ke-20, pandangan absolutis ini mulai menghadapi krisis besar. Hal ini disebabkan oleh munculnya sejumlah antinomi (kontradiksi yang tidak dapat diselesaikan) dalam matematika. Salah satu contoh klasik adalah masalah Russell’s Paradox, yang menunjukkan adanya kontradiksi dalam teori himpunan yang diterima pada saat itu. Kontradiksi-kontradiksi seperti ini memaksa para ahli matematika dan filsuf untuk mempertanyakan asumsi dasar mereka tentang kebenaran matematis. Krisis ini memicu perkembangan berbagai aliran pemikiran dalam filsafat matematika, yang berusaha untuk memberikan dasar yang lebih kokoh terhadap cara kita memahami matematika.
Tiga aliran utama yang muncul untuk mengatasi krisis ini adalah logikaisme, formalisme, dan konstruktivisme (termasuk intuisionisme sebagai cabang dalam konstruktivisme):
Logikaisme adalah aliran yang menganggap bahwa matematika pada dasarnya adalah cabang dari logika. Artinya, semua kebenaran matematis dapat diturunkan dari prinsip-prinsip logika yang lebih fundamental. Para penganut logikaisme, seperti Gottlob Frege dan Bertrand Russell, berusaha untuk menunjukkan bahwa seluruh matematika dapat dibangun secara formal dari sistem logika yang sangat dasar. Dengan demikian, matematika tidak dianggap sebagai suatu entitas yang terpisah, melainkan bagian dari struktur logis yang lebih besar.
Berbeda dengan logikaisme, aliran formalisme berfokus pada permainan simbol yang dilakukan menurut aturan-aturan tertentu. Dalam pandangan ini, matematika tidak harus berhubungan langsung dengan objek dunia nyata atau memiliki makna yang jelas; yang penting adalah konsistensi internal dari sistem simbolik itu sendiri. David Hilbert, seorang tokoh penting dalam aliran ini, mengajukan bahwa matematika adalah sebuah aktivitas yang hanya melibatkan manipulasi simbol tanpa memerlukan pemahaman tentang makna simbol tersebut. Matematika, bagi penganut formalisme, adalah permainan formal yang mengikuti aturan yang sudah ditetapkan.
Konstruktivisme adalah aliran yang menekankan bahwa kebenaran matematis dan keberadaan objek matematis harus dapat dibuktikan melalui konstruksi konkret. Dengan kata lain, objek matematika hanya ada jika kita dapat membangunnya secara eksplisit, baik itu dalam bentuk bukti konstruktif atau dalam bentuk algoritma yang dapat digunakan untuk menemukannya. Intuisionisme, yang merupakan cabang dari konstruktivisme, berpendapat bahwa matematika bukan hanya proses konstruktif yang dilakukan dengan pensil dan kertas, tetapi lebih merupakan proses mental yang terjadi dalam pikiran. L.E.J. Brouwer, salah satu tokoh utama dalam intuisionisme, berpendapat bahwa pengetahuan matematis berasal dari intuisi langsung dalam pikiran manusia, bukan dari bentuk formal atau abstrak yang ditulis di atas kertas.
Namun, meskipun aliran-aliran ini memberikan wawasan baru, mereka juga menghadapi masalah besar. Salah satunya adalah Teorema Ketak-lengkapan Gödel, yang menyatakan bahwa dalam setiap sistem matematika yang cukup kuat (seperti aritmatika Peano), ada pernyataan yang benar namun tidak dapat dibuktikan dalam sistem tersebut. Artinya, tidak ada sistem formal yang dapat membuktikan semua kebenaran matematis. Ini menunjukkan bahwa bukti formal saja tidak cukup untuk menyelesaikan seluruh masalah dalam matematika, yang mengarah pada pengakuan bahwa pengetahuan matematika tidak bersifat mutlak dan pasti.
Dari sini, munculnya pandangan fallibilis adalah respons terhadap kegagalan pandangan absolutis dan berbagai aliran pemikiran matematika sebelumnya. Fallibilisme menganggap bahwa pengetahuan, termasuk kebenaran matematis, bersifat tentatif dan dapat diperbaiki. Kebenaran matematika tidaklah statis atau final, melainkan selalu terbuka untuk revisi dan koreksi seiring dengan berkembangnya pengetahuan atau penemuan baru. Ini membuka ruang bagi perbaikan dan perubahan dalam teori-teori matematis yang ada, dan mengakui bahwa matematika, seperti ilmu lainnya, adalah bidang yang terus berkembang.
Pandangan kita tentang matematika dan kebenaran matematis telah mengalami perubahan signifikan sejak awal abad ke-20. Dari keyakinan absolut tentang kebenaran matematis, kita beralih menuju pengakuan bahwa kebenaran matematika mungkin bersifat tentatif dan terbuka untuk perbaikan dan revisi. Pandangan fallibilis ini mencerminkan pemahaman yang lebih fleksibel dan realistis mengenai batas-batas pengetahuan manusia dalam bidang matematika.
