Giải thích Vấn đề dừng (Halting Problem) của Alan Turing. Tại sao không thể viết một thuật toán tổng quát để xác định xem bất kỳ chương trình máy tính nào sẽ kết thúc chạy hay chạy mãi mãi cho một đầu vào bất kỳ? Hãy sử dụng phương pháp quy nạp hoặc chứng minh bằng phản chứng để minh họa.