Sonlanma problemi - Vikipedi

Bilgisayar ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.

Matematik ile ilgili bu madde taslak seviyesindedir. Madde içeriğini geniş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 bir algoritmanın olamayacağı 1936 yılında Alan Turing tarafından kanıtlanmıştır.

Ayrıca bakınız[değiştir | kaynağı değiştir]

• Gödel'in eksiklik teoremi
• P ile NP arasındaki ilişki