Hãy chứng minh bằng quy nạp (reductio ad absurdum) rằng không tồn tại một chương trình máy tính tổng quát nào có thể nhận đầu vào là một mã nguồn P và dữ liệu đầu vào D, sau đó luôn xác định chính xác xem chương trình P có sẽ dừng hay chạy mãi mãi khi xử lý D. Hãy phân tích ý nghĩa của kết quả này đối với giới hạn của năng lực tính toán và trí tuệ nhân tạo.