Bài toán dừng của Turing cho thấy một giới hạn kỳ lạ của máy tính: có những câu hỏi được mô tả hoàn toàn rõ ràng, nhưng không tồn tại bất kỳ thuật toán tổng quát nào có thể luôn...