Turing, 1931'de ispat ve hesaplama sınırları üzerindeki sonuçlarını Kurt Gödel'in çalışmalarını gözden geçirerek formüle etti.
Modern bilgisayarın ilkesi, ilk olarak matematikçi ve öncü bilgisayar bilimcisi Alan Turing tarafından tanımlandı. Bu fikri 1936 tarihli makalesinde, Hesaplanabilir Sayılarda ortaya koydu. Turing, Kurt Gödel'in 1931 sonucunu ispat ve hesaplama limitleri üzerine yeniden formüle ederek Gödel'in evrensel aritmetik temelli biçimsel dilini Turing makineleri olarak bilinen biçimsel ve basit varsayımsal cihazlarla değiştirdi. Böyle bir makinenin bir algoritma olarak temsil edilebilirse akla gelebilecek herhangi bir matematiksel hesaplama yapabileceğini kanıtladı. Entscheidungsprobleme çözüm olmadığını kanıtlamak için devam etti. Turing makineleri için durdurma probleminin kararsız olduğunu göstererek: genel olarak, belirli bir Turing makinesinin durup durmayacağına algoritmik olarak karar vermek mümkün değildir.
Turing, 1931'de ispat ve hesaplama sınırları üzerindeki sonuçları kim gözden geçirdi?