Theo luận án của Church-Turing, không thể thiết kế một thuật toán để quyết định vấn đề tạm dừng.
Liệu thuật toán từ trong ngữ cảnh này có bao gồm trí thông minh nhân tạo hay không, nghĩa là luận án Church-Turing cũng áp dụng cho trí tuệ nhân tạo?
Có thể thiết kế một hệ thống tình báo trong tương lai để quyết định vấn đề này, hoặc, theo luận điểm của Church-Turing, không AI nào cũng có thể quyết định vấn đề tạm dừng?