다항 벡터장의 Lyapunov 안정성 판정은 결정 불가능하다

다항 벡터장의 Lyapunov 안정성을 결정하는 문제는 계산적으로 불가능하다는 사실이 밝혀졌다.