Giải thích 'Vấn đề Dừng' (Halting Problem) và cung cấp một phác thảo chứng minh về việc tại sao không có thuật toán nào có thể quyết định xem một chương trình bất kỳ sẽ dừng hay chạy mãi mãi. Sử dụng phương pháp quy nạp hoặc lập luận đối ngẫu (diagonalization argument) để làm rõ lý do tại sao đây là một vấn đề không thể giải quyết được (undecidable).