Gödel, Kesadaran, dan Batas Kecerdasan Buatan

Perdebatan kontemporer tentang apakah model bahasa besar suatu hari bisa menjadi sadar semakin sering menyebut Kurt Gödel, ahli logika terbesar abad ke-20, sebagai peserta yang tak terduga. Interpretasi atas teorema ketidaklengkapan dan pemikiran filosofisnya tentang realisme matematis membuat sebagian pihak berkesimpulan bahwa akal manusia tidak bisa disamakan dengan mekanisme komputasi. Jika interpretasi ini benar, maka kesadaran bukan sekadar komputasi, dan tidak ada model bahasa, seberapa pun canggih dan besarnya, yang bisa benar-benar sadar. Apakah Gödel sendiri akan menerima kesimpulan itu adalah persoalan yang lebih rumit.

Teorema ketidaklengkapan Gödel termasuk penemuan paling mendalam dalam sejarah intelektual. Kesimpulan pertamanya sudah dikenal: setiap sistem formal yang cukup kuat untuk mengungkapkan aritmetika dasar mengandung pernyataan-pernyataan benar yang tidak dapat dibuktikan di dalam sistem itu. Kesimpulan kedua lebih meresahkan: sistem semacam itu tidak dapat membuktikan konsistensinya sendiri tanpa mengandalkan asumsi di luar dirinya. Hasil-hasil ini mengubah pemahaman manusia tentang matematika secara permanen. Impian abad ke-19 bahwa matematika bisa direduksi menjadi kumpulan aturan formal yang lengkap runtuh hampir dalam semalam. Kebenaran matematika ternyata memiliki kekayaan yang tidak bisa dihabiskan oleh prosedur mekanis yang terbatas.

Bagi banyak filsuf, hasil itu hanyalah teorema tentang sistem formal dan tidak lebih. Gödel sendiri, bagaimanapun, percaya implikasinya jauh lebih luas. Ia adalah penganut Platonisme matematis yang teguh. Menurutnya, kebenaran matematika ada secara objektif, independen dari penemuan manusia. Akal manusia menemukan kebenaran itu, bukan menciptakannya. Keyakinan ini menjadi sangat penting ketika mempertimbangkan bagaimana matematikawan mengenali kebenaran kalimat Gödel. Meskipun proposisi-proposisi itu tidak dapat dibuktikan dalam sistem formal yang mereka gambarkan, matematikawan sering kali dapat melihat mengapa proposisi itu benar dengan melangkah keluar dari sistem tersebut. Penalaran manusia tampak mampu melampaui aturan formal yang sedang diperiksa. Ciri inilah yang memikat filsuf John Lucas dan kemudian Roger Penrose. Mereka berargumen bahwa jika akal manusia dapat secara konsisten mengenali kebenaran yang tidak tersedia bagi sistem komputasi formal mana pun, maka akal itu sendiri tidak mungkin hanyalah sistem semacam itu. Kecerdasan manusia pasti melibatkan sesuatu yang secara fundamental berbeda dari komputasi algoritmik.

Apakah Lucas dan Penrose menafsirkan Gödel dengan benar masih menjadi perdebatan. Para kritikus mengamati bahwa akal manusia tidaklah infalibel. Matematikawan bisa membuat kesalahan. Manusia tidak konsisten. Manusia tidak selalu bisa menentukan sistem formal mana yang paling tepat memodelkan penalaran mereka sendiri. Karena itu, argumen Gödel mungkin hanya menghasilkan lebih sedikit daripada yang diduga para pendukungnya. Kendati demikian, Gödel sendiri tampak simpatik pada intuisi yang mendasarinya. Ia berulang kali menyatakan 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 terletak secara ketat di antara bilangan bulat dan bilangan real. Upaya puluhan tahun gagal menjawab pertanyaan ini. Akhirnya Gödel membuktikan bahwa hipotesis kontinum tidak dapat disangkal dari aksioma-aksioma standar teori himpunan jika aksioma-aksioma itu konsisten. Bertahun-tahun kemudian Paul Cohen membuktikan hasil komplementernya: hipotesis itu juga tidak dapat dibuktikan. Karena itu, hipotesis kontinum independen dari aksioma yang diterima. Bagi banyak matematikawan, hal ini menunjukkan bahwa pertanyaan itu tidak memiliki jawaban pasti dalam matematika yang ada. Gödel tidak setuju. Karena ia menganggap realitas matematika bersifat objektif, ia percaya hipotesis kontinum pasti memiliki nilai kebenaran yang definit, terlepas dari apakah aksioma saat ini mengungkapkannya. Ia memperkirakan bahwa intuisi matematis di masa depan akan menemukan aksioma-aksioma baru yang terbukti dengan sendirinya akan menyelesaikan pertanyaan itu. Seruan pada intuisi matematis ini mencolok. Gödel tidak membayangkan matematikawan secara mekanis menghasilkan manipulasi simbol yang semakin banyak. Sebaliknya, ia percaya bahwa akal bisa memperoleh wawasan langsung yang lebih dalam tentang realitas abstrak itu sendiri.

Di sini mulai terlihat konsepsi kesadaran yang tidak biasa. Pikiran tidak sekadar menjalankan aturan. Pikiran melihat kebenaran yang ada secara independen dari aturan-aturan itu. Konsepsi ini memiliki kemiripan yang jelas dengan dualisme filosofis. Gödel tidak pernah mengembangkan teori sistematis tentang dualisme pikiran-tubuh yang setara dengan René Descartes atau Karl Popper. Namun tulisan-tulisannya secara konsisten menolak materialisme reduksionis. Ia menganggap objek matematis dan aktivitas mental berpartisipasi dalam tatanan rasional objektif yang tidak dapat diakses oleh deskripsi fisik murni. Ia mengungkapkan kekaguman pada metafisika Leibniz dan kerap mengkritik kecenderungan sains abad ke-20 yang semakin mereduksi realitas menjadi sekadar interaksi material. Ini tidak otomatis berarti ia percaya pada jiwa yang abadi. Dualisme hadir dalam berbagai bentuk. Namun Gödel jelas menolak gagasan bahwa kesadaran dapat dijelaskan secara tuntas oleh neurofisiologi atau komputasi formal.

Jika interpretasi 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 korelasi dalam jumlah yang sangat besar dari data pelatihan.