Giải thích chi tiết về Bài toán dừng (Halting Problem) của Alan Turing. Hãy xây dựng một lập luận quy nạp hoặc phương pháp đối chứng (proof by contradiction) để chứng minh tại sao không thể tồn tại một thuật toán chung nào có thể xác định xem một chương trình tùy ý có dừng lại hay không chạy mãi mãi.