प्रोवबल == अनुमानित है?

Question

गणना सिद्धांत में शर्तें लागू और निर्णायक अंतर परिवर्तनीय हैं? क्या उनका मतलब एक ही बात है?

उदाहरण के लिए आप अक्सर सवाल देखते हैं कि कुछ निर्णय साबित करने योग्य है (दास एंट्सिडुंग्सप्रोबलेम)।

Answer 1

ये अलग हैं। वास्तव में, वे पूरी तरह से अलग क्षेत्रों का संदर्भ लें।

निर्णय लेने योग्य साधन, कि ट्यूरिंग मशीन द्वारा सभी संभावित इनपुट के लिए निर्णय समस्या हल की जा सकती है, जो 'स्वीकार' या 'अस्वीकार' करती है।

प्रबल माध्यम का अर्थ है कि गणितीय विवरण, गणितीय प्रमाण से भी सिद्ध किया जा सकता है।

वास्तव में, आप 'decidable' और 'provable' की तुलना नहीं कर सकते, क्योंकि ये विशेषताएं पूरी तरह से अलग-अलग चीजों का संदर्भ देती हैं।