Gürkan Özsoy Blog
Tamamen Kişisel
Alan Turing
Alan Turing (d. 23 Haziran 1912, Londra, İngiltere – ö. 7 Haziran 1954, Wilmslow, Cheshire) matematik, kriptanaliz, mantık, felsefe ve matematiksel biyolojiye ve ayrıca daha sonra bilgisayar bilimi, bilişsel bilim, yapay zeka ve yapay yaşam olarak adlandırılan yeni alanlara önemli katkılarda bulunan İngiliz matematikçi ve mantıkçıdır.
Bir devlet memurunun oğlu olan Turing, iyi bir özel okulda eğitim gördü. Matematik okumak üzere 1931 yılında Cambridge Üniversitesi’ne girdi. 1934’te mezun olduktan sonra, olasılık teorisi alanındaki araştırmalarından dolayı King’s College’da (1931’den beri okuduğu okul) bursiyerliğe seçildi. 1936 yılında Turing’in ufuk açıcı makalesi “On Computable Numbers, with an Application to the Entscheidungsproblem [Decision Problem]”, kendisi de Turing’inkiyle aynı sonuca farklı bir yöntemle ulaşan bir makale yayınlamış olan Amerikalı matematiksel mantıkçı Alonzo Church tarafından yayınlanması için tavsiye edildi. Turing’in yöntemi (Church’ünki o kadar önemli olmasa da) gelişmekte olan bilgisayar bilimi için derin bir öneme sahipti. Aynı yıl Turing, Church’ün yönetiminde matematiksel mantık alanında doktora yapmak üzere Princeton Üniversitesi’ne taşındı (1938’de tamamlandı).
Matematikçilerin bir problemi çözmek için “etkili” bir yöntem olarak adlandırdıkları şey, ezbere çalışan bir insan matematik memuru tarafından gerçekleştirilebilecek bir yöntemdi. Turing’in zamanında, bu ezbere çalışanlara aslında “bilgisayar” deniyordu ve insan bilgisayarlar, daha sonra elektronik bilgisayarlar tarafından yapılan işin bazı yönlerini yerine getiriyordu. Entscheidungsproblem, belirli bir formel matematiksel sistem içinde hangi matematiksel ifadelerin kanıtlanabilir olduğunu ve hangilerinin olmadığını tam olarak belirlemeye yönelik temel matematiksel problemi çözmek için etkili bir yöntem arıyordu. Bunu belirlemeye yönelik bir yönteme karar yöntemi denir. 1936’da Turing ve Church bağımsız olarak Entscheidungsproblem probleminin genel olarak bir çözümü olmadığını göstererek hiçbir tutarlı formel aritmetik sisteminin etkili bir karar yöntemine sahip olmadığını kanıtladılar. Aslında Turing ve Church, aritmetikten çok daha zayıf olan bazı salt mantıksal sistemlerin bile etkili bir karar yöntemine sahip olmadığını göstermiştir. Bu sonuç ve diğerleri -özellikle matematikçi-mantıkçı Kurt Gödel’in eksiklik sonuçları- bazı matematikçilerin, matematiğin tamamını (insan) bilgisayarların uygulayabileceği yöntemlere indirgeyecek biçimsel bir sistem keşfetme umutlarını suya düşürdü. Turing, Entscheidungsproblem üzerine yaptığı çalışmalar sırasında, dijital bilgisayarın temel mantıksal ilkelerini kapsayan soyut bir hesaplama makinesi olan evrensel Turing makinesini icat etti.
Turing’in Entscheidungsproblem ile ilgili argümanında önemli bir adım, şimdi Church-Turing tezi olarak adlandırılan, insan eliyle hesaplanabilen her şeyin evrensel Turing makinesi tarafından da hesaplanabileceği iddiasıydı. Bu iddia önemlidir çünkü insan hesaplamasının sınırlarını belirlemektedir. Church çalışmalarında bunun yerine, insan tarafından hesaplanabilen tüm fonksiyonların lambda-tanımlanabilir fonksiyonlar (pozitif tamsayılar üzerinde değerleri tekrarlanan yer değiştirme işlemiyle hesaplanabilen fonksiyonlar) olarak adlandırdığı fonksiyonlarla özdeş olduğu tezini kullanmıştır. Turing 1936’da Church’ün tezinin kendi tezine eşdeğer olduğunu, her lambda-tanımlanabilir fonksiyonun evrensel Turing makinesi tarafından hesaplanabilir olduğunu ve bunun tersinin de geçerli olduğunu kanıtlayarak gösterdi. Turing’in çalışmasına ilişkin bir incelemesinde Church, Turing’in tez formülasyonunun (hesaplama makinelerine atıfta bulunmayan) kendi tezine göre üstünlüğünü kabul etmiş ve Turing makinesi tarafından hesaplanabilirlik kavramının “etkinlikle özdeşleşmeyi… hemen belirgin hale getirme avantajına sahip olduğunu” söylemiştir.
Turing, 1938 yazında Amerika Birleşik Devletleri’nden King’s College’daki bursuna döndükten sonra Hükümet Kod ve Şifre Okulu’na katıldı ve Eylül 1939’da Almanya ile savaşın patlak vermesiyle birlikte kurumun Buckinghamshire’daki Bletchley Park’ta bulunan savaş zamanı merkezine taşındı. Birkaç hafta önce Polonya hükümeti İngiltere ve Fransa’ya, Alman ordusunun telsiz iletişimini şifrelemek için kullandığı başlıca şifre makinesi olan Enigma’ya karşı Polonya’nın elde ettiği başarıların ayrıntılarını vermişti. 1932 gibi erken bir tarihte, Marian Rejewski liderliğindeki Polonyalı matematikçi-şifreanalistlerden oluşan küçük bir ekip Enigma’nın iç bağlantılarını çözmeyi başarmış ve 1938’e gelindiğinde Rejewski’nin ekibi Bomba (Lehçe’de bir tür dondurma anlamına gelir) adını verdikleri bir şifre kırma makinesi tasarlamıştı. Bomba’nın başarısı Alman işletim prosedürlerine bağlıydı ve Mayıs 1940’ta bu prosedürlerde yapılan bir değişiklik Bomba’yı işe yaramaz hale getirdi. Turing ve diğerleri 1939 sonbaharı ve 1940 ilkbaharı boyunca Bombe olarak bilinen ilgili ama çok farklı bir şifre kırma makinesi tasarladılar. Savaşın geri kalanında Bombalar Müttefiklere büyük miktarlarda askeri istihbarat sağladı. 1942 başlarında Bletchley Park’taki kriptanalistler her ay yaklaşık 39.000 ele geçirilmiş mesajı çözüyorlardı; bu rakam daha sonra ayda 84.000’in üzerine çıktı – gece gündüz her dakika iki mesaj. Turing ayrıca 1942’de İngilizlerin “Tunny” adını verdikleri sofistike Alman şifre makinesi tarafından şifrelenmiş mesajları kırmak için ilk sistematik yöntemi geliştirdi. Savaşın sonunda Turing, şifre kırma çalışmaları nedeniyle Britanya İmparatorluğu’nun En Mükemmel Nişanı’na (OBE) layık görüldü.
Turing, yapay zekanın ve modern bilişsel bilimin kurucu babasıydı ve insan beyninin büyük ölçüde dijital bir hesaplama makinesi olduğu hipotezinin önde gelen ilk temsilcilerinden biriydi. Doğumda korteksin “organize olmamış bir makine” olduğunu ve “eğitim” yoluyla “evrensel bir makineye ya da ona benzer bir şeye” dönüştüğünü teorize etmiştir. Turing, daha sonra Turing testi olarak bilinen şeyi, yapay bir bilgisayarın düşünüp düşünmediğine dair bir kriter olarak önerdi (1950). 2022 yılının sonlarında ChatGPT’nin ortaya çıkışı, Turing testinin bileşenlerinin karşılanma olasılığı hakkındaki tartışmaları yeniden alevlendirdi.
Turing Mart 1951’de Londra Kraliyet Cemiyeti’ne üye seçildi, bu büyük bir onurdu, ancak hayatı çok zorlaşmak üzereydi. Mart 1952’de “ağır ahlaksızlık ‘tan -yani o dönemde İngiltere’de suç olan eşcinsellikten- suçlu bulundu ve 12 ay hormon ’terapisine” mahkum edildi. Artık sabıkalı olduğundan, İngiliz hükümetinin savaş sonrası şifre kırma merkezi olan Government Communications Headquarters (GCHQ) için bir daha asla çalışamayacaktı.
Turing kısa kariyerinin geri kalanını Manchester’da geçirdi ve Mayıs 1953’te bilgi işlem teorisi alanında özel olarak oluşturulan bir kadroya atandı. Turing 1951’den itibaren günümüzde yapay yaşam olarak bilinen konu üzerinde çalışıyordu. Canlı organizmalarda biçim ve örüntü gelişimi üzerine yaptığı araştırmanın yönlerini açıklayan “The Chemical Basis of Morphogenesis” adlı kitabını 1952 yılında yayınladı. Turing, Manchester’ın Ferranti Mark I bilgisayarını, hayvanlarda ve bitkilerde anatomik yapının oluşumu için varsayılan kimyasal mekanizmasını modellemek için kullandı.
Bu çığır açan çalışmanın ortasında Turing yatağında siyanürle zehirlenmiş olarak ölü bulundu. Resmi karar intihar yönündeydi, ancak 1954 yılında yapılan soruşturmada herhangi bir neden tespit edilemedi. Ölümü genellikle eşcinsel olduğu için yargılanmasının ardından yetkililer tarafından gördüğü hormon “muamelesine” bağlanır. Oysa hormon dozları sona erdikten bir yıldan fazla bir süre sonra ölmüştü ve her halükarda dirençli Turing, yakın arkadaşı Peter Hilton’un deyimiyle “eğlendirici bir metanetle” bu zalimce muameleye katlanmıştı. Ayrıca, soruşturma kayıtlarına bakılırsa, Turing’in kendi canına kıymaya niyetlendiğini ya da (sorgu yargıcının iddia ettiği gibi) akli dengesinin bozulduğunu gösteren hiçbir kanıt sunulmamıştır. Aslında, o sırada zihinsel durumunun kayda değer olmadığı görülmektedir. İntihar olasılığı göz ardı edilemese de, ölümünün yatak odasının bitişiğindeki küçük laboratuarda yapılan bir deneyde siyanür dumanı soluması sonucu meydana gelen bir kaza olması da mümkündür. Eşcinsellerin ulusal güvenliğe tehdit olarak görüldüğü bir dönemde Turing’in kriptanaliz hakkında bu kadar çok şey bildiği göz önüne alındığında, gizli servisler tarafından işlenen bir cinayet de tamamen göz ardı edilemez.
21. yüzyılın başlarında Turing’in eşcinsel olduğu için kovuşturmaya uğraması kötü bir şöhrete dönüşmüştü. 2009 yılında İngiltere Başbakanı Gordon Brown, İngiliz hükümeti adına konuşarak Turing’in “tamamen haksız” muamelesi için kamuoyu önünde özür diledi. Dört yıl sonra Kraliçe 2. Elizabeth Turing’e kraliyet affı verdi.