계산문제 A를 해결하는 알고리즘이 존재하면
A는 계산가능하다고 정의한다는데

만약 A를 해결하는 결정론적 알고리즘이 존재하지않고
A를 해결하는 비결정적 알고리즘이 존재하면

그래도 A는 계산가능한거맞아?

특별한 언급없이 알고리즘이라고만하면
결정론적 알고리즘을 총칭하는거라는 얘기도있어서

뭐가맞는질 모르겠음.

비결정론적 알고리즘만으로 해결가능해도
계산가능하다고 말해?

- dc official App