<s>[INST]Alan Turing "Hesaplanabilir Numaralar Üzerine" adlı makaleyi ne zaman yazdı?[/INST]Modern bilgisayarın ilkesi ilk önce matematiksel ve öncü bilgisayar bilimcisi Alan Turing tarafından tanımlanmıştır. Turing, 1931 yılında Kurt Gödel’in 1931’de, Kandel’in evrensel aritmetik temelli biçimsel dilini, Turing makineleri olarak bilinen biçimsel ve basit varsayımsal aygıtlarla değiştirerek, ispat ve hesaplama sınırlarına bağlı olarak yeniden düzenlemiştir. 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>