«undecidability» 태그된 질문

두 가지 기능이 있다고 가정 해 봅시다. FFF 과 GGG 그리고 나는 여부를 결정하고 싶습니다 F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. 내 함수가 기본 함수 (다항식, 지수, 로그 및 삼각 함수)로 구성되어 있지만 Taylor 시리즈는 아닙니다. 이 문제를 결정할 수 있습니까? 그렇지 않다면, 그것은 반 결정 가능합니까? (나는 계산 능력에 대한 수업을 …

9 computability  undecidability  mathematical-analysis  computer-algebra 

중간에 다음과 같은 질문의 변형이있었습니다. 결정 가능한 엘LL 밝히다 Pref ( L ) = { x ∣ ∃ y st x y∈ L }Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in L\} 보여 현관 ( L )Pref(L)\text{Pref}(L) 반드시 결정할 수있는 것은 아닙니다. 하지만 내가 …

9 computability  undecidability