«undecidability» etiketlenmiş sorular

Diyelim ki iki işlevi vardır varsayalım ve ve ben olmadığının belirlenmesinde ilgilenen kulüplerFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Diyelim ki işlevlerim temel işlevlerden (polinomlar, üstel, günlükler ve trigonometrik işlevler) oluşuyor, ancak Taylor serisinden oluşmuyor. Bu sorun karar verilebilir mi? Değilse, yarı-doğrulanabilir mi? (Soruyorum çünkü hesaplanabilirlik hakkında bir ders veriyorum ve bir …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Ara sınavda aşağıdaki sorunun bir çeşidi vardı: Bir Karar verilebilen için tanımlamak o ABS zorunlu Karar verilebilen değildir.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) Ama eğer seçersem, o zaman de , böylece karar verilebilir. Ayrıca de aynı sonucu verir. Ve …

9 computability  undecidability