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

मान लीजिए कि मेरे दो कार्य और और मैं यह निर्धारित करने में रुचि रखता हूं कि क्याFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. मान लीजिए कि मेरे कार्य प्राथमिक कार्यों (बहुपद, घातांक, लॉग, और त्रिकोणमितीय कार्यों) से बने हैं, लेकिन टेलर श्रृंखला नहीं कहते हैं। क्या यह समस्या निर्णायक है? यदि …

9 computability  undecidability  mathematical-analysis  computer-algebra 

मध्यकाल में निम्नलिखित प्रश्न का एक प्रकार था: एक निर्णायक परिभाषित के लिए \ text {Pref} (L) = \ {x \ mid \ अस्तित्व y \ text {st} xy \ _ L \} में दिखाओ कि \ text {Pref} (L) जरूरी नहीं है।LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x …

9 computability  undecidability