Trenggaleknjenggelek - Matematika sering dianggap dingin dan bebas emosi. Namun, Kurt Gödel, matematikawan abad ke-20 yang terkenal dengan teorema ketidaklengkapannya, justru membawa matematika ke ranah paling personal: pertanyaan tentang Tuhan.
Gödel percaya bahwa eksistensi Tuhan dapat dirumuskan seperti membuktikan teorema. Ia terinspirasi dari argumen ontologis yang sudah ada sejak abad ke-11, lalu memodifikasinya dengan logika modal modern.
Tujuannya sederhana tapi ambisius: membuat pembuktian Tuhan yang tahan uji secara matematis.
Secara singkat, argumen ontologis Gödel menyatakan:
- Tuhan didefinisikan sebagai makhluk yang memiliki semua sifat sempurna.
- Sifat sempurna dianggap “mungkin ada” secara logis.
- Jika mungkin ada, maka Tuhan harus ada di semua realitas yang mungkin (necessary existence).
Kalau dibaca, ini seperti permainan logika. Tetapi di tangan Gödel, ia menulisnya dalam bentuk aksioma dan teorema, lengkap dengan simbol logika yang hanya bisa dicerna oleh ahli matematika atau filsafat analitik.
Menariknya, Gödel tidak pernah mempublikasikan teori ini semasa hidupnya. Ia khawatir argumennya akan disalahpahami atau dipakai untuk debat teologis yang tidak ilmiah. Baru setelah ia meninggal tahun 1978, naskahnya ditemukan dan dipublikasikan oleh teman serta muridnya.
Para filsuf dan ilmuwan komputer lalu menguji rumus Gödel menggunakan software logika, dan hasilnya: pembuktiannya secara formal konsisten. Tapi tentu, konsistensi logis tidak otomatis membuktikan kebenaran metafisik di dunia nyata.
Argumen ontologis Gödel memberi pelajaran bahwa batas antara sains, matematika, dan filsafat tidak selalu kaku. Ia menunjukkan bahwa bahkan pikiran paling rasional pun tertarik pada pertanyaan eksistensial.
Apakah ini bukti final bahwa Tuhan ada? Tidak. Tapi karya Gödel tetap jadi salah satu percobaan intelektual paling berani dalam sejarah, upaya memformalkan iman dengan alat matematika.
Gödel mencoba memformalkan eksistensi Tuhan seperti membuktikan teorema sebuah eksperimen intelektual yang unik dalam sejarah sains. (sun)
