Alan Turing – Mantığın Makineye Dönüşmesi Mantık Serisi – Bölüm 6

Alan Turing
Dönem: 1912 – 1954
Alan: Matematiksel Mantık / Hesaplanabilirlik / Bilgisayar Bilimi

1. Gödel’den Sonra Sorulan Yeni Soru

Kurt Gödel, matematiğin sınırlarını göstermişti:
Her doğru ifade, sistem içinde ispatlanamazdı.

Bu sonuçtan sonra mantık dünyasında yeni bir soru doğdu:

Hangi problemler, ilke olarak çözülebilir?

Bu soruyu matematiksel kesinlikle ele alan kişi Alan Turing oldu.
Turing, mantığı artık yalnızca sembollerle değil, makinelerle düşünmeye başladı.

2. Turing Makinesi: Soyut Ama Devrimsel

1936 yılında Turing, “On Computable Numbers” adlı makalesini yayımladı.
Bu çalışmada bugün Turing Makinesi dediğimiz soyut modeli tanımladı.

Turing Makinesi:

• Sonsuz uzunlukta bir bant,
• Bu bant üzerinde semboller,
• Basit ama kesin kurallarla çalışan bir okuma–yazma kafasından oluşur.

Bu model, son derece basit görünmesine rağmen hesaplanabilir olan her şeyi tanımlayabilecek güçtedir.
Modern bilgisayarların teorik temelini oluşturan şey tam olarak budur.

3. Hesaplanabilirlik Kavramı

Turing’in en önemli katkılarından biri, “algoritma” kavramını matematiksel olarak tanımlamasıdır.
Artık bir problem için şu soru sorulabilirdi:

“Bu problem, sonlu adımlarla çözülebilir mi?”

Eğer cevap evetse, problem hesaplanabilirdir.
Eğer hayırsa, hiçbir bilgisayar – ne kadar güçlü olursa olsun – bu problemi çözemez.

Bu sonuç, Gödel’in eksiklik teoremleriyle derin bir paralellik taşır.
Biri mantığın, diğeri hesaplamanın sınırlarını gösterir.

4. Zihin ve Makine

Turing’in ilgisi yalnızca matematikle sınırlı değildi.
O, insan zihninin de bir tür “hesaplama sistemi” olup olmadığını sorguladı.

Bu düşünce, ünlü Turing Testi’ni doğurdu:
Bir makine, insanla ayırt edilemeyecek şekilde iletişim kurabiliyorsa, “düşünüyor” sayılabilir mi?

Bu soru, bugün yapay zekâ tartışmalarının merkezinde yer alır.

5. Günümüze Etkisi

Bugün:

• Bilgisayarlar,
• Programlama dilleri,
• Yapay zekâ algoritmaları,
• Veri işleme sistemleri

hepsi Turing’in kuramsal çerçevesi üzerine kuruludur.
Boole mantığı donanımı, Frege sembolleri dili, Gödel sınırları;
Turing ise tüm bunları çalışan bir modele dönüştürmüştür.

6. Yorum

Turing’in çalışmaları, öğrencilere şunu öğretir:
Bir problemi çözmeden önce, çözülebilir olup olmadığını sorgulamak gerekir.

Bu yaklaşım, yalnızca matematikte değil;
bilgisayar biliminde, mühendislikte ve hatta günlük hayatta bile
doğru problem seçmenin ne kadar kritik olduğunu gösterir.

Alıntı

“Bir makinenin düşünebilip düşünemediği sorusu, doğru sorunun kendisi değildir.”
— Alan Turing