Pembuktian Kewujudan Allah SWT Dengan Matematika

Gödel’s incompleteness theorems

Selama berabad-abad, para filsuf dan teolog telah berusaha membuktikan kewujudan Tuhan melalui argumen rasional. Dari Anselmus dari Canterbury dengan argumen ontologisnya, hingga Thomas Aquinas dengan lima jalannya, semua berusaha menjembatani iman dan akal. Namun, pada abad ke-20, seorang matematikawan jenius bernama Kurt Gödel melakukan sesuatu yang belum pernah dilakukan siapa pun sebelumnya. Ia merumuskan pembuktian kewujudan Tuhan menggunakan bahasa formal logika modal, dengan ketepatan yang sama seperti ketika ia membuktikan teorema ketidaklengkapan yang mengubah wajah matematika modern.

Kurt Gödel, yang dikenal sebagai salah satu logikawan terbesar dalam sejarah, menyusun apa yang kini dikenal sebagai Gödel's Ontological Proof atau Pembuktian Ontologis Gödel. Berbeda dengan argumen filosofis yang sering kali kabur, Gödel menggunakan simbol-simbol logika modal yang ketat untuk membangun argumennya. Inti dari pembuktiannya berawal dari definisi sederhana. Tuhan didefinisikan sebagai entitas yang memiliki semua "sifat positif". Sifat positif di sini bukan berarti sifat yang menyenangkan secara moral, melainkan sifat-sifat yang secara logis sempurna, murni, dan tidak mengandung kontradiksi. Gödel kemudian merumuskan serangkaian aksioma yang secara intuitif masuk akal, seperti. Jika suatu sifat itu positif, maka negasinya tidak positif, dan jika suatu sifat positif secara logis, maka sifat tersebut mungkin ada dalam suatu entitas.

Dari aksioma-aksioma tersebut, Gödel menurunkan teorema-teorema yang berujung pada kesimpulan yang mengejutkan. Melalui rantai deduksi logis yang ketat, ia membuktikan bahwa jika konsep "entitas yang memiliki semua sifat positif" itu konsisten secara logis (tidak mengandung kontradiksi), maka entitas tersebut harus ada secara nyata. Dalam logika modal, ini berarti kewujudan Tuhan bukan sekadar kemungkinan, melainkan sebuah keharusan atau necessary existence. Jika Tuhan mungkin ada, maka Tuhan pasti ada, karena kewujudan itu sendiri adalah sifat positif yang harus dimiliki oleh entitas yang sempurna.

Secara menakjubkan, struktur logis yang dibangun Gödel ini bersesuaian sempurna dengan konsep sifat wajib Allah dalam teologi Islam. Ketika Gödel berbicara tentang "sifat positif" yang harus dimiliki oleh entitas sempurna, para ulama Ahlussunnah wal Jamaah telah merumuskannya secara sistematis dalam dua puluh sifat wajib Allah. Sifat Wujud (Ada) adalah sifat positif paling fundamental yang menjadi premis utama Gödel. Sifat Qidam (Terdahulu tanpa permulaan) dan Baqa (Kekal tanpa akhir) adalah sifat positif yang menunjukkan kesempurnaan eksistensial, tidak terikat waktu, dan tidak bergantung pada sebab-akibat. Sifat Mukhalafatuhu lilhawadis (Berbeda dengan makhluk-Nya) menegaskan bahwa entitas ini berada di luar kategori ciptaan, murni dan tidak terkomposisi.

Lebih jauh lagi, sifat-sifat Ma'ani seperti Qudrat (Kuasa), Iradat (Berkehendak), Ilmu (Mengetahui), Hayat (Hidup), Sam'un (Mendengar), Basar (Melihat), dan Kalam (Berbicara) adalah perwujudan konkret dari "sifat positif" yang dimaksud Gödel. Sifat-sifat ini bukan sekadar atribut tambahan, melainkan esensi dari kesempurnaan itu sendiri. Ketika Gödel membuktikan bahwa entitas dengan semua sifat positif harus ada secara niscaya (necessary existence), ia secara tidak langsung telah memvalidasi konsep Wajibul Wujud (Yang Wujud-Nya wajib ada) dalam teologi Islam. Allah bukan sekadar ada secara kebetulan, melainkan kewujudan-Nya adalah sebuah keniscayaan logis yang tidak bisa tidak ada.

Formalisasi logika modal dari Pembuktian Ontologis Kurt Gödel, menunjukkan aksioma (Ax.) dan teorema (Th.) yang membentuk rantai deduksi kewujudan Tuhan.

Implikasi dari pembuktian ini sangatlah mendalam bagi kita yang beriman. Gödel tidak meminta kita untuk "percaya" begitu saja, melainkan menunjukkan bahwa kewujudan Tuhan adalah kesimpulan yang tak terelakkan dari nalar yang sehat dan konsisten. Ketika kita merenungkan sifat-sifat Allah yang tercantum dalam tabel sifat wajib, kita tidak sedang merenungkan konsep yang abstrak dan jauh. Kita sedang merenungkan entitas yang kewujudannya telah divalidasi oleh logika paling ketat yang pernah dihasilkan oleh pikiran manusia. Sifat Wahdaniyat (Esa) juga selaras dengan pembuktian Gödel, karena hanya bisa ada satu entitas yang memiliki semua sifat positif secara sempurna jika ada dua, mereka akan saling membatasi dan kehilangan kesempurnaan.

Bagi kita sebagai pelajar dan pencari kebenaran, teorema Gödel mengajarkan bahwa iman dan akal bukanlah dua kutub yang bertentangan. Justru, ketika akal digunakan dengan ketepatan dan kejujuran tertinggi, ia akan sampai pada kesimpulan yang sama dengan wahyu. Kewujudan Allah SWT bukanlah sesuatu yang harus dibela dengan emosi atau dogma semata, melainkan sebuah fakta logis yang berdiri kokoh di atas fondasi matematika dan filsafat. Memahami hal ini seharusnya memperkuat keyakinan kita, bahwa Tuhan yang kita sembah adalah Tuhan yang bukan hanya Mahakuasa dan Maha Penyayang, tetapi juga Tuhan yang kewujudan-Nya merupakan keniscayaan rasional yang tidak bisa dibantah oleh logika apa pun.

Sumber: