汤姆森的灯——按下无穷次开关之后，灯是亮还是灭？

大家好，我是 Senko。本文将解读“汤姆森的灯”悖论。

按一下开关灯亮，再按一下灯灭。如果把这个动作无限重复下去，最后灯到底是亮着还是灭着？一个出人意料答不上来的问题。

设定

这是英国哲学家詹姆斯·F·汤姆森于 1954 年在论文《Tasks and Super-Tasks》中提出的思想实验。汤姆森的目的，是揭示“超级任务（supertask）”——在有限时间内完成无穷多次操作——这一概念内在的问题。

按以下的时间点去按灯的开关：

每一步的间隔是上一步的一半。也就是说，到 1 秒结束时，无穷多次开关操作已全部完成。

那么，恰好 1 秒之后，灯是亮着，还是灭着？

假设灯亮着，那么最后一次操作应该是“开”。可是，每一次“开”之后都跟着一次“关”，所以“最后一次开”并不存在。

假设灯灭着也一样。每一次“关”之后都跟着一次“开”，“最后一次关”同样不存在。

也就是说，“最后一次操作”这个概念本身就不存在。无穷次操作没有“最后”，因此决定 1 秒后灯之状态的依据无处可寻。

要注意的是，这里说的不是“答案既不是开也不是关”，而是“不存在任何决定答案的逻辑依据”。灯必然处于开或关之一，但设定之中找不到任何线索来推断是哪一个。

乍看之下它与阿喀琉斯与乌龟悖论相似，但有一个重要区别。

在阿喀琉斯与乌龟那里，无穷步骤的总时间收敛于有限值。也就是说，“阿喀琉斯追上乌龟的瞬间”明确存在，并且在那一刻过渡到新的状态（超过乌龟）。

汤姆森的灯中，无穷步骤的总时间同样收敛于 1 秒，但决定 1 秒后状态的信息却哪里都没有。无穷的操作在 1 秒内全部结束，其“结果”却没有被定义。

用数学的话说，表示灯状态的函数（在 0 到 1 秒之间于开与关之间无限切换）在 t = 1 处不存在极限。函数在 0 和 1 之间持续振荡，不收敛于任何一个值。

这一点与芝诺悖论不同。芝诺那里的无穷级数收敛于一个值，极限存在；而汤姆森的灯发散（或者说振荡），极限不存在。

因此，对于“1 秒后灯是什么状态”这个问题，数学上也没有明确答案。这意味着问题本身未被定义——与其叫悖论，或许更应解释为“一个没有答案的问题”。

1962 年，哲学家保罗·贝纳塞拉夫对汤姆森的灯提出了重要反驳。他主张：“1 秒后灯的状态不确定”并不是悖论，只是问题设定的局限。

1 秒之前每个时刻的灯态都被完整定义了，但设定中不包含任何对“恰好 1 秒时刻”的约束。也就是说，1 秒后灯亮不矛盾，灯灭也不矛盾。“两者都与设定相容”这件事本身就是答案——这是贝纳塞拉夫的见解。

与汤姆森的灯相关的超级任务思想实验还有一些。

“罗斯–利特尔伍德悖论”：往花瓶里放 10 个球再取出 1 个，把这个操作无限重复后，花瓶里最终有几个球？答案可能是 0 个也可能是无穷个——取决于取球的方式，结果之惊人可见一斑。

“无限巧克力”：把一板巧克力按特定方式切开再重新拼合，看起来凭空多出一块——这个小把戏也是超级任务的直观类比（不过它实际上可以用面积减少来解释）。

在现实世界里，汤姆森的灯是执行不了的。按开关的间隔无限缩短，迟早会低于普朗克时间（约 5.4×10⁻⁴⁴ 秒），不再是有物理意义的时间间隔；而且按开关的速度还得超过光速。

汤姆森的灯是纯粹的数学与哲学思想实验，它展示了把“无穷”概念强行带入有限物理世界时会发生什么。

汤姆森的灯抛出的“在有限时间里做完无穷次操作”这个设定，此后被以各种形式检视过。