Questions tagged «undecidability»

假设我有两个函数FFF和GGG，我有兴趣确定是否 F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. 假设我的函数由基本函数（多项式，指数函数，对数和三角函数）组成，而不是泰勒级数。 这个问题可以确定吗？如果不是，那是不可决定的吗？ （我之所以问是因为我正在教一门关于可计算性的课程，一个学生问我TM是否可以帮助您集成目前未知的函数。我怀疑我们不知道如何集成的函数更多适当的函数，其积分不能表示为上述基本函数的组合，而不是我们实际上不了解积分的函数，但这让我开始思考检查积分的一般问题是否可以确定。）

9 computability  undecidability  mathematical-analysis  computer-algebra 

在期中，存在以下问题的变体： 对于可确定的定义 显示不一定可确定。LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in L\}Pref(L)Pref(L)\text{Pref}(L) 但是，如果我选择那么我认为也是，因此可以确定。而且给出相同的结果。而且由于必须是可确定的，因此我无法选择停止问题。L=Σ∗L=Σ∗L=\Sigma^*Pref(L)Pref(L)\text{Pref}(L)Σ∗Σ∗\Sigma^*L=∅L=∅L=\emptysetLLL 我如何才能找到这样的是不可判定？LLLPref(L)Pref(L)\text{Pref}(L) 上的哪些条件将使可确定，而哪些将使其不可确定？LLLPref(L)Pref(L)\text{Pref}(L)

9 computability  undecidability