Sonlanma problemi
Gezinti kısmına atla
Arama kısmına atla
Sonlanma 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.