incompleteness पर टैग किए गए जवाब

मैंने हमेशा अस्पष्ट रूप से सोचा है कि उपरोक्त प्रश्न का उत्तर निम्नलिखित पंक्तियों के साथ सकारात्मक था। गोडेल की अपूर्णता प्रमेय और रुकने की समस्या दोनों की अनिर्णयता के बारे में नकारात्मक परिणाम हैं और विकर्ण तर्कों (और 1930 के दशक) द्वारा स्थापित हैं, इसलिए उन्हें किसी भी तरह …

75 computability  logic  halting-problem  incompleteness 

मैं हाल ही में विरोधाभास द्वारा सबूत की वैधता के बारे में सोच रहा था। मैंने पिछले कुछ दिनों से अंतर्ज्ञानवादी तर्क और गोडेल के प्रमेयों के बारे में पढ़ा है, यह देखने के लिए कि क्या वे मुझे मेरे प्रश्नों के उत्तर प्रदान करेंगे। अभी मेरे पास अभी भी …

19 logic  first-order-logic  propositional-logic  incompleteness 

मैं प्रश्न पढ़ रहा था संगति और पूर्णता स्पष्टता लग रहा है? और इसमें पहला कथन कहता है: मैं समझता हूं कि ध्वनि से तात्पर्य है संगति। जिसके बारे में मैं काफी हैरान था क्योंकि मुझे लगता था कि ध्वनि स्थिरता की तुलना में एक कमजोर बयान था (यानी मुझे …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness