Basit bir makine her algoritmayı hesaplayabilir
Alan Turing'in teorik makinesi, basit bir soyut cihazın her algoritmayı hesaplayabileceğini kanıtladı. Bu, tüm modern bilişimin temelini attı.
1936'da Alan Turing, Turing makinesini tanıttı. Bu soyut model, her algoritmanın teorik olarak nasıl hesaplanabileceğini gösterdi. Cihaz, sonsuz bir bant ve bir okuma/yazma kafası kullanır. Talimatları takip eder, hesaplamalar yapar ve verileri işler. Turing'in evrensel makine konsepti şunu kanıtladı: Tek, basit bir makine her hesaplanabilir işlevi yürütebilir. Bu, temel matematikten karmaşık simülasyonlara kadar her şeyi kapsar. Yeter ki algoritmik olarak tanımlanabilir olsun. Bu çığır açan çalışma, hesaplamanın sınırlarını ve olasılıklarını belirledi. Modern bilgisayarları etkiledi ve mekanik süreçlerin insan düşüncesini taklit edebileceğini gösterdi.