01162017Pzt
Last updateÇrş, 09 Kas 2016 12pm


BİYOGRAFİLER

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

Kullanıcı Oyu: 3 / 5

Yıldız etkinYıldız etkinYıldız etkinYıldız etkin değilYıldız etkin değil
 

Alan Turing photoAlan TURING Üniversite ve hesaplanabilirlilik üzerinde çalışmaları Turing'in klasik eski Yunanca ve Latince çalışmalara istekli olmaması ve matematik ve bilimi daima 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 öğ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ı ispat sonuçlarını yeniden formüle ederek, onun yerine şimdi Turing makineleri diye andığımız, daha basit ve formel usullere dayanan ispatı ortaya attı. Eğer bir algoritma 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 ispat etmiş oldu.  Turing makinaları günümüzün hesaplama teorilerinin ana araştırma öğesidir. 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 dayandırdığı Turing sonucuna eşit olan kanıttan daha sonra yayınlanmasına rağmen, Turing'in çalışması çok daha kabul edilebilir ve sezgiseldi. Teorisinin yeni bir tarafı da ?Evrensel (Turing) Makinası? kavramı idi ve bu herhangi bir diğer makinanın görevlerini yerine getirecek bir makina fikri idi. Makale ayrıca tanımlanabilen sayılar kavramını da tanıtıyordu. Eylül 1936'dan Temmuz 1938'a 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 1938'de tezini verip Princeton?dan Felsefe Doktoru ünvanını kazandı. Bilimsel tezinde bir Turing makinesinin çözemeyeceği problemler araştırmasına imkân 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ı.

Yorum ekle


Güvenlik kodu
Yenile

FACEBOOK'TA TAKİP EDİN