Turing tamlığı, bilgisayar biliminin kulağa büyü gibi gelen ama aslında son derece disiplinli bir kavramıdır: Bir sistem, yeterli zaman ve bellek verildiğinde, başka herhangi bir Turing tam sistemin hesaplayabildiği her şeyi hesaplayabiliyorsa Turing tamdır. Basitçe söyleyelim: Eğer bir dilde koşul kurabiliyor, tekrar yapabiliyor ve belleği yönetebiliyorsanız, elinizde küçük bir evren simülatörü olabilir. Fakat burada ilk tuzak başlar: Her şeyi hesaplayabilmek, her şeyi kolayca, hızlıca veya anlamlı biçimde ifade edebilmek demek değildir.
Bir programlama dili düşünün. Python, JavaScript, C, hatta teorik olarak bazı çok sade oyuncak diller bile Turing tamdır. Bu, onların aynı hesaplama gücüne sahip olduğu anlamına gelir. Ama kimse ciddi bir işletim sistemi çekirdeğini beyaz tahtada tasarlanmış ezoterik bir dille yazmak istemez. Çünkü ifade gücü ile ifade konforu aynı şey değildir. Bir dilin yapabilecekleri kadar, nasıl yaptırdığı da önemlidir. Turing tamlığı, motorun teorik beygir gücüdür; direksiyonun hissini, frenlerin güvenini, yolculuğun şiirini anlatmaz.
Bu noktada dil meselesi devreye girer. İnsan dili de bir tür sembolik makinedir. Kelimelerle dünya kurarız, kavramlarla acıyı evcilleştirir, metaforlarla bilinmeyene köprü atarız. Ama insan dili Turing tam mıdır diye sormak, hem komik hem de kışkırtıcıdır. Çünkü doğal dil, biçimsel bir programlama dili gibi kesin değildir; muğlaktır, bağlama yaslanır, susuşlarla çalışır. İnsan bazen bir cümleyle algoritma yazar, bazen tek bakışla bin sayfalık anlam aktarır. Ne var ki muğlaklık, hesaplama açısından güç değil, çoğu zaman belirsizliktir.
Her şeyi ifade etmek mümkün mü?
Turing tamlığı bize şu sert dersi verir: Bir sistem yeterince güçlü hale geldiğinde, kendi içinde kaçınılmaz karanlık bölgeler üretir. Durma problemi bunun klasik örneğidir. Genel olarak bir programın sonsuza dek çalışıp çalışmayacağını her durumda belirleyen kusursuz bir algoritma yoktur. Yani hesaplama evreni, kendi kehanetini tam yapamaz. Bu, dil için de çarpıcı bir benzetmedir: Bir dil ne kadar zenginleşirse, kendi sınırlarını, paradokslarını ve çözülemez düğümlerini de beraberinde getirir.
Buradan önemli bir ayrım çıkar: Turing tamlığı sınırsızlık değil, belirli bir sınır türünün eşiğidir. Sistem artık hesaplanabilir olanın tamamına erişebilir; ama hesaplanamaz olana değil. Sonsuz bellek ve sınırsız zaman varsayımı da gerçeğin değil, teorinin lüksüdür. Gerçek bilgisayarlar ısınır, çöker, elektrik faturası çıkarır. Gerçek insanlar yorulur, unutur, yanlış anlar, bazen de kahve bitince felsefeyi bırakıp sandviç arar.
Programlama dilleri açısından bakarsak, Turing tamlığı bir dilin olgunluğunu tek başına ölçmez. SQL bazı biçimleriyle sınırlı hesaplama modelleri sunar; düzenli ifadeler bilinçli olarak Turing tam değildir; HTML ise kendi başına hesaplama dili olmaktan çok yapı işaretleme aracıdır. İlginç olan şudur: Bazen sınırlılık bir erdemdir. Her şeyi yapabilen sistemler, her şeyi bozabilen sistemlerdir. Daha kısıtlı diller güvenlik, doğrulanabilirlik ve sadelik sağlar. Bir bıçağın keskinliği kadar, nerede durduğu da önemlidir.
Dil felsefesiyle temas ettiğimizde soru daha da derinleşir: Eğer bir sistem her hesaplanabilir şeyi ifade edebiliyorsa, anlamı da yakalamış olur mu? Hayır. Hesaplama ile anlam arasında ince ama uçurum gibi bir fark vardır. Bir makine şiir üretebilir, ama şiirin içinden yaralanarak geçer mi? Bir dil aşkı tanımlayabilir, ama aşkın zamandaki ağırlığını taşıyabilir mi? Bu sorular romantik görünse de teknik bir noktaya temas eder: Sembol işleme, bağlam ve deneyimle birleşmediğinde yalnızca biçimsel bir danstır.
Sonuçta Turing tamlığı, düşünceye mütevazı ama güçlü bir pusula verir. Bir sistemin neleri yapabileceğini anlamamızı sağlar; fakat neleri iyi, güvenli, anlaşılır veya anlamlı yapabileceğini söylemez. Her şeyi ifade edebilme iddiası, çoğu zaman bir imparatorluk hayalidir. Gerçek bilgelik ise şunu bilmektir: Güç, yalnızca olanakların genişliği değil, sınırların haritasını çıkarma cesaretidir. Dil de yazılım da burada olgunlaşır; her şeyi söylemeye çalışırken değil, neyin söylenemediğini fark ettiğinde.
