Một thuật toán đúng đòi hỏi phải có tính dừng

Mọi bài toán đều có thể giải bằng máy vi tính

Mỗi bài toán luôn có duy nhất một thuật toán để giải

Một thuật toán đúng đòi hỏi phải có tính dừng

Output là dữ liệu cần để giải bài toán