1. 老师的“绝对宣言”
在某个星期五放学回家的路上，数学老师对学生们宣布了一个可怕的决定。
“下周从星期一到星期五的某一天，将只进行一次‘突击测验’。 但是，如果在当天的早晨你们能够确切地预测出‘今天就是测验的日子’，那就不能算是突击测验了，所以那一天就不会进行测验。”
听到这个宣言，学生们不禁颤抖起来。因为每天都必须在不知道何时测验的恐惧中度过。 然而，班里最聪明的A同学，突然得意地笑了笑站了起来。
“大家放心吧。下周绝对不可能进行突击测验。这在逻辑上是不可能的！”
A同学自信满满地开始在黑板上写下以下“完美的逻辑”。
2. A同学通过“完美逻辑”的证明
A同学的证明使用了一种叫做**从“星期五”开始倒推（反向推理）**的数学技巧。
步骤1：消除星期五的可能性
假设星期一、二、三、四这4天一直没有进行测验。 那么，剩下的日子就只有“星期五”了。 在星期五的早晨，学生们必定能够确切地预测出“因为只剩下今天了，所以今天绝对要测验！”。 根据老师的宣言，“能预测出的日子不进行测验”，因此在星期五进行突击测验在逻辑上是不可能的。 所以，星期五绝对没有测验。
步骤2：消除星期四的可能性
既然星期五没有测验已经确定了。 也就是说，可能进行测验的最后一天是“星期四”。 假设星期一、二、三这3天没有进行测验。 那么，剩下的可能性就只有星期四了（星期五已经被排除了）。 在星期四的早晨，学生们就能确切地预测出“今天测验！”。 所以，星期四也绝对没有测验。
步骤3：所有的星期都被消除
只要重复同样的逻辑即可。 既然没有星期四，最后一天就变成了星期三。因此，如果到星期二还没有测验，星期三的早晨就能预测出来，所以星期三也被消除了。 星期三被消除的话，星期二也会被消除，星期一也会被消除。 结论：只要遵守老师的规则，无论是从周一到周五的哪一天，绝对不可能进行突击测验！
（周一至周四无测验）"] -->|可以预测"只剩星期五"| NoFri["星期五不可测验"] Thu["星期四早晨
（周一至周三无测验）"] -->|可以预测"因为没有星期五，所以只剩今天"| NoThu["星期四不可测验"] Wed["星期三早晨"] -->|可以预测"因为没有周四周五，所以只剩今天"| NoWed["星期三不可测验"] Tue["星期二早晨"] -->|同理可预测| NoTue["星期二不可测验"] Mon["星期一早晨"] -->|同理可预测| NoMon["星期一不可测验"] NoFri -.-> Thu NoThu -.-> Wed NoWed -.-> Tue NoTue -.-> Mon style NoFri fill:#ff9999,stroke:#333 style NoThu fill:#ff9999,stroke:#333 style NoWed fill:#ff9999,stroke:#333 style NoTue fill:#ff9999,stroke:#333 style NoMon fill:#ff9999,stroke:#333
班上的学生们欢呼雀跃。A同学的逻辑堪称完美，似乎找不到任何破绽。 他们周末尽情玩耍，根本没为测验做任何学习准备，就这样迎来了星期一。
星期一……没有测验。“看吧！” 星期二……没有测验。“A同学说得对！”
然后是星期三的早晨。 教室的门“哐”地一声被打开，老师走进来并说道：
“好了，把桌子收拾一下。现在开始突击测验！”
学生们陷入了恐慌。 “为，为什么！？星期三会有测验，根本就没预测到啊！”
老师得意地笑了笑。 “看吧，你们没能预测到吧？我的‘宣言’完全正确，按照规则突击测验成立了哦。”
3. 究竟逻辑在哪里出了错？
明明A同学的证明看起来完美无缺，为什么现实中“完美的突击测验”却成立了呢？ 这个问题最初被称为“意想不到的绞刑悖论”，自从20世纪40年代由瑞典数学家伦纳特·埃克博姆提出以来，一直困扰着哲学家和逻辑学家们。
实际上，关于这个悖论目前还没有一个“这就是唯一绝对正确答案”的统一定论。不过，存在几种有力的解决途径。
途径1：“知识悖论（认识论）”
A同学推理中最大的陷阱在于，他将“老师的宣言100%是真实的”这个前提，融入到了自己的预测中。
老师的宣言由“下周进行测验（P）”和“能够预测的日子不进行测验（Q）”这两个条件组成。 如果到星期五还没有测验，学生会认为“如果宣言是正确的，那就只有今天了”，但同时也会产生疑问：“如果能预测出是今天，就违反了宣言的Q。那么是不是一开始P（进行测验）这个宣言本身就是谎言呢？”。
“老师的话绝对正确”这一信念与“逻辑推理”产生了冲突，结果导致学生们抱有了“老师不会进行测验”这一错误的结论（信念），其结果就是，无论何时给出测验，都会变成“意想不到的（突击）”状态。
途径2：“自我指涉悖论”
让我们把老师的话转换成逻辑表达式。 假设老师的主张为 $S$。 $S = $ “我将在某一天 $T$ 进行测验。并且，你们无法预测出那一天 $T$。”
这个主张具有一种**“自我指涉的结构”**，其真伪会根据学生们如何理解主张自身（宣言）而发生变化。就像“说谎者悖论（‘这句话是谎言’）”一样，它具有让逻辑推理陷入无限循环的性质。
4. 潜藏在日常生活中的“突击测验”
这个悖论不仅存在于数学中，也适用于我们的日常生活中。
【惊喜派对的困境】
假设朋友宣布：“这个月，要在你生日那天办个惊喜派对！”。 听到这话的你，每天都在猜测“是今天吗？是明天吗？”。 即使到了月底的最后一天还没有办派对，你也会推理出：为了满足“惊喜（无法预测）”的条件，最后一天肯定是绝对办不成的……。 但现实是，如果在月中随便哪天突然端出蛋糕，你就会受到一个完美的惊喜：“我真的被吓到了！”。
5. 总结
“突击测验悖论”完美地体现了将人类的“知道（预测）”这一状态本身纳入逻辑计算之中的困难。
我们自以为是“完美的推理”的东西，也许只不过是建立在“对方绝对遵守规则”这一毫无根据的信念之上的空中楼阁而已。 下次如果老师再说“要进行突击测验了”，似乎最合理的做法就是别去摆弄逻辑，老老实实每天学习。