"Tidak ada sistem logika yang bisa menampung seluruh kebenaran tentang dirinya sendiri tanpa pecah dari dalam."
Dulu para matematikawan — termasuk David Hilbert — punya impian besar:
“Kita harus bisa membuat satu sistem logika dan aturan, yang dari situ semua kebenaran matematika bisa dibuktikan.”
Mereka ingin dunia yang sempurna dan pasti: kalau sesuatu benar, maka pasti bisa dibuktikan; kalau bisa dibuktikan, maka pasti benar. Mereka percaya matematika bisa jadi mesin kebenaran.
Lalu, pada tahun 1931, seorang matematikawan muda bernama Kurt Gödel datang membawa kabar yang mengguncang:
“Maaf, tapi impian itu tidak mungkin tercapai.”
Dia tidak bilang “matematika salah”, tapi menunjukkan ada batas yang tak bisa ditembus oleh logika formal.
Gödel berkata:
“Dalam sistem logika yang cukup kuat (seperti yang bisa menghitung dan menjumlah), akan selalu ada kalimat yang benar tapi tidak bisa dibuktikan di dalam sistem itu sendiri.”
Artinya, ada kebenaran yang tak bisa dibuktikan dan logika tidak bisa menjelaskan seluruh logika itu sendiri.
Analogi : Bayangkan ada sebuah kamus super lengkap. Kamus itu berisi definisi semua kata. Tapi suatu hari muncul pertanyaan:
“Apa arti kata definisi itu sendiri?”
Kamus akan mencoba menjelaskan kata definisi dengan kata lain. Tapi pada akhirnya, akan selalu ada kata yang tidak bisa dijelaskan sepenuhnya oleh kamus itu sendiri.
Gödel mengajarkan bahwa bahkan di dunia yang paling rasional pun, ada ruang untuk misteri.
Kebenaran tidak selalu muat dalam sistem.
Logika, secerdas apapun, akan selalu berhadapan dengan sesuatu yang lebih besar dari dirinya sendiri. Wallahu'alam.

Komentar
Posting Komentar