Mô tả bài toán dừng (Halting Problem) được đưa ra bởi Alan Turing. Giải thích tại sao không thể xây dựng một thuật toán chung để xác định xem một chương trình bất kỳ có dừng hay không khi chạy trên một đầu vào nhất định, và chứng minh bằng phương pháp đối chứng (proof by contradiction).