Bir makinenin karşısına oturduğunuzu düşünün. Makine bütün matematik teoremlerini, kanıt yöntemlerini ve mantık kurallarını biliyor. Ona dilediğiniz soruyu soruyorsunuz; dişlileri dönüyor, sembolleri dans ediyor ve cevaplar ekrana dökülüyor. Peki bu makine, matematiğin tamamını kavrayabilir mi? Kurt Gödel’in 1931’de yayımladığı eksiklik teoremleri, bu hayalin ortasına küçük ama patlayıcı bir cümle bıraktı: Yeterince güçlü ve tutarlı hiçbir biçimsel sistem, kendi içindeki bütün matematiksel doğruları kanıtlayamaz.
Gödel’in Mantık Labirenti
Gödel’in yaptığı şey, kabaca, bir matematik sistemine kendisi hakkında konuşmayı öğretmekti. Ardından sistem içinde şu anlama gelen bir önerme kurdu: “Bu önerme bu sistemde kanıtlanamaz.” Sistem bu önermeyi kanıtlarsa çelişkiye düşer; kanıtlayamazsa, önerme doğru olduğu hâlde sistem tarafından kanıtlanamayan bir gerçek olarak kalır. Böylece matematiksel hakikat ile mekanik kanıtlanabilirlik arasındaki mesafe görünür olur.
Buradaki “mekanik” sözcüğü önemlidir. Bir biçimsel sistem, önceden belirlenmiş kuralları izler. Ne kadar hızlı, karmaşık veya etkileyici olursa olsun, yaptığı işlem sembolleri kurallara göre dönüştürmektir. Gödel bize matematiğin değersiz ya da güvenilmez olduğunu değil, hiçbir tekil kural kutusunun matematiğin bütün ufkunu kapatamayacağını söyler. Her kutunun dışında, onun göremediği yeni bir doğru belirir.
Zihin Kutunun Dışına Çıkabilir mi?
J. R. Lucas ve daha sonra Roger Penrose, buradan cesur bir sonuç çıkardı: İnsan zihni herhangi bir algoritmik sistemle özdeş olamaz. Çünkü bir makinenin işleyişini oluşturan biçimsel sistemi bilirsek, onun Gödel önermesini kurabilir ve bu önermenin doğru olduğunu görebiliriz. Makine ise kendi kuralları içinde onu kanıtlayamaz. Öyleyse insan, makinenin erişemediği bir hakikati kavramaktadır.
Argüman baş döndürücüdür; fakat kılıcı iki tarafı da keser. Bir Gödel önermesinin doğru olduğunu söyleyebilmek için ilgili sistemin tutarlı olduğunu varsaymamız gerekir. İnsanlar ise kendi tutarlılıklarını kusursuz biçimde kanıtlayan varlıklar değildir. Yanılır, çelişir, unuturlar; hatta aynı mantık sorusuna kahveden önce ve sonra farklı cevaplar verebilirler. İnsan zihninin belirli bir makineyi aşabilmesi, hiçbir makine olamayacağını tek başına göstermez. Belki zihin sabit bir biçimsel sistem değil, kendini değiştiren, yeni aksiyomlar ekleyen dinamik bir mekanizmadır.
Fakat kaçış burada da tamamlanmaz. Kendini güncelleyen bir algoritma da daha geniş bir algoritmik tanımla temsil edilebiliyorsa, Gödel’in gölgesi yeniden belirir. Sistem büyür; sınır da onunla birlikte ilerler. Bu, bilincin zorunlu olarak doğaüstü olduğunu kanıtlamaz. Yalnızca “yeterince büyük bir bilgisayar her şeyi bilir” fikrinin felsefi açıdan çocukça olduğunu gösterir.
Bilincin Zaferi mi, Sınırların Zaferi mi?
Gödel teoremleri, zihnin makine olmadığını kesin biçimde kanıtlayan bilimsel bir deney değildir. Teoremler biçimsel sistemler hakkındadır; biyolojik beyinler veya öznel deneyim hakkında doğrudan hüküm vermez. Üstelik modern bilgisayarlar tek bir teorem listesinden ibaret değildir: öğrenir, olasılık kullanır, çevreyle etkileşir ve kendi hatalarını düzeltebilirler. Yine de bunların her biri hesaplama sınırları içindeyse, “anlamak” ile “işlemek” arasındaki uçurum kapanmış sayılmaz.
Asıl ders daha inceliklidir. Bilinç, yalnızca doğru cevap üretmek değil; cevabın anlamını yaşamak, kuşku duymak ve kendi düşünce çerçevesini sorgulamaktır. Bir sistemin sınırını görmek, o sınırın bütünüyle dışında olmak demek değildir; ama zihnin en tuhaf gücü, kendi kafesine dönüp bakabilmesidir. Gödel bize makinenin yenilgisini değil, kesinliğin yenilgisini gösterir. Belki zihin makinedir, belki değildir. Fakat eğer bir makineyse bile, basitçe hesap yapan bir saat değil; kendi eksikliğini sezerek yeni ufuklar kuran, aynaya baktığında aynayı da sorgulayan bir makinedir.