En çok hatırlanan olayları kontrol et 30 November 1936 MS.
1936'da Turing, "Hesaplanabilir Sayılar Üzerine, Entscheidungsproblem'e Bir Uygulama ile" başlıklı makalesini yayınladı. Makale, London Mathematical Society dergisinde iki bölüm halinde, ilki 30 Kasım'da ve ikincisi 23 Aralık'ta yayınlandı.
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.
1936'da Turing, "Hesaplanabilir Sayılar Üzerine, Entscheidungsproblem'e Bir Uygulama ile" başlıklı makalesini yayınladı. Makale, London Mathematical Society dergisinde iki bölüm halinde, ilki 30 Kasım'da ve ikincisi 23 Aralık'ta yayınlandı.
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.
