Alan Turing (1912–1954), hesaplanabilirlik kuramına ve bilgisayar biliminin matematiksel temellerine katkılarıyla tanınan İngiliz matematikçidir. Cambridge’de öğrenim gördü; daha sonra Princeton’da Alonzo Church ile çalıştı. Araştırmaları, belirli kurallarla yürütülen bir hesabın neleri gerçekleştirebileceği sorusuna odaklandı.[1]
HESAPLAMA MODELİ
Turing, hesaplanabilir sayılar üzerine çalışmasında bir şerit üzerindeki simgeleri okuyan ve değiştiren soyut bir makine tanımladı. Sonlu bir kurallar kümesiyle çalışan bu model, fiziksel bir aygıtın teknik çiziminden çok hesaplama sürecinin matematiksel açıklamasıdır. Evrensel makine düşüncesi, farklı işlem dizilerinin aynı genel düzenekle yürütülebilmesini ifade eder.[1]
ARAŞTIRMA ALANLARI
Çalışmaları, her matematiksel sorunun tek bir genel karar yöntemiyle çözülemeyeceğini ortaya koyan araştırmaların önemli bir parçası oldu. Olasılık kuramında da çalıştı; merkezî limit teoremini bağımsız olarak elde etti. İkinci Dünya Savaşı sırasında Bletchley Park’ta şifre çözme çalışmalarına katıldı. Bu uygulamalı faaliyet, soyut hesaplama araştırmalarıyla birlikte bilimsel yaşamının belirleyici yönlerinden biridir.[1]