Alan Mathison Turing (1912 - 1954), birçok kişi tarafından bilgisayar biliminin babası olarak kabul edilen İngiliz matematikçi, mantıkçı ve kriptograftı. İkinci Dünya Savaşı sırasında Alman Nazi Enigma kodunu kırmaya yaptığı katkılar, müttefiklerin savaş çabaları için çok önemli görülüyordu. Alan Turing, Turing makinesi fikri veya Church-Turing tezi gibi günümüzde bilgisayar bilimi ve hesaplanabilirlik teorisinin temelini oluşturan birkaç fikir formüle etti.
Alan Turing'in Kariyeri ve Başarıları
Turing makinesi, okuma/yazma yeteneğine sahip mekanik bir birime bağlı sonsuz uzunlukta kaydedilebilir bant olarak düşünülebilecek basit bir matematiksel yapıdır. Ünite yalnızca üç eylem gerçekleştirebilir. Alonzo Church ile birlikte formüle edilen Turing'in Church-Turing tezi, böyle bir Turing makinesinin yeterli zaman ve hafıza verildiğinde herhangi bir algoritmayı teorik olarak hesaplayabileceğini belirtir. Ayrıca, herhangi bir pratik hesaplama modelinin bir tür Turing makinesi olması gerektiğini belirtir. Daha geniş anlamda bu, insan beyninin Turing makinesi olarak tanımlanabileceği anlamına gelir. Çünkü bilgiyi tek şekilde işler.
Church-Turing tezi ayrıca herhangi bir algoritmanın Turing makinesi olarak nitelendirilen herhangi bir şey üzerinde çalıştırılabileceğini iddia ediyor. Turing, kabaca aşağıdaki gibi bir algoritmanın orijinal tanımını formüle etmeye yardımcı olmuştur. Bunlar;
- Bir algoritma, yürütülecek sonlu bir kesin talimatlar kümesinden oluşur.
- Sonlu sayıda adımda hesaplanabilir olmalıdır (bir programın sınırlı sayıda adımda yürütülüp yürütülemeyeceğini belirleyememesine “durma problemi” denir).
- Prensip olarak sadece kalem, kağıt ve sonsuz zamanla hesaplanabilir olmalıdır.
- Yürütülmesi için hiçbir arka plan bilgisi gerektirmez, yani kendi kendine yeten hesaplamadır.
Alan Turing, 1930'larda Cambridge ve Princeton'da eğitim gördü. 1936'da Turing, 1931'de Kurt Goedel tarafından sembolik mantığın evrensel olduğu şeklindeki açık uçlu bir soruyu yanıtlayan, karar problemine uygulama içeren, oldukça etkili bir makale olan On Computable Numbers yayınladı. 1938'de Alan Turing, Princeton'da Alonzo Kilisesi'nden doktorasını aldı.
Alan Turing, savaş sonrası yıllarını ilk yeniden programlanabilir dijital bilgisayarların bazılarında çalışarak geçirdi ve 1946'da ilk tasarımlardan birini üretti. Ayrıca, yapay zeka sorununu ele aldı ve bir makinenin bilinçli ve zeki olarak adlandırılmayı hak edip etmediğini belirlemek için bir test olan Turing testini formüle etti.
Alan Turing ve Kişisel Hayatı
Alan Turing 1954'te siyanür bulaşmış bir elmadan öldü. Eşcinsellikten yargılandığı ve hükümet tarafından hormon almaya zorlandığı için ölümünün intihar olduğu söyleniyor.
Yorum Gönder