 | Bilgisayar ile ilgili bu maddetaslak seviyesindedir. Madde içeriğinigenişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
 | Matematik ile ilgili bu maddetaslak seviyesindedir. Madde içeriğinigenişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
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 biralgoritmanın olamayacağı 1936 yılındaAlan Turing tarafından kanıtlanmıştır.
