proof-search पर टैग किए गए जवाब

यह एक भोला सवाल है, मेरी विशेषज्ञता से बाहर; माफी पहले से। गोल्डबैच का अनुमान और गणित में कई अन्य अनसुलझे प्रश्न विधेय गणना में संक्षिप्त सूत्र के रूप में लिखे जा सकते हैं। उदाहरण के लिए, कुक का पेपर "कैन कंप्यूटर रूटीन डिस्कवर गणितीय प्रूफ?" के रूप में अनुमान …

35 cc.complexity-theory  proof-complexity  automated-theorem-proving  proof-search 

संकल्प CNFs की असंतोषजनकता साबित करने के लिए एक योजना है। रिज़ॉल्यूशन में एक प्रमाण CNF के प्रारंभिक क्लॉज के लिए खाली क्लॉज की तार्किक कटौती है। विशेष रूप से किसी भी प्रारंभिक खंड निष्कर्ष निकाला जा सकता है, और दो खंड से और बी ∨ ¬ एक्स खंड एक …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search