大家好，我是 Senko。 本文将解读“汤姆森的灯”悖论。
按一下开关灯亮，再按一下灯灭。如果把这个动作无限重复下去，最后灯到底是亮着还是灭着？一个出人意料答不上来的问题。
设定
这是英国哲学家詹姆斯·F·汤姆森于 1954 年在论文《Tasks and Super-Tasks》中提出的思想实验。汤姆森的目的，是揭示“超级任务（supertask）”——在有限时间内完成无穷多次操作——这一概念内在的问题。
按以下的时间点去按灯的开关：
- 第 0 秒按下开关（开）
- 第 0.5 秒按下开关（关）
- 第 0.75 秒按下开关（开）
- 第 0.875 秒按下开关（关）
- ……
每一步的间隔是上一步的一半。也就是说，到 1 秒结束时，无穷多次开关操作已全部完成。
那么，恰好 1 秒之后，灯是亮着，还是灭着？
为什么答不上来
假设灯亮着，那么最后一次操作应该是“开”。可是，每一次“开”之后都跟着一次“关”，所以“最后一次开”并不存在。
假设灯灭着也一样。每一次“关”之后都跟着一次“开”，“最后一次关”同样不存在。
也就是说，“最后一次操作”这个概念本身就不存在。无穷次操作没有“最后”，因此决定 1 秒后灯之状态的依据无处可寻。
要注意的是，这里说的不是“答案既不是开也不是关”，而是“不存在任何决定答案的逻辑依据”。灯必然处于开或关之一，但设定之中找不到任何线索来推断是哪一个。
与阿喀琉斯与乌龟的区别
乍看之下它与阿喀琉斯与乌龟悖论相似，但有一个重要区别。
在阿喀琉斯与乌龟那里，无穷步骤的总时间收敛于有限值。也就是说，“阿喀琉斯追上乌龟的瞬间”明确存在，并且在那一刻过渡到新的状态（超过乌龟）。
汤姆森的灯中，无穷步骤的总时间同样收敛于 1 秒，但决定 1 秒后状态的信息却哪里都没有。无穷的操作在 1 秒内全部结束，其“结果”却没有被定义。
从数学上看
用数学的话说，表示灯状态的函数（在 0 到 1 秒之间于开与关之间无限切换）在 t = 1 处不存在极限。函数在 0 和 1 之间持续振荡，不收敛于任何一个值。
这一点与芝诺悖论不同。芝诺那里的无穷级数收敛于一个值，极限存在；而汤姆森的灯发散（或者说振荡），极限不存在。
因此，对于“1 秒后灯是什么状态”这个问题，数学上也没有明确答案。这意味着问题本身未被定义——与其叫悖论，或许更应解释为“一个没有答案的问题”。
贝纳塞拉夫的反驳
1962 年，哲学家保罗·贝纳塞拉夫对汤姆森的灯提出了重要反驳。他主张：“1 秒后灯的状态不确定”并不是悖论，只是问题设定的局限。
1 秒之前每个时刻的灯态都被完整定义了，但设定中不包含任何对“恰好 1 秒时刻”的约束。也就是说，1 秒后灯亮不矛盾，灯灭也不矛盾。“两者都与设定相容”这件事本身就是答案——这是贝纳塞拉夫的见解。
其他超级任务的例子
与汤姆森的灯相关的超级任务思想实验还有一些。
“罗斯–利特尔伍德悖论”：往花瓶里放 10 个球再取出 1 个，把这个操作无限重复后，花瓶里最终有几个球？答案可能是 0 个也可能是无穷个——取决于取球的方式，结果之惊人可见一斑。
“无限巧克力”：把一板巧克力按特定方式切开再重新拼合，看起来凭空多出一块——这个小把戏也是超级任务的直观类比（不过它实际上可以用面积减少来解释）。
物理上无法执行
在现实世界里，汤姆森的灯是执行不了的。按开关的间隔无限缩短，迟早会低于普朗克时间（约 5.4×10⁻⁴⁴ 秒），不再是有物理意义的时间间隔；而且按开关的速度还得超过光速。
汤姆森的灯是纯粹的数学与哲学思想实验，它展示了把“无穷”概念强行带入有限物理世界时会发生什么。
与无穷操作相关的悖论
以下是与汤姆森的灯同样涉及无穷次操作与无限分割的相关悖论。
结语
本文解读了“汤姆森的灯”。
无穷次操作可以完成，其“结果”却不存在。向无穷的操作索要“结果”，这件事本身也许就是概念上的错误。设定极其简单，却让人窥见无穷的深渊——这就是这个悖论的魅力。
想返回悖论列表的读者请点击下方链接。
我们下一篇文章见。
📚 系列：世界经典悖论（18/57）
