<s>[INST]Turing, 1931'de ispat ve hesaplama sınırlarının sonuçlarını gözden geçirdi mi?[/INST]Modern bilgisayarın ilkesi ilk kez 1936'da çıkarılan 1936 tarihli makalesinde On Computable Numbers adlı fikrini ortaya koyan matematikçi ve öncü bilgisayar bilimcisi Alan Turing tarafından tanımlanmıştır. Turing, yeniden düzenlenmiş Kurt Gödel 'in 1931’de ispat ve hesaplama sınırlarına, Gödel’in evrensel aritmetik temelli biçimsel dilinin, Turing makineleri olarak bilinen biçimsel ve basit varsayımsal araçlarla değiştirilmesine neden olur. Böyle bir makinenin bir algoritma olarak gösterilebildiyse akla gelebilecek herhangi bir matematiksel hesaplamayı yapabileceğini kanıtladı. İlk olarak Turing makineleri için durma sorununun tespit edilemez olduğunu göstererek Entscheidungsproblem'e bir çözüm olmadığını kanıtlamaya devam etti: genel olarak, belirli bir Turing makinesinin durup durmayacağına algoritmik olarak karar vermek mümkün değildir.</s>