Câu hỏi 45
Isaac và Jeremy chơi một trò chơi. Isaac nói với Jeremy rằng anh ấy đang nghĩ đến $2^n$ số nguyên nào đó $k_1, \dots, k_{2^n}$, trong đó $n$ là một số nguyên dương. Jeremy hỏi các câu hỏi dạng "$k_i \lt k_j$ có đúng không?", và Isaac trả lời trung thực. Sau $n2^{n-1}$ câu hỏi, Jeremy phải nói liệu các số của Isaac có đôi một phân biệt hay không. Chứng minh rằng Jeremy không có cách nào bảo đảm rằng khẳng định của mình là đúng. Các câu hỏi của Jeremy có thể phụ thuộc vào các câu trả lời mà anh ấy đã nhận được, và được xác định hoàn toàn bởi chúng.
[Phát biểu khó hơn một chút: thay vào đó hãy hỏi "Jeremy có thể bảo đảm rằng khẳng định của mình đúng không?"]
[Phát biểu khó hơn một chút: thay vào đó hãy hỏi "Jeremy có thể bảo đảm rằng khẳng định của mình đúng không?"]