Turing ve Hesaplanabilirlik: Bilgisayar Daha Doğmadan Tanımlanması

Bilgisayardan Önceki Bilgisayar Fikri

$1936$. Henüz ortada tek bir elektronik bilgisayar yok. Ama $24$ yaşındaki bir İngiliz matematikçi, Alan Turing, çağını çok aşan bir soru soruyordu: “Bir makine, hangi problemleri çözebilir? Ve daha da önemlisi — hangilerini asla çözemez?”

Bu soruyu yanıtlamak için, gerçek bir makineye ihtiyacı yoktu. Bunun yerine, kafasında hayalî bir makine tasarladı.

Turing Makinesi

Turing’in hayal ettiği makine son derece basitti: sonsuz uzunlukta bir bant (üzerine sembol yazılıp silinebilen), bant üzerinde gidip gelen bir okuma-yazma kafası ve basit kurallar. Bu makine, her adımda bandı okur, bir kurala göre sembol yazar/siler ve sağa veya sola hareket eder. Hepsi bu.

Bu kadar basit bir aygıt ne işe yarar? İşte Turing’in çarpıcı iddiası: bu basit makine, hesaplanabilir olan her şeyi hesaplayabilir. Bir insanın kâğıt kalemle, kurallara uyarak yapabileceği her hesap, bu makineyle de yapılabilir. Yani “hesaplama” denen şeyin özünü, bu soyut makineyle yakaladı. Bugün buna Turing makinesi denir ve modern bilgisayarların kuramsal temelidir.

Sınırı da Buldu: Durma Problemi

Turing sadece “neyin hesaplanabileceğini” değil, neyin hesaplanamayacağını da gösterdi. En ünlü sonucu durma problemidir: Bir programın, verilen bir girdiyle sonunda duracağını mı yoksa sonsuza kadar çalışacağını mı önceden, her durumda kesin olarak söyleyebilecek genel bir program yazılamaz.

Yani bilgisayarların gücü sınırsız değildir; hiçbir bilgisayarın asla çözemeyeceği, mantıksal olarak imkânsız problemler vardır. Bu, matematiğin ve bilgisayar biliminin derin bir gerçeğidir.

Çağı Başlatan Adam

Turing’in fikirleri teoriyle sınırlı kalmadı. II. Dünya Savaşı’nda, Almanların Enigma şifreleme makinesini kırmaya yardım eden ekibin kilit ismi oldu; bu çalışmanın savaşı kısalttığı ve sayısız hayat kurtardığı kabul edilir. Savaş sonrası ise gerçek bilgisayarların ve yapay zekânın temellerini düşündü. Meşhur “Turing testi” — bir makinenin “düşünüp düşünmediğini” nasıl anlarız sorusu — da ona aittir.

Turing’in hayatı trajik bir şekilde son buldu; döneminin adaletsiz yasaları yüzünden ağır haksızlıklara uğradı. Ama bıraktığı miras, bugün kullandığımız her cihazın temelinde yaşıyor. Onurlandırılması ise yıllar sonra geldi.

Alan Turing, daha hiçbir bilgisayar yokken bilgisayarın ne olduğunu, ne yapabileceğini ve neyi asla yapamayacağını tanımladı. Cebinizdeki telefon, masanızdaki bilgisayar — hepsi, $1936$’da bir matematikçinin kafasında tasarladığı o basit hayalî makinenin torunlarıdır.