Durma Problemi ile Karar Problemi
Matematik
Aritmetik
Kritik
Özet
Bir programın, belirli bir girdide durup durmayacağının genel olarak belirlenemeyeceğini gösteren problemdir. İLE Bir önermenin doğru mu yanlış mı olduğunu mekanik yöntemle belirleme problemidir. İlki, ikincinin çözülemez olduğunu gösteren ünlü örnektir.
Ayrıntılı Açıklama
Alan Turing tarafından 1936 yılında keşfedildi/formüle edildi. (1912-1954) (Ülke: İngiltere) (Alan: Matematik, Bilgisayar) (Önemli katkıları: Turing makinesi, yapay zeka)