Bazen hiç kimsenin hiçbir şey hayal edemediği insanlar, hiç kimsenin hayal edemediği şeyleri yaparlar.
Alan Mathison Turing, İngiliz matematikçi, bilgisayar bilimci, mantıkçı, kriptoanalist, filozof ve teorik biyologdu. Turing, teorik bilgisayar biliminin gelişiminde oldukça etkili olmuş, algoritma ve hesaplama kavramlarını Turing makinesiyle biçimselleştirmiştir; bu makine genel amaçlı bir bilgisayarın modeli olarak kabul edilebilir. Turing, yaygın olarak teorik bilgisayar bilimi ve yapay zekânın babası olarak kabul edilir. Bu başarılara rağmen, o zamanın homofobisinin yaygınlığı ve çalışmalarının çoğunun Resmi Sırlar Yasası kapsamında olması nedeniyle, kendi ülkesinde yaşamı boyunca tam olarak tanınmamıştır.
İkinci Dünya Savaşı sırasında Turing, İngiltere'nin şifre çözme merkezi olan Bletchley Park'ta Hükümet Kod ve Şifre Okulu GC&CS'de çalıştı ve Ultra istihbaratı üretmiştir. Bir süre Alman deniz kriptanalizinden sorumlu olan Hut 8 bölümüne öncülük etmiştir. Burada Alman şifrelerini kırmayı hızlandırmak için, Enigma makinesinin ayarlarını bulabilen elektromanyetik bir makine olan savaş öncesi Polonya bombe yönteminin iyileştirilmeleri dahil olmak üzere bir dizi teknik tasarladı.
Turing, Müttefikler'in Atlantik Muharebesi dahil olmak üzere birçok önemli çatışmada Nazileri yenmesini sağlayan engellenen kodlanmış mesajları çözmede çok önemli bir rol oynadı ve böylece savaşı kazanmaya yardımcı oldu. Karşı olgusal tarih problemleri nedeniyle, Ultra istihbaratının savaşa tam olarak nasıl bir etki yaptığını tahmin etmek zordur, ancak en yüksek tahminlerde bu çalışmanın Avrupa'daki savaşı iki yıldan fazla kısalttığı ve 14 milyondan fazla hayat kurtardığı tahmin edilmiştir.
Savaştan sonra Turing, Otomatik Hesaplama Motorunu tasarladığı Ulusal Fizik Laboratuvarında çalıştı. Otomatik Hesaplama Motoru, depolanmış program bilgisayarının ilk tasarımlarından biriydi. 1948'de Turing, Victoria Üniversitesi Manchester'da Max Newman'ın Hesaplama Makinesi Laboratuvarına katıldı; burada Manchester bilgisayarlarının geliştirilmesine yardımcı oldu ve matematiksel biiyolojiye ilgi duymaya başladı. Morfolojenezisin kimyasal temeli üzerine bir makale yazdı ve ilk olarak 1960'larda gözlemlenen Belousov–Zhabotinsky reaksiyonu gibi salınımlı kimyasal reaksiyonları tahmin etti.
Turing, 1952'de eşcinsel eylemler nedeniyle yargılanmıştır; 1885'teki Labouchere Değişikliği, "ağır edepsizlik"in İngiltere'de suç teşkil ettiğini zorunlu kılmıştı. Hapisten alternatif olarak DES ile kimyasal hadım edilme tedavisini kabul etti. Turing, 1954'te, 42. doğum gününden 16 gün önce, siyanür zehirlenmesinden öldü. Bir soruşturma, ölümünü intihar olarak belirlemişse de, bilinen kanıtların da yanlışlıkla zehirlenmeyle tutarlı olduğu belirtilmiştir.
2009'da bir İnternet kampanyasının ardından, İngiliz Başbakan Gordon Brown, "kendisine karşı gösterilen korkunç muamele" için İngiliz hükümeti adına resmi bir kamu özrü yayınladı. Kraliçe Elizabeth II, 2013'te Turing'e ölümünden sonra af tanıdı. "Alan Turing Yasası", eşcinsel eylemler yapan erkekleri cezalandıran tarihsel mevzuatın kapsamında uyarılan veya mahkûm edilen erkekleri geriye dönük olarak affeden 2017 İngiltere yasası için artık gayri resmi bir terimdir.
Erken yaşam ve eğitim
Aile
Turing, Londra'nın Maida Vale bölgesinde doğdu; babasını Julius Mathison Turing 1873–1947, Hindistan'daki Hindistan Medeniyeti Hizmetinin ICS Chatrapur'daki görevinden izinde olduğu sırada, o zamanlar Madras Cumhuriyeti'nde ve şu anda Hindistan'ın Odisha eyaletinde yer almaktadır. Turing'in babası, İskoçya tüccar ailesinden gelen Rev. John Robert Turing'in oğluydu; bu aile Hollanda'da yerleşmiş ve bir baroneti içermişti. Turing'in annesi, Julius'un eşi, Ethel Sara Turing doğum adı Stoney 1881–1976 idi; Edward Waller Stoney'in kızıydı; o da Madras Demiryollarının başmühendisiydi. Stoney'ler, hem County Tipperary'den hem de County Longford'dan gelen Protestan Anglo-İrlanda gentry ailesiydi; Ethel'in kendisi ise çocukluğunun çoğunu County Clare'de geçirmişti.
Julius'un ICS ile çalışması, ailesini Britanya Hindistan'ına getirdi; burada dedesi Bengal Ordusu'nda general olmuştu. Ancak, Julius ve Ethel, çocuklarının İngiltere'de yetiştirme isteklerini bildikleri için, Londra'nın Maida Vale bölgesine taşındılar; Alan Turing burada 23 Haziran 1912'de doğdu; bu durum, doğum evinin dış tarafında mavi bir plakayla kaydedilmiştir; daha sonrası Colonnade Hotel oldu. Turing'in, babasının Sir John Dermot Turing'in babası olan, 12. Baronet Turing baronetleri olan John adında bir büyük kardeşi vardı.
Turing'in babasının memuriyet komisyonu hala aktifti ve Turing'in çocukluk yıllarında ebeveynleri İngiltere'deki Hastings ve Hindistan arasında seyahat etti; iki oğullarını emekli bir Ordu çiftinin yanında bıraktılar. Hastings'te, Turing, Upper Maze Hill'deki Baston Lodge'da kaldı; St Leonards-on-Sea mavi bir plakayla işaretlendi. Plaka, 23 Haziran 2012'de, Turing'in doğumunun yüzüncü yıl dönümünde açıklandı.
Yaşamının çok erken döneminde Turing, daha sonra belirgin bir şekilde gösterecekti olduğu dehanın işaretlerini göstermiştir. Anne ve babasıonun, 1927'de Guildford'da bir ev satın aldıkları; Turing okul tatillerinde burada yaşadı. Konum, mavi bir plakayla da işaretlenmiştir.
Okul
Turing'in ebeveynleri, onu St Michael's'e, St Leonards-on-Sea'nin 20 Charles Road'undaki gündüz okulu, altı yaşında kaydettirdiler. Müdire, onun yeteneklerini erken tanımış; birçok sonraki öğretmeni de öyle.
Ocak 1922 ile 1926 arasında Turing, Hazelhurst Hazırlık Okulu'nda eğitim gördü; bu Sussex'in Frant köyündeki, şimdi East Sussex'te bulunan bağımsız bir okuldu. 1926'de, 13 yaşındayken, Sherborne pazar kasabasındaki Dorset'deki bağımsız bir yatılı okulu olan Sherborne Okulu'na gitti; Westcott House'ta kaldı. Terimin ilk günü, 1926 Genel Grevinin İngiltere'de gerçekleşmesi ile çakıştı; ancak Turing çok kararındı attend etmeye; Southampton'dan Sherborne'ye 60 mil 97 km bisikletini başıboş sürüp; bir hanında gecelemek için kalmıştı.
Sadece kısa mesafe ilerisini görebiliriz, ancak orada yapılması gereken çok şey görebiliriz.
Turing'in matematik ve bilime karşı doğal eğilimi, Sherborne'deki bazı öğretmenlerin saygısını kazanmamıştır; bu öğretmenlerin eğitim tanımı klasiklere daha çok vurgu yapmıştır. Müdürü anne ve babasına şöyle yazıştı: "Umarım iki sandalye arasında düşmez. Devlet okulunda kalacaksa, eğitimli olmayı amaçlamış. Yalnızca bir Bilim Uzmanı olacaksa, devlet okulunda vaktini harcıyor demektir." Buna rağmen, Turing, sevdiği çalışmalarda takdire değer yeteneklerini göstermeye devam etti; 1927'de ilköğretim hesabını dahi incelememiş olmasına rağmen ileri problemleri çözmüştür. 1928'de, 16 yaşında, Turing, Albert Einstein'ın çalışmasıyla karşılaştı; sadece onu anlamakla kalmamış; ancak bu konuda açık olmayan bir metinden, Newton'un hareket yasalarına ilişkin Einstein'ın sorgusunu çıkarmayı başarmış olması da mümkündür.
Christopher Morcom
Sherborne'de, Turing, arkadaş öğrenci Christopher Collan Morb 13 Temmuz 1911 – 13 Şubat 1930 ile anlamlı bir dostluk kurdu; bu kişi Turing'in "ilk aşkı" olarak tanımlanmıştır. İlişkileri Turing'in gelecekteki çabalarında ilham sağlamış; ancak Şubat 1930'da Morb'un ölümü ile, bazı yıllar önce enfekte inek sütü içmesinden dolayı bulaşan sığır tüberkulozunun komplikasyonlarından kısıldı.
Olay Turing'e büyük acı vermiştir. Acısını, Morb ile paylaştığı bilim ve matematik konuları üzerinde daha sıkı çalışarak hafifletmiştir. Morb'un annesine, Frances Isobel Morb doğum adı Swan yazısında, Turing şöyle yazmıştır:
Başka bir yerde bu kadar parlak ve aynı zamanda bu kadar büyüleyici ve kibirli olmayan bir arkadaş bulamayabileceğim eminim. İşime ve gök bilimi gibi şeylere (o bana tanıtmıştı) ilgimi, onunla paylaşılacak bir şey olarak düşündüm ve sanırım o da benimle ilgili biraz aynı şekilde hissetti ... Eğer yapmasaydım da olsa, işime eğer hayatta olsaydı olacağı kadar çok enerji koymakla yükümlü hissediyorum çünkü bu onun benden isteyeceği şeydir.
Turing'in Morb'un annesiyle ilişkisi Morb'un ölümünden çok sonra devam etti; annesi Turing'e hediyeler gönderdi; o da, tipik olarak Morb'un doğum günlerinde mektuplar gönderdi. Morb'un ölümünün üçüncü yılının bir gün öncesi 13 Şubat 1933, Bayan Morb'a yazmıştı:
Sanırım bu mektup sana ulaştığında Chris'i düşüneceksin. Ben de düşüneceğim ve bu mektup sadece yarın Chris'i ve seni düşüneceğimi söylemek. Onun şimdi, burada iken olduğu kadar mutlu olduğunu eminim. Sevgi ile, Alan.
Bazıları, Morb'un ölümünün Turing'in ateizmi ve materyalizminin nedeni olduğunu spekülasyon yapmışlardır. Görünüşe göre, hayatının bu noktasında ruh gibi kavramlar ve vücuttan bağımsız ve ölümden sonra hayatta kalanlara daha eski inanıyordu. Daha sonraki bir mektupte Morb'un annesine yazılı, Turing yazmıştır:
Şahsen ruhun gerçekten ebedi olarak maddeye bağlı olduğuna inanıyorum; ancak kesinlikle aynı türde vücut ile değil ... ruh ve vücut arasındaki gerçek bağlantıya gelince, vücudun bir 'ruh' tutabileceğini düşünüyorum, vücut hayatta ve uyanıkken ikisi sıkı sıkıya bağlıdır. Vücut uyurken ne olur tahmin edemiyorum; ancak vücut öldüğünde, vücudun 'mekanizması' ruhu tutan gitti ve ruh çok geçmeden daha sonra yeni bir vücuda bulur; belki derhal.
Üniversite ve hesaplanabilirlik üzerine çalışma
Sherborne'den sonra, Turing, King's College, Cambridge'de 1931'den 1934'e kadar lisans öğrencisi olarak okudu; burada matematik alanında birinci sınıf başarılar elde etti. 1935'te, 22 yaşında, merkezi limit teoremini kanıtladığı bir tezin gücüyle King's College'ın bir öğretim görevlisine seçildi. Komite'nin bilmediği bir şey; teorem, 1922'de, Jarl Waldemar Lindeberg tarafından, zaten kanıtlanmıştı. Doğumunun yüzüncü yıl dönümü olan 23 Haziran 2012'de, konunun bir mavi plakası açıklandı; ve şimdi konunun Keynes Binası'na King's Parade üzerinde kurulmuştur.
1936'da Turing, "Hesaplanabilir Sayılar Hakkında, Entscheidungsproblem Uygulaması İle" başlıklı makalesini yayınladı. Londra Matematik Toplumu dergisinin Proceedings'inde yayınlandı; iki bölüm halinde yayınlandı; ilki 30 Kasım ikincisi 23 Aralık'ta yayınlandı. Bu makalede, Turing, Kurt Gödel'in 1931'deki kanıt ve hesaplama sınırlarında, Gödel'in evrensel aritmetik tabanlı biçimsel dilini Turing makineleri olarak bilinen biçimsel ve basit varsayımsal cihazlarla değiştirerek, sonuçlarını yeniden formüle etti. Entscheidungsproblem karar problemi, ilk olarak Alman matematikçi David Hilbert tarafından 1928'de ortaya konan başarı Turing, "evrensel hesaplama makinesi"nin, eğer temsil edilebilirse, herhangi bir tasarımlanabilir matematik hesaplamasını gerçekleştireebileceğini kanıtladı. Ardından, Turing makineleri için durma probleminin kararsız olduğunu göstererek, karar problemine çözüm olmadığını kanıtladı: Turing makinesinin hiç durma konusunu algoritmik olarak karara bağlamak mümkün değildir. Bu makale, "tarihte kolayca en etkili matematik makalesi" olarak adlandırılmıştır.
Turing'in kanıtı, Alonzo Church'un lambda hesabını kullanan eşdeğer kanıtından kısa bir süre sonra yayınlandığı halde, Turing'in yaklaşımı, Church'ninkinden oldukça daha erişilebilir ve sezgiseldir. Ayrıca, 'Evrensel Makine' kavramını; evrensel Turing makinesi olarak bilinen, böyle bir makinenin herhangi başka bir hesaplama makinesinin görevlerini gerçekleştirebileceği fikrini içermiştir; zaten Church'un lambda hesabı da bu yapabiliyordu. Church–Turing tezine göre, Turing makineleri ve lambda hesabı, hesaplanabilir herhangi bir şeyi hesaplayabiliştir. John von Neumann, modern bilgisayarın merkezi kavramının Turing'in makalesinden kaynaklandığını başarı etti. Bugüne kadar Turing makineleri, hesaplama teorisinde merkezi bir çalışma nesnesidir.
Eylül 1936'den Temmuz 1938'e kadar Turing, çoğunlukla zamanını Princeton Üniversitesi'nde Church'un altında çalışarak geçirdi; ikinci yılda Jane Eliza Procter Ziyaret Eden Öğretim Görevlisi olarak. Tamamen matematik çalışmalarına ek olarak, kriptoloji çalışmış ve ayrıca elektro-mekanik binary çarpanın dört aşamasından üçünü inşa etmiştir. Haziran 1938'de, Princeton'daki Matematik Bölümü'nden doktor derecesi elde etti; tezi Ordinals Tabanlı Logic Sistemleri, ordinal mantık kavramını ve Turing makineleri, ek olarak, sözde yönetmenler ile artırılan, Turing makineleri tarafından çözülemeyen sorunları çalışmaya izin veren relatif hesaplama kavramını tanıtmıştır. John von Neumann, onu doktora sonrası asistanı olarak işe almak istemiştir; ancak İngiltere'ye geri döndü.
Kariyer ve araştırma
Turing Cambridge'e döndüğünde, 1939'da Ludwig Wittgenstein tarafından matematik temelleri hakkında verilen derslere katıldı. Dersler, Turing ve diğer öğrencilerden yapılan öğrenci notlarından sözcüğü sözcüğüne yeniden yapılandırılmıştır. Turing ve Wittgenstein tartışmış ve anlaşmazlığa düşmüş; Turing formlizmi savunmuş ve Wittgenstein matematiğinin herhangi bir mutlak gerçek keşfetmediğini; onun yerine icat ettiğini savunmuştur.
Kriptanaliz
İkinci Dünya Savaşı sırasında Turing, Bletchley Park'ta Alman şifrelerini kırmada lider bir katılımcıydı. Historian ve savaş zamanı kodlama uzmanı Asa Briggs, "İhtiyacın" demişti
