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

**Prof. Dr. Sinsi** · 08-20-2012

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

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

08-20-2012	#1
Prof. Dr. Sinsi	Alan Turing Üniversite Ve Hesaplanabilirlilik Üzerinde Çalışmaları Üniversite ve hesaplanabilirlilik üzerinde çalışmaları 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