It is believed that if a problem can be solved by an algorithm, there exists a Turing machine that solves the problem.
Người ta tin rằng nếu một vấn đề có thể được giải quyết bởi một thuật toán, thì cũng có một máy Turing giải quyết vấn đề đó.