Theo hiểu biết của tôi, vấn đề tạm dừng hỏi liệu có tồn tại một chương trình quyết định xem chương trình đang được thử nghiệm hay không, được cung cấp một số dữ liệu đầu vào (bất kể đó là chương trình nào, hoặc dữ liệu đầu vào nào chúng tôi cung cấp) sẽ chấm dứt hay không. Câu trả lời cho vấn đề này là 'không'. Nói cách khác, không có chương trình 'đơn' nào có thể xác minh nó cho tất cả các cặp có thể (một số thuật toán, một số dữ liệu đầu vào).
Nhưng điều đó không có nghĩa là chúng tôi không thể quyết định liệu chương trình cụ thể X sẽ chấm dứt hay không.
Tôi chưa thể nhận xét các câu trả lời khác, nhưng một trong số đó khiến tôi chú ý:
Về mặt thực tế, điều này rất quan trọng vì nó cho phép bạn nói với những ông chủ không biết gì của mình "những gì bạn đang hỏi là không thể về mặt toán học".
Có lẽ bạn có thể cho tôi biết người đó có nghĩa là gì? Trong kịch bản của tôi, ông chủ không biết gì của tôi có thể yêu cầu tôi xác minh (thực tế, chứng minh hoặc từ chối) nếu chương trình của tôi (đó là một chương trình cụ thể) sẽ chấm dứt hay không. Và tất nhiên, có những cặp (thuật toán, dữ liệu đầu vào) có thể được chứng minh là chấm dứt (hoặc không bao giờ chấm dứt).
Câu hỏi là - tôi có thể chứng minh điều đó cho từng cặp như vậy (chương trình, dữ liệu đầu vào) không? Ngay cả khi câu trả lời là có, thì vẫn có một vấn đề - có thể có vô số 'dữ liệu đầu vào'. Vì vậy, thật tự nhiên khi hỏi - tôi có thể chứng minh, đối với mọi thuật toán, thuật toán này sẽ chấm dứt (hoặc ngược lại), bất kể tôi cung cấp dữ liệu đầu vào nào?