Yazeka
Arama sonuçlarına göre oluşturuldu
Turing makinesinin karar verilemez olmasının sebebi, "durma problemi" olarak bilinen sorunun çözümsüz olmasıdır 14.
Durma problemi, herhangi bir girdiyi işleyen herhangi bir bilgisayar programının eninde sonunda durup durmayacağını söyleyecek genel bir algoritmanın olup olmadığını sorar 1. Alan Turing, 1936 yılında bu problemin "karar verilemez" olduğunu, yani böyle bir algoritmanın her zaman var olmadığını ispatlamıştır 12.
Bu, bir Turing makinesinin durup durmayacağına karar vermenin tek yolunun, makineyi çalıştırıp beklemek olduğu anlamına gelir 1.
5 kaynaktan alınan bilgiyle göre: