Вопросы с тегом «undecidability»

Предположим, у меня есть две функции FFF и GGG и я заинтересован в определении F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Предположим, что мои функции состоят из элементарных функций (полиномов, экспонент, логарифмов и тригонометрических функций), но не, скажем, из ряда Тейлора. Эта проблема разрешима? Если нет, то так ли это? (Я спрашиваю, потому …

9 computability  undecidability  mathematical-analysis  computer-algebra 

В середине срока был вариант следующего вопроса: Для разрешимого определить Показать, что не обязательно разрешимый.прив ( L ) = { х | ∃ у й рентгеновские у ∈ LLLLPref ( L )Pref ( L ) = { x ∣ ∃ y St X Y∈ L }Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ …

9 computability  undecidability