Hesaplanabilir Sayılar Üzerine
Zaman: Pazartesi Kas 30, 1936
Yer: İngiltere
Ayrıntılar: Turing, "On Computable Numbers, with an Application to the Entscheidungsproblem" (Hesaplanabilir Sayılar Üzerine, Karar Problemi'ne Bir Uygulama ile) adlı makalesini yayımladı. Makale, London Mathematical Society dergisinde iki bölüm halinde, ilki 30 Kasım'da, ikincisi ise 23 Aralık'ta yayımlandı. Bu makalede Turing, Kurt Gödel'in 1931'deki kanıt ve hesaplama sınırları üzerine sonuçlarını yeniden formüle etti ve Gödel'in evrensel aritmetik tabanlı biçimsel dilini, Turing makineleri olarak bilinen biçimsel ve basit varsayımsal cihazlarla değiştirdi. Entscheidungsproblem (karar problemi) başlangıçta Alman matematikçi David Hilbert tarafından 1928'de ortaya atılmıştı. Turing, "evrensel hesaplama makinesinin", bir algoritma olarak temsil edilebildiği takdirde, akla gelebilecek her türlü matematiksel hesaplamayı yapabileceğini kanıtladı. Daha sonra, Turing makineleri için durma probleminin çözülemez olduğunu göstererek karar problemine bir çözüm olmadığını kanıtladı: Bir Turing makinesinin durup durmayacağına algoritmik olarak karar vermek mümkün değildir.
Hata içerebilir.
En iyi çaba sıralaması. Birçok olay sadece yıla göre bilindiğinden bazıları sırasız görünebilir, ancak genellikle aynı dönemdedirler.
İlgili
Yakın
























































































































































































Bugün - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































