Gödel, Kesadaran, dan Keterbatasan Kecerdasan Buatan

Perdebatan kontemporer mengenai apakah model bahasa besar suatu hari nanti dapat memiliki kesadaran telah menarik berbagai tradisi intelektual, mulai dari ilmu saraf, ilmu komputer, filsafat pikiran, hingga psikologi kognitif. Dalam diskusi ini, salah satu ahli logika terbesar abad ke-20, Kurt Gödel, semakin sering dikutip sebagai peserta yang tidak terduga. Meskipun Gödel tidak pernah mengenal kecerdasan buatan dalam bentuknya yang modern, teorema ketidaklengkapannya serta refleksi filosofisnya tentang realisme matematis telah ditafsirkan sebagian pihak sebagai petunjuk bahwa pikiran manusia tidak mungkin sekadar mekanisme komputasi lain. Jika tafsiran ini benar, implikasinya melampaui matematika, yaitu menunjukkan bahwa kesadaran bukan sekadar komputasi dan tidak ada model bahasa yang cukup canggih, seberapa pun skala atau kompleksitasnya, yang dapat benar-benar sadar. Namun, apakah Gödel sendiri mau menerima kesimpulan semacam itu adalah persoalan yang lebih rumit.

Teorema ketidaklengkapan Gödel termasuk salah satu penemuan paling mendalam dalam sejarah intelektual. Kesimpulan pertamanya sudah dikenal luas: sistem formal apa pun yang cukup kuat dan mampu mengekspresikan aritmetika elementer akan memuat pernyataan-pernyataan benar yang tidak dapat dibuktikan di dalam sistem itu sendiri. Teorema kedua bahkan lebih meresahkan: sistem semacam itu tidak dapat menunjukkan konsistensinya sendiri tanpa mengandalkan asumsi-asumsi yang berada di luar dirinya. Hasil ini secara permanen mengubah pemahaman manusia tentang matematika. Impian abad kesembilan belas bahwa matematika dapat direduksi menjadi kumpulan aturan formal yang lengkap runtuh dalam semalam. Kebenaran matematis ternyata memiliki kekayaan yang tidak dapat dihabiskan oleh prosedur mekanis yang terbatas.

Bagi banyak filsuf, hal ini tetap merupakan teorema tentang sistem formal dan tidak lebih dari itu. Gödel sendiri, bagaimanapun, percaya implikasinya menjangkau jauh lebih dalam. Ia adalah penganut Platonisme matematis yang teguh. Kebenaran matematis, menurut pandangannya, ada secara objektif, terlepas dari penemuan manusia. Pikiran manusia menemukan kebenaran itu, bukan menciptakannya. Keyakinan ini menjadi sangat signifikan ketika mempertimbangkan bagaimana para matematikawan mengenali kebenaran kalimat-kalimat Gödel. Meskipun proposisi semacam itu tidak dapat dibuktikan dalam sistem formal yang mereka deskripsikan, para matematikawan sering kali dapat melihat mengapa proposisi itu benar dengan melangkah keluar dari sistem itu sendiri. Penalaran manusia tampaknya mampu melampaui aturan-aturan formal yang sedang diperiksa.

Ciri inilah yang membuat filsuf John Lucas dan kemudian Roger Penrose terpikat. Mereka berargumen bahwa jika pikiran manusia secara konsisten dapat mengenali kebenaran yang tidak tersedia bagi sistem komputasi formal mana pun, maka pikiran itu sendiri tidak mungkin sekadar sistem semacam itu. Kecerdasan manusia harus melibatkan sesuatu yang secara fundamental berbeda dari komputasi algoritmik. Apakah Lucas dan Penrose menafsirkan Gödel dengan benar masih menjadi perdebatan. Para pengkritik mengamati bahwa pikiran manusia tidaklah sempurna. Matematikawan membuat kesalahan. Manusia tidak konsisten. Kita tidak selalu dapat menentukan sistem formal mana yang paling tepat untuk memodelkan penalaran kita sendiri. Akibatnya, argumen Gödelian mungkin tidak menetapkan sebanyak yang dikira para pendukungnya.

Meskipun demikian, Gödel sendiri tampaknya bersimpati pada intuisi yang mendasarinya. Ia berulang kali mengemukakan bahwa rasionalitas manusia memiliki kekuatan yang melampaui perhitungan mekanis murni. Pandangannya mengenai hipotesis kontinum Georg Cantor memperkuat kesan ini. Cantor menunjukkan bahwa himpunan tak hingga memiliki ukuran yang berbeda-beda. Hipotesis kontinum berkaitan dengan pertanyaan apakah ada kardinalitas tak hingga yang berada secara ketat di antara bilangan bulat dan bilangan real. Upaya puluhan tahun gagal menjawab pertanyaan tersebut. Pada akhirnya Gödel membuktikan bahwa hipotesis kontinum tidak dapat disangkal dari aksioma standar teori himpunan jika aksioma-aksioma itu konsisten. Bertahun-tahun kemudian Paul Cohen membuktikan hasil komplementernya, yaitu bahwa hipotesis itu juga tidak dapat dibuktikan. Dengan demikian, hipotesis kontinum bersifat independen dari aksioma yang berlaku.

Bagi banyak matematikawan, hal ini menunjukkan bahwa pertanyaan tersebut tidak memiliki jawaban yang pasti dalam matematika yang ada. Gödel tidak setuju. Karena ia menganggap realitas matematis bersifat objektif, ia percaya hipotesis kontinum pasti memiliki nilai kebenaran yang pasti, terlepas dari apakah aksioma yang berlaku saat ini mengungkapkannya. Ia memperkirakan bahwa intuisi matematis di masa depan akan menemukan aksioma-aksioma baru yang kejelasannya akan menyelesaikan pertanyaan itu. Seruan pada intuisi matematis ini mencolok. Gödel tidak membayangkan para matematikawan secara mekanis menghasilkan manipulasi simbol yang semakin banyak. Sebaliknya, ia percaya bahwa pikiran dapat memperoleh wawasan langsung yang lebih dalam ke dalam realitas abstrak itu sendiri.

Dari sini mulai terlihat konsepsi yang tidak biasa tentang kesadaran. Pikiran tidak sekadar menjalankan aturan. Pikiran memahami kebenaran yang ada secara independen dari aturan-aturan tersebut. Konsepsi semacam ini memiliki kemiripan yang jelas dengan dualisme filosofis. Gödel tidak pernah mengembangkan teori dualisme pikiran-tubuh yang sistematis seperti yang dilakukan René Descartes atau Karl Popper. Namun, tulisan-tulisannya secara konsisten menolak materialisme reduksionis. Ia menganggap objek matematis dan aktivitas mental sebagai partisipan dalam tatanan rasional objektif yang tidak dapat diakses oleh deskripsi fisik murni. Ia menyatakan kekaguman pada metafisika Leibniz dan sering mengkritik kecenderungan sains abad kedua puluh yang semakin mengarah pada pereduksian realitas menjadi interaksi material belaka. Ini tidak serta-merta berarti ia percaya pada jiwa yang abadi. Dualisme hadir dalam berbagai bentuk. Namun, Gödel dengan jelas menolak gagasan bahwa kesadaran dapat dijelaskan secara tuntas oleh neurofisiologi atau komputasi formal.

Jika tafsiran ini diterima, konsekuensinya bagi kecerdasan buatan kontemporer menjadi dramatis. Model bahasa besar beroperasi melalui komputasi statistik yang sangat canggih. Mereka memprediksi urutan simbol dengan mempelajari sejumlah besar korelasi dari data.