Filosofi matematika adalah bidang yang tidak hanya memeriksa angka dan persamaan, tetapi juga menyelidiki landasan konseptual yang menopang seluruh struktur ilmu ini. Salah satu perdebatan paling lama dan paling menarik dalam bidang ini adalah antara realisme dan nominalisme. Perdebatan ini membentuk cara kita memahami eksistensi entitas matematika: apakah mereka benar-benar ada di luar pikiran manusia, atau sekadar ciptaan bahasa dan simbol yang kita gunakan?
Realisme matematika, yang sering dikaitkan dengan platonisme, berpendapat bahwa objek matematika—bilangan, himpunan, fungsi—memiliki keberadaan independen, terlepas dari apakah kita memikirkannya atau tidak. Dalam pandangan ini, angka “tiga” atau konsep “segitiga” bukan hanya konstruksi mental, melainkan entitas abstrak yang berada di “dunia” matematika. Seperti Plato yang membayangkan dunia ide, realis percaya bahwa matematika ditemukan, bukan diciptakan.
Di sisi lain, nominalisme mengusung gagasan yang jauh berbeda. Nominalis menolak keberadaan entitas matematika yang independen. Menurut mereka, matematika hanyalah sistem tanda, simbol, dan aturan yang diciptakan untuk mengorganisasi pengalaman dan memecahkan masalah praktis. Dalam kerangka ini, angka “tiga” tidak lebih dari label yang kita sepakati untuk menyebut kumpulan tiga objek. Matematika, bagi nominalis, adalah ciptaan, bukan penemuan.
Perdebatan ini memiliki implikasi filosofis dan praktis yang luas. Misalnya, jika realisme benar, maka matematika memiliki status kebenaran mutlak—persamaan yang valid akan selalu valid, bahkan di alam semesta lain. Namun jika nominalisme benar, maka matematika bergantung sepenuhnya pada kesepakatan manusia, dan mungkin berbeda jika budaya atau bahasa kita berkembang dengan cara lain.
Dalam sejarah pemikiran, pandangan ini tidak hanya muncul di ruang kuliah filsafat, tetapi juga mempengaruhi cara matematikawan dan ilmuwan membangun teori. Isaac Newton dan Gottfried Wilhelm Leibniz, misalnya, mengembangkan kalkulus dengan keyakinan bahwa mereka sedang mengungkap hukum alam yang bersifat universal, sebuah pendekatan yang cenderung realis. Sebaliknya, tokoh seperti Leopold Kronecker lebih dekat ke nominalisme, terkenal dengan pandangannya, “Tuhan menciptakan bilangan bulat, sisanya adalah karya manusia.”
John MacFarlane, meskipun lebih dikenal di ranah filsafat logika dan semantik, memberikan kontribusi penting yang dapat diaplikasikan pada perdebatan ini. Pendekatannya terhadap relativisme kebenaran menunjukkan bahwa nilai kebenaran suatu pernyataan dapat bergantung pada konteks evaluasi. Jika ide ini dihubungkan dengan filsafat matematika, ia membuka peluang untuk memandang kebenaran matematis sebagai sesuatu yang memiliki aspek kontekstual, tanpa mengorbankan presisi dan ketatnya struktur logis.
Kelompok kerja ilmiah, terutama yang membahas filsafat matematika, telah menjadi arena penting untuk mendiskusikan perdebatan ini secara mendalam. Di dalam forum tersebut, perbedaan pandangan justru menjadi sumber kekayaan intelektual. Seorang realis mungkin akan mengutip bukti keindahan dan konsistensi internal teori matematika sebagai bukti keberadaan objektifnya. Sementara nominalis akan menekankan fleksibilitas dan adaptasi matematika terhadap kebutuhan praktis sebagai bukti bahwa ia sepenuhnya buatan manusia.
Menariknya, perkembangan matematika modern—terutama di bidang komputasi dan kecerdasan buatan—membuat batas antara realisme dan nominalisme semakin kabur. Algoritma, yang diciptakan manusia, dapat menghasilkan pola dan hubungan yang tidak pernah kita sadari sebelumnya, seolah-olah kita “menemukan” sesuatu yang sudah ada. Hal ini menimbulkan pertanyaan: apakah penemuan tersebut berasal dari dunia abstrak matematika atau sekadar hasil dari sistem buatan kita sendiri?
Perdebatan realisme vs nominalisme tidak memiliki jawaban final yang memuaskan semua pihak, dan mungkin tidak akan pernah. Namun, nilai terpenting dari perdebatan ini bukanlah menemukan pemenang, melainkan memperkaya pemahaman kita tentang apa itu matematika. Dengan memahami kedua sudut pandang, kita bisa lebih peka terhadap bagaimana teori dibentuk, diterapkan, dan dievaluasi.
Filsafat matematika, melalui lensa perdebatan ini, mengajarkan kita bahwa angka dan rumus bukanlah entitas netral. Mereka membawa serta asumsi filosofis yang memengaruhi cara kita memandang kebenaran, pengetahuan, dan bahkan realitas itu sendiri. Dalam hal ini, warisan pemikiran dari Plato hingga MacFarlane menunjukkan bahwa matematika bukan hanya soal menghitung—tetapi juga soal memahami dunia di tingkat yang paling mendalam.
Kalau setuju, saya bisa langsung lanjut menulis postingan ke-3 dengan topik peran kelompok kerja ilmiah dalam perkembangan teori sains.