Hesaplama kuramında Çözümlenebilir ve Karar verilebilir terimler birbiri yerine geçebilir mi? Aynı şeyi mi kastediyorlar? Örneğin, çoğu zaman bir sorunun sorun olarak tanımlanıp çözülmediği sorusunu sıklıkla görürsünüz (Das Entscheidungsproblem).Provable mı == Kararlı mı?
Bunlar farklıdır. Aslında tamamen farklı alanlara işaret ediyorlar.
Karar vermek, bir “karar verme” veya “reddetme” gerektiren bir Turing makinesi tarafından olası tüm girdiler için bir karar sorununun çözülebileceği anlamına gelir.
Tahmini, matematiksel bir ifadenin matematiksel bir kanıtla kanıtlanabileceği anlamına gelir. Aslında, bu öznitelikler tamamen farklı şeylere atıfta bulunduğundan, 'decidable' ve 'provable' değerlerini karşılaştıramazsınız.
Makinenin kararının düzgün çalıştığını ispatlamanız gerekir.) – Dario
Belki de mathoverflow.net için uygun bir soru? –
Bunu düşündüm ama Comp. Teori (ve karmaşıklık) kursu, burada daha uygun olacağını düşündüğüm neredeyse tüm CS \ SE derslerinde bulunabilir. –