2分後のランプ
スイッチに手を伸ばす。
最初の1分でランプを点ける。次の30秒で消す。次の15秒で点ける。7.5秒で消す。3.75秒で点ける——。
切り替えのたびに間隔が半分になる。無限に繰り返す。2分後、この無限の切り替えが完了する。
さて。ランプは点いているか、消えているか。
これが トムソンのランプ（Thomson’s Lamp） だ。1954年、イギリスの哲学者ジェームズ・F・トムソン（James F. Thomson, 1921–1993）が論文 “Tasks and Super-Tasks” の中で提示した思考実験。掲載誌は Analysis（ISSN 0003-2638）第15巻第1号。以来70年、この問いは哲学と数学の境界線上に刺さったまま抜けていない。
答えは、ない。
正確に言えば——「点いている」も「消えている」も、どちらも論理的に正当化できない。そしてこの「正当化できない」という事実こそが、問いの本体だ。
スーパータスクとは何か
「スーパータスク（Supertask）」という語も、トムソンが同論文で導入した。
無限個の操作を有限の時間の中で完了させる——そういう行為の総称だ。
ゼノンのパラドックスと系譜を共にしている。アキレスが亀に追いつくためには、まず距離の半分を進まなければならない。そのためには四分の一を。その前に八分の一を。無限の操作が先行する。にもかかわらず、アキレスは走り切る。
数学はこの問題を解決した——ように見えた。無限級数 1/2 + 1/4 + 1/8 + … は収束して1になる。無限の和が有限の値を持つ。問題は消えた、と思われた。
しかしトムソンは問い直した。数学的な収束は、物理的な完了を意味するか。
数列が収束するのは極限という概念の枠内での話だ。「無限番目の項」は数列のどこにも存在しない。収束値は到達される終点ではなく、無限に近づく過程の記述に過ぎない。
では、実際にランプのスイッチを無限回切り替えた「後」の状態とは何か。
問いの核心
点いているか消えているか、という問いに答えようとすると、即座に矛盾に突き当たる。
「点いている」と答えるとする。しかし最後に点けたのは何番目の操作だったか。奇数番目の操作で点け、偶数番目で消す設計なら、最後に行われた操作が「点ける」操作であるためには「奇数番目の最後の操作」が存在しなければならない。自然数に最大値はない。最後の操作は存在しない。
「消えている」と答えるとする。同じ問題が生じる。「偶数番目の最後の操作」も、また存在しない。
「点いているか消えているかのどちらか」と答えるとする。どちらかは分からなくてもいい、確定的な状態があるはずだ——この立場も、上の二択が双方とも根拠を持てないなら、その「確定的な状態」の根拠をどこから引いてくるか。
問いが成立しない、というのが正直な結論だ。
しかしそれは、「問いが無意味だ」という意味ではない。問いが成立しないことの意味こそが、問いの深さだ。
ベナセラフの批判
1962年、哲学者ポール・ベナセラフ（Paul Benacerraf, 1931–）が論文 “Tasks, Super-Tasks, and the Modern Eleatics”（The Journal of Philosophy, 59(24)）でトムソンに応答した。
ベナセラフの主張は鋭い。トムソンは無限の過程を記述したが、2分後の状態を規定していない。
考えてみる。自然数に最大値がないのは自明だ。しかし、「2分後のランプの状態」という変数を別途定義すれば、その値は原理的に任意に設定できる。無限の操作が完了した後の状態は、その過程の延長線上に自動的に決まるものではない——物理的にも、論理的にも。
ベナセラフは言う。トムソンのランプが「不可能」なのは、無限の操作が遂行できないからではなく、仕様の記述が不完全だからだ。問いが矛盾を生じているのは、「2分後の状態」を明示的に定義していないからに過ぎない。
この批判は鋭く、哲学的には一つの「解決」に見える。
だが、何かが引っかかる。
ベナセラフの解決を受け入れると、「ランプの最終状態は何でもよい」ということになる。点いていても、消えていても、論理的に許容される。それは答えを得たのか。それとも「問う意味がない」と宣言したのか。
仕様の問題として処理するとき、問いの重みが消える。トムソンが問いたかったのは、仕様ではない。無限の操作と物理的実在の関係だったはずだ。
ブラックの天才と現実の抵抗
ベナセラフの批判に対し、マックス・ブラック（Max Black, 1909–1988）は別の角度から議論を展開した。
ブラックの立場は単純明快だ。スーパータスクは物理的に実行不可能であり、それがすべてを物語る。
スイッチの切り替えに要する時間は、現実の物理では有限の下限を持つ。プランク時間（約5.39 × 10⁻⁴⁴秒）を下回る操作は、現在の物理理論では定義できない。無限回の切り替えを2分間で完了させるには、どこかの時点で光速を超える速度での情報伝達が必要になる。これは相対論的に禁止されている。
だから現実のランプにトムソンのスーパータスクを適用することは、最初から不可能だ。問いは偽の前提の上に立っている——という退場の仕方。
これは「答え」か。
数学は現実の物理に縛られない。有理数の稠密性は、物理的な空間の量子化とは独立に成立する。数学的な可能性と物理的な可能性の間には、埋めがたい溝がある。ブラックが言っているのは、物理の話だ。トムソンが問うていたのは、むしろその溝そのものだったかもしれない。
ノートンの現代的介入
2004年、ジョン・D・ノートン（John D. Norton, 1960–）が論文 “Infinite Pains: The Trouble with Supertasks”（A. Morton & S. P. Stich 編『Benacerraf and his Critics』Blackwell）でこの問題を現代的に再論した。
ノートンの議論は技術的だが、核心は明快だ。スーパータスクに関する哲学的問いの多くは、「完了した無限の過程の最終状態」という概念の曖昧さに由来する、という診断。
無限の操作の「完了」とは何か。数学的には、極限を取ることに対応する。しかし物理的な過程に極限操作を適用するとき、その手続きは自明ではない。どのような位相でどのような収束を考えるかによって、「最終状態」の定義は変わりうる。
ノートンの見立てでは、トムソンのランプが「答えられない」のは、この意味での不確定性に起因する。点いているか消えているかの二択が成立しないのは、問いそのものが物理と数学の接合点に存在しているからだ。
この診断を受け入れるとき、問いは消えない。位相を変えれば答えは変わるかもしれない。しかし「どの位相が正しいか」という問いが、その下に続く。
ゼノンとの系譜
ゼノンのパラドックスは紀元前5世紀のものだ。アキレスは亀に追いつけない——しかし現実には追いつく。この乖離を埋めるのに、数学は2500年かけた。
トムソンのランプは、その解決の先にある問いだ。
無限級数が収束することは知っている。「無限の和」が意味を持つことは知っている。しかし「無限の操作が完了した後」という状況は、数学的に定義できない。
ゼノンは「無限の操作が完了できるか」を問うた。 トムソンは「無限の操作が完了したとき、何が残るか」を問うた。
前者は数学が答えた。後者は、まだ誰も答えていない。
あるいは、答えるべき問いではないのかもしれない。問いの形式が間違っているのかもしれない。「無限の操作の後の状態」という概念自体が、自己矛盾を孕んでいるのかもしれない。
しかしそれを「間違い」と言い切った瞬間に、何かが失われる。
計算可能性の壁
コンピュータ科学の文脈でも、スーパータスクは奇妙な問いを投げかける。
チューリングマシンは有限ステップの計算を行う。無限のステップを有限時間で完了させる「加速するチューリングマシン（Accelerating Turing Machine）」という概念が理論的に提案されている。このような機械が実現すれば、停止問題を解けてしまう——決定不能であることが証明されている問題が、解けてしまう。
何かがおかしい、という感覚がある。
加速するチューリングマシンは物理的に実現不可能だ、という立場がある。スーパータスクが物理的に不可能なのと同じ理由で。では計算可能性の限界は、数学的な限界か、物理的な限界か、それとも論理的な限界か。
ゲーデルの不完全性定理は、形式的体系の内側からの問いだった。トムソンのランプは、数学と物理の境界からの問いだ。両者が交差する地点に、「何が原理的に知れるか」という問いが浮かぶ。
数学は現実を記述するか
この思考実験が最終的に連れて行くのは、数学の哲学の核心だ。
数学は現実の記述ツールか。それとも独立した抽象の王国か。
純粋な記述ツールなら、物理的に実現不可能な状況に数学を適用することは道具の誤用だ。ブラックの立場はここに近い。
独立した抽象の王国なら、数学は物理を超えた問いに答えうる。しかしその問いが「物理的なランプの状態」を問うなら、数学の答えは現実に何も言っていないかもしれない。
この溝を前にして、哲学者たちは分かれる。
数学的プラトニストは言う。数学的対象は実在し、その法則は発見されるものだ。無限の操作が数学的に記述できるなら、それは「何か」を指している。
フィクショナリストは言う。数学は便利なフィクションだ。収束の概念はツールとして有用だが、「無限の操作の後」という状況をフィクションの外に持ち出せる理由はない。
直観主義者は言う。そもそも実際に構成できない無限を数学的に扱うこと自体に問題がある。無限の完了を前提とした議論は最初から禁じ手だ。
どの立場も完全ではない。どの立場も、問いを消さずに形を変えて引き継ぐ。そこに議論の終わりは来ない。
問いを持ち帰る
2分が経過した。
ランプは、どちらでもある。ランプは、どちらでもない。ランプは、問いそのものだ。
トムソンが “Tasks and Super-Tasks” を書いたのは70年前だ。それ以来、哲学者、数学者、物理学者がこの問いに向き合ってきた。誰も決定的な答えを持ち帰っていない。
しかしこの沈黙は、問いの失敗を意味しない。
「点いているか消えているか」という問いに答えられないとき、何が起きているのかを問い直すことができる。問いが成立しないなら、なぜ成立しないのかを問うことができる。数学と物理の間に何があるかを、その亀裂の縁に立ちながら問うことができる。
ゼノンの亀はとうの昔に追い越された。
トムソンのランプは、まだ点滅している。
この問いが示すのは、おそらく「無限の扱い方が難しい」という技術的な問題ではない。
数学的に完全に記述できるものが、物理的にも意味を持つとは限らない——という、より深い問題だ。
あるいは逆に。物理的に問える問いが、数学的に答えられるとは限らない——という問題でもある。
トムソンのランプは、この境界線の上に置かれている。
答えを持たない問いは、考える価値がないか。
それとも——答えを持たないからこそ、考え続ける価値がある問いがあるか。
この思考実験と向き合うとき
スーパータスクの問いは、「無限とは何か」という問いの実践的な側面だ。数列の収束は数学が教えてくれる。しかし「収束した後」という概念は、数学の外にある。
考えるための問い
- 数学的に記述できることは、すべて「起こりうること」か。 数学の可能性と物理の可能性の間に、どんな関係があるか。
- 「無限の操作が完了する」とはどういう意味か。 最後の操作が存在しないなら、「完了」という言葉は何を指しているか。
- ベナセラフは「仕様の問題」と診断した。それで問いは解決されるか、それとも別の問いに置き換えられるだけか。
- ゼノンのパラドックスは数学が解決した。トムソンのランプも、いつか解決されるか。それとも、解決という形が馴染まない問いか。
- 「答えがない問い」は、意味のある問いか。 答えられないことが分かっている問いを持ち続けることに、どんな意味があるか。
関連する思索
- ベナーデッツのパラドックス——無限の壁が生む「到達不可能性」
- プリコミットメントとは何か——未来の自分を縛る哲学的思考実験
- ゼノンのパラドックス——アキレスはなぜ亀に追いつけないのか
- チューリングテストの現代的意味——知性の境界を問い続ける思考実験
参考文献
- Thomson, J. F. (1954). “Tasks and Super-Tasks”. Analysis, 15(1), 1–13. ISSN 0003-2638.
- Benacerraf, P. (1962). “Tasks, Super-Tasks, and the Modern Eleatics”. The Journal of Philosophy, 59(24), 765–784.
- Black, M. (1951). “Achilles and the Tortoise”. Analysis, 11(5), 91–101.
- Norton, J. D. (2004). “Infinite Pains: The Trouble with Supertasks.” In A. Morton & S. P. Stich (Eds.), Benacerraf and his Critics. Blackwell. pp. 11–21.
- Laraudogoitia, J. P. (1996). “A Beautiful Supertask”. Mind, 105(417), 81–83.
- Grünbaum, A. (1969). “Can an Infinitude of Operations be Performed in a Finite Time?”. British Journal for the Philosophy of Science, 20(3), 203–218.