Alan Turing Üniversite Ve Hesaplanabilirlilik Üzerinde Çalışmaları

Üniversite ve hesaplanabilirlilik üzerinde çalışmaları




Turing'in 1931-1934 ders yıllarında diploma derecesi için bulunduğu ve 1935de okutman olduğu Cambridge Kings Kolej


Turing'in klasik eski Yunanca ve Latince çalışmalara istekli olmaması ve matematik ve bilimi daime tercih etmesi onun Cambridge Trinity Koleji'ne bir burs kazanmasına engel oldu İkinci tercihi olan Cambridge Kings Kolej'e gitti 1931'den 1934'e kadar orada diploma öğrenciydi, seçkin bir dereceyle diploma aldı ve merkezsel limit teoremi üzerinde hazırladığı bir tez yazısı dolayısıyla 1935'te Kings Kolej'e akademik üye seçildi
28 Mayıs 1936'da sunduğu Hesaplanabilir Sayılar: Karar Verme Probleminin bir Uygulaması adlı çok önemli bir makalesinde, Kurt Gödel'in 1931'de evrensel aritmetik-tabanlı biçimsel diliyle hazırladığı hesaplama ve kanıtın sınırları isbat sonuçlarını yeniden formüle ederek, onun yerine şimdi Turing makineleri diye andığımız, daha basit ve formel usullere dayanan isbatı ortaya attı Eger bir algaritma ile temsil edilmesi mümkün ise düşünülmesi mümkün olan her türlü matematiksel problemin böyle bir çesit makine kullanılarak çözülebileceğini isbat etmiş oldu
Turing makinaları günümüzün hesaplama teorilerinin ana araştirma ögesidir Turing makineleri için aksak problemin kararverilemez olduğunu gösterek Karar Verme Probleminin bir sonucu olmadığını ispatlamaya devam etti: genel anlamda, algoritmik olarak sunulan bir Turing makinası her zaman aksasa bile, karar vermek mümkün değildir Kanıtının, Alonzo Church'ün lambda hesaplama teorisine dayandirdigi Turing sonucuna esit olan kanıtdan daha sonra yayınlanmasina ragmen, Turing'in çalışması çok daha kabul edilebilir ve sezgiseldi Teorisinin yeni bir tarafi da 'Evrensel (Turing) Makinası' kavramı idi ve bu herhangi bir diğer makinanın görevlerini yerine getirecek bir makina fikri iidi Makale ayrıca tanımlanabilen sayilar kavramını da tanıtıyordu
Eylül 1936dan Temmuz 1938a kadar Princeton Üniversitesi, İleri Etüdler Enstitüsünde, Alonzo Church yanında hemen hemen devamlı çalışarak geçirdi Soyut matematik çalışmaları yanında kriptoloji üzerinde de çalışmalar yaptı ve ayrıca dört aşamalı elektro-mekanik ikili çarpma makinasının üç aşamasını tamamlayıp bitirdi Haziran 1938da tezini verip Princeton'dan Felsefe Doktoru ünvanını kazandı Bilimsel tezinde bir Turing makinesinin çözemeyeceği problemler araştırmasına imkan vererek, kehanet makineleri ile bağlantılı Turing makineleri ile hesaplama kavramını inceledi
İngiltere'de Cambridge'e geri dönerek, Ludwig Wittgenstein'in matematik temelleriyle ilgili derslerine katıldı İkisi aralarında tartışmalar yapıp birbiriyle uyuşamadılar Turing biçimciliği savunmaktaydı ve Wittgenstein ise matematiğin mevcut olan gerçekleri yeniden keşfetmek yerine onları yeni olarak icat ettiğini iddia etmekteydi Ayrıca Hükümet Kod ve Şifre Okulunda (GCCS) yarı-zamanlı çalışmaktaydı

Kaynak : Wikipedia