Sonlanma problemi

Sonlanma problemi (durma problemi), hesaplanabilirlik kuramı'nda, "girdileri ve tanımı verilen bir bilgisayar programının çalışmasını sonlandıracağına ya da sonsuza kadar çalışacağına" karar verme problemidir. Tüm program-girdi çiftleri için çözüm sağlayacak bir algoritmanın olamayacağı 1936 yılında Alan Turing tarafından kanıtlanmıştır.

 Ayrıca bakınız 
 Gödel'in eksiklik teoremi
 P ile NP arasındaki ilişki

Kategori:Algoritmalar teorisi
Kategori:Hesaplanabilirlik teorisi
Kategori:Matematiksel problemler