Karar verilemez bir problem, bir algoritma kullanılarak çözülemeyen bir sorudur. Bu, saptanamayan sorunun önemli etkileri olduğu matematik ve bilgisayar programlarına ilgi konusudur. Örneğin Turing makinelerine ilgi duyan araştırmacılar, bilgisayar programlarının ne zaman durduğuna bakıp durmadan çalışıp durmadığına bakarak durma problemi konusunu ele aldılar. Matematiğin diğer zorluklarında olduğu gibi, kayda değer araştırmalar, daha fazla değerlendirme ve çalışma için yeni problemleri tespit etmenin yanı sıra, kararsız problemleri aşmanın yollarını da çevreler.
Bu konu karar problemlerini, evet ya da hayır cevabını içeren soruları içerir. Matematikte, bunlar genellikle formül şeklinde sunulur. Basit bir örnek, “Herhangi bir gerçek sayı için, X, Y tarafından eşit olarak bölünebilir mi?” Olabilir. Bu, karar verilebilir bir sorundur, çünkü bilgisayara X veya Y için herhangi bir değer verilirse, soruyu yanıtlamak için bir algoritma kullanabilir. Daha karmaşık problemler, tüm olası değerler için tek bir algoritma ile çözülemeyebilir.
Bu gibi durumlarda, bir algoritma bazı cevaplar için doğru olabilir, fakat diğer değerleri cevaplayamaz. Bazı değerler göz önüne alındığında, algoritma, sorunun cevabının evet mi hayır mı olduğunu belirlemek için bir dizi adımdan geçebilir. Diğer durumlarda, gerekli bilgiden yoksun olacağı için bunu yapamaz. Bu, matrisleri, karmaşık analizleri ve diğer bazı fonksiyonları içeren bazı problemlerde bilinen bir sorundur.
Kararsız bir problemin belirlenmesi matematik ve bilgisayar bilimleri araştırması bağlamında ortaya çıkabilir. Sorunun çözülemez olduğuna inanıldığında araştırmacılar bu teoriyi ispatlamak için çeşitli taktikler uygulayabilirler. Bu, bazı değerler için çalışan algoritmalar geliştirmek, problemin özelliklerini tüm değerler için bir algoritma ile etkili bir şekilde tedavi etmeyi imkansız kılan problemin özelliklerini ve ilgili aktiviteleri içerebilir. Matematik ve bilgisayar bilimleri yayınları, bu alandaki son gelişmeleri tartışılmaz bir sorunun sınırlarını araştırmak için kullandıkları algoritma örnekleri ile tartışabilir.
Sadece teorik olarak ilgilenilen bir konu olmaktan uzak, kararsız sorunun gerçek dünya için önemli etkileri olabilir. Örneğin, bazı bilgisayar virüsleri algılanamayan sorunları olan sistemleri sunar. Sistemin sorunla çalışma denemesi, kaynakları dondurarak sistemin donmasına veya sistem açıklarının oluşmasına neden olabilir. Benzer şekilde, teknisyenler bilmeden çözemedikleri bir problemle istemeyerek sunarak bir sistemde bir soruna neden olabilir. Veri kaybına neden olabilecek bir programı veya işlemi sonlandırmaları gerekebilir.
