Ünlü Matematikçiler
Alan Turing portresi
Matematikçi & Bilgisayar Biliminin Babası
Alan
Turing

Bilgisayarı icat etmeden önce bilgisayarı tanımladı. Enigma'yı kırdı, savaşı kısalttı, yapay zekânın temelini attı — sonra devleti onu zehirledi.

δ: Q × Γ → Q × Γ × {L, R} Turing Makinesi
"Evrensel hesap modeli"
"Bir makine düşünebilir mi?" sorusunu soran ve cevaplamaya çalışan ilk kişi. — Alan Turing, 1950
1912 Londra
1936 Turing Makinesi
1939 Bletchley Park
1950 Turing Testi
1954 Wilmslow
1936
Turing makinesini tanımlayan makalenin yılı
2+
Yıl — Enigma'nın kırılmasıyla kısaldığı tahmin edilen savaş süresi
41
Trajik ölümündeki yaşı
2013
İngiltere'nin resmi af yılı
Alan Turing gençlik yılları
01 — Erken Yaşam
Londra'dan Cambridge'e: Farklı Bir Zihin

Alan Mathison Turing, 23 Haziran 1912'de Londra'da doğdu. Babası Hindistan'da memurdu; Turing ve ağabeyi yıllarca İngiltere'de akrabalarının yanında kaldı. Küçük yaştan itibaren sıra dışı bir zekâya sahip olduğu belliydi — okul notları parlak değildi, çünkü kuralları değil fikirleri seviyordu.

1931'de Cambridge King's College'a girdi. Burada istatistik ve olasılık üzerine çalışırken matematiksel mantığa olan ilgisi derinleşti. 1935'te Londra Matematik Derneği'nin konuşmacısından "karar verilemez problemler" üzerine bir şeyler duydu — ve bu, her şeyi değiştirdi. 1936'da Princeton'a giderek John von Neumann'ın yanında doktorasını tamamladı.

erken yaşam
Turing makinesi ve hesaplanabilirlik
02 — Turing Makinesi
Bilgisayarı İcat Etmeden Önce Tanımlamak

1936'da yayımladığı On Computable Numbers adlı makale, bilgisayar biliminin kutsal kitabıdır. Turing burada sonsuz bir bant üzerinde semboller okuyup yazabilen, durum geçişleriyle çalışan soyut bir hesap makinesi tanımladı. Bu model, bugünkü her bilgisayarın temel soyutlamasıdır.

Durma Problemi: Gödel'in yönteminden ilham alarak, bir Turing makinesinin verilen bir girdi için sonlanıp sonlanmayacağını önceden söyleyecek genel bir algoritmanın var olamayacağını kanıtladı. Bu, bilgisayarların asla çözemeyeceği problemlerin varlığını matematiksel olarak garanti eder.

Q Sonlu durum kümesi — makinenin hafızası
Γ Bant alfabesi — okunup yazılan semboller
δ Geçiş fonksiyonu — hesabın motoru
HALT Durma problemi — çözülemez ilk problem
turing makinesi
Bletchley Park ve Enigma
03 — Enigma ve Savaş
Bletchley Park: Tarihin En Önemli Şifre Kırma Operasyonu

İkinci Dünya Savaşı'nda Turing, İngiliz istihbarat merkezi Bletchley Park'a alındı. Almanların kullandığı Enigma şifre makinesinin her gün değişen anahtarları, 10²³'ten fazla kombinasyon üretiyordu — elle kırılması imkânsızdı.

Turing, Bombe adını verdiği elektromekanik cihazı tasarladı. Bu makine, Almanların mesajlarındaki olası dil kalıplarını kullanarak anahtar uzayını dramatik biçimde daralttı. Günde yüzlerce Enigma mesajı çözülebilir hâle geldi.

Tarihçiler, Enigma'nın kırılmasının savaşı en az iki yıl kısalttığını ve milyonlarca hayat kurtardığını tahmin etmektedir. Ama Turing'in katkısı onlarca yıl gizli tutuldu; dünya ancak 1970'lerde bu gerçeği öğrendi.

  • Denizaltı Enigma'sının kırılması — Atlantik Savaşı'nın dönüm noktası
  • Hut 8 biriminin başı olarak Alman Donanması şifrelerini çözdü
  • İstatistiksel Banburismus yöntemini geliştirdi
bletchley park
Turing testi ve trajik son
04 — Yapay Zekâ ve Trajik Son
Düşünen Makine Sorusu ve Devletin İhaneti

1950'de Computing Machinery and Intelligence makalesinde "Bir makine düşünebilir mi?" sorusunu sordu ve bunu ölçmek için Turing Testi'ni önerdi: Bir insan, yazılı konuşmayla hem bir insanla hem bir makineyle etkileşirse ve makineyi insan sanıyorsa, makine "düşünen" kabul edilir. Bu fikir, yapay zekâ araştırmalarının temeli oldu.

1952'de İngiliz hükümeti Turing'i eşcinsellik suçlamasıyla yargıladı. Hapishane yerine "kimyasal kastrasyon" tedavisini seçmek zorunda bırakıldı. 7 Haziran 1954'te elma yiyerek ölü bulundu. Resmi sonuç intihardı; bazı araştırmacılar kazayla zehirlenme ihtimalini hâlâ tartışıyor.

2013'te Kraliçe II. Elizabeth tarafından resmi olarak affedildi. 2021'den itibaren yüzü İngiliz 50 sterlin banknotunda yer alıyor.

  • Morfogenez matematiksel modeli — biyolojik desen oluşumu
  • ACM Turing Ödülü — bilgisayar biliminin Nobel'i
  • Church-Turing tezi — hesaplamanın evrensel tanımı
  • Modern kriptografinin ve siber güvenliğin temeli
miras