トムソンのランプとは何か|Thomson's Lamp・スーパータスクと「無限回の操作」の終端

ジェームズ・F・トムソンが1954年に提示した「トムソンのランプ」。無限回のスイッチ操作を終えた後、ランプは点いているのか消えているのか。スーパータスクという概念が開く、無限と論理の深淵を探る。

#スーパータスク #無限 #トムソンのランプ #哲学 #数学哲学

ランプは、点いているのか。消えているのか。

2分間。

その間に、あなたはスイッチを無限回押すことができる。

1分後に1回目。その30秒後に2回目。その15秒後に3回目——半分、また半分、また半分。各操作の間隔は等比級数的に縮み、2分という有限の時間の中に、無限の操作が詰め込まれる。

2分ちょうどで、全ての操作が終わる。

さて——ランプは今、点いているか。消えているか。

哲学者 ジェームズ・F・トムソン(James F. Thomson) が1954年の論文 “Tasks and Super-Tasks”Analysis, 15(1), 1-13)でこの問いを提示したとき、彼は答えを出したわけではなかった。彼はむしろ、この問いに答えがないことを示そうとしていた。

それがこの思考実験の本質だ。答えのなさが、答えなのだ。


スーパータスクとは何か

まず概念を整理しておく。

スーパータスク(Supertask) とは、「有限の時間内に無限個のステップを実行する作業」のことだ。トムソン自身が1954年の論文で名付けた。

一見、これは単なる数学の問題に思える。等比級数 1/2 + 1/4 + 1/8 + … = 1 は高校数学の範囲だ。無限和が有限値に収束する。この意味では、「2分間で無限回操作する」ことは数学的に記述可能だ。

しかしここに、哲学の問いが潜んでいる。

数学的に記述できることと、物理的・論理的に実行可能であることは、同じではない。無限和が1に収束する——それは操作の「進行」を記述している。しかし、その操作の終端状態について、何も語っていない。

等比級数は、2分という時点までの合計時間を計算する。操作列のそれぞれの結果を記述する。だが「すべての操作が終わった後」という状態は、級数の中にどこにも登場しない。

トムソンのランプは、まさにその空白地帯を照らし出す。


なぜ答えが出ないのか

直感的に追ってみる。

ランプは最初、消えているとしよう。

1回目の操作(1分後): 点く。 2回目(1分30秒後): 消える。 3回目(1分45秒後): 点く。 4回目(1分52秒30秒後): 消える。

奇数回の操作の後はランプが点いている。偶数回の後は消えている。

では無限回の操作の後は——最後の操作が奇数番目か偶数番目かによって決まる。しかし「最後の自然数」は存在しない。無限に「最後」はない。よって、点いているとも消えているとも、論理的に導けない。

ここが核心だ。「最後の操作後の状態」を問うことは、最大の自然数を問うことに等しい。そのような数は存在しない。

トムソンはこの議論から、スーパータスクの完了という概念そのものが矛盾を含む、と主張した。無限の過程は「完了」できない——なぜなら、完了は「最後」を意味するが、無限に最後はないからだ。

答えは、ない。

ただし——「答えがない」ということ自体も、一つの答えなのかもしれない。この問いが持つ奇妙な構造はそこにある。答えのなさが、問いの深さを証明する。


ベナセラフの反論——数学は中立だ

1962年、哲学者 ポール・ベナセラフ(Paul Benacerraf) がトムソンへの反論を発表した(“Tasks, Super-Tasks, and the Modern Eleatics”, Journal of Philosophy, 59(24), 765-784)。

ベナセラフの論点はシンプルだ。

数学的な無限収束は、終端状態について何も主張しない。操作列 {消→点→消→点→…} の極限を問うことは、数学的に定義されていない。これは「答えがない」のではなく、「問い自体が不適切に設定されている」ということだ。

つまり、「2分後のランプの状態」を論理的に導こうとすること自体が誤りだと、ベナセラフは言う。スーパータスクの完了後の状態は、先行する無限の操作列からは独立した変数だ。

点いていてもよい。消えていてもよい。その選択を、過去の操作は「決定しない」。

この立場からすると、トムソンのランプは矛盾の実証ではなく、単に終端状態が未定義の系だということになる。矛盾ではなく、空白だ。

これは奇妙な結論だ。過去が未来を決定しない——そんな系が存在しうるのか。物理学者なら即座に却下するかもしれない。しかし哲学者は、そこに立ち止まる。

なぜなら、ここに「決定論」の問いが滑り込んでくるからだ。


グリュンバウムの問い——物理的実現可能性

1969年の論文 “Can an Infinitude of Operations be Performed in a Finite Time?”The British Journal for the Philosophy of Science, Vol.20)で、哲学者 アドルフ・グリュンバウム(Adolf Grünbaum) はスーパータスクの物理的実現可能性に問いを向けた。

等比級数が収束するとしても、実際の物理系では操作の間隔は限りなく短くなる。最終的には プランク時間(約5.39×10⁻⁴⁴秒) という量子力学的な時間の最小単位に到達し、それ以下の時間分解能は物理的に意味を持たなくなる。

つまり、「完全なスーパータスク」は物理的宇宙では実現不可能かもしれない。

しかし——ここが思考実験の醍醐味だ——物理的に不可能であることと、論理的に矛盾することは別だ。

トムソンのランプは「実際に作れるか」を問うていない。「無限の操作が完了するとはどういう意味か」を問うている。物理的限界の話は、哲学の問いを解決しない。むしろ、問いをより鮮明にする。

プランク時間という壁があるとするなら、私たちの宇宙は「スーパータスクが実行不可能な宇宙」なのかもしれない。そしてそれは、「完了」という概念が有限の宇宙にしか馴染まないことを、間接的に示唆している。


ゼノンとの対話——走り続ける思考

トムソンのランプは、ゼノンのパラドックスの現代版ともいえる。

ゼノンのアキレスは、無限の「分割」を有限の運動の中に見出した。トムソンのランプは、無限の「操作」を有限の時間の中に詰め込む。どちらも、無限と有限の境界面を問う。

ゼノンへの「解答」は、微積分学によって与えられた。無限和の収束という概念が、アキレスが亀を追い越すことを数学的に正当化した。しかしゼノン自身が問うていたのは、本当に「アキレスは追いつけるか」だったのか。あるいは、「無限を含む記述で有限の運動を語れるか」を問うていたのか——そこには今もわずかな疑念が残る。

同じ構図が、トムソンのランプにもある。

数学が「2分後には全操作が終わる」と語る。しかし哲学は「全操作が終わった後とはどういう状態か」と問い返す。この二つは、同じ言葉を使いながら、全く別の問いを立てている。

ヒルベルトのホテルが「無限の収容」を問うたとすれば、トムソンのランプは 「無限の終端」 を問う。無限大のホテルには無限の客を収容できる。では無限の操作の後に、何が「残っている」のか。

どちらも、日常言語が「無限」を扱おうとしたときに発生する、静かな亀裂だ。


「完了」という概念の限界

トムソンのランプが本当に問うているのは、ランプの点滅状態ではない。

「完了」という概念が、無限に適用できるかどうか——それを問うている。

私たちは日常の中で「終わる」という概念に親しんでいる。仕事が終わる。会議が終わる。人生が終わる。これらはすべて、最後のステップがあるという前提に立っている。

しかし無限のプロセスには、最後のステップがない。最後がない過程が「終わる」とは、どういうことか。

トムソンはこの問いを通じて、数学的な無限収束と、プロセスとしての「完了」を混同することへの警告を発した。2分後に等比級数の和が1になる——これは数学の言語だ。しかし2分後にランプが何らかの状態にある——これは物理と論理の言語だ。この二つの言語は、同じことを語っていない。

この亀裂に気づいた瞬間、多くの「当然のように思っていたこと」が揺らぐ。

無限を扱う数学は完成している。しかし無限を「経験する」ことの意味は、未完成だ。私たちの言語も、直感も、完了した無限を想像するための道具を、まだ持っていないのかもしれない。


この思考実験が残すもの

答えは、ない。

あるいは、問いの立て方自体が問われている——というのが答えかもしれない。

トムソンのランプが今も語られ続けるのは、それが解けないからではない。「解けない問いがある」という事実を、論理的に鮮明に示すからだ。

哲学の仕事の一つは、解くことではなく、問いを正確に立てることだ。トムソンは1954年に、「無限」と「完了」という二つの概念が素直に共存できないことを、一つのランプの点滅で示してみせた。

このランプは今も、点いているのか消えているのか分からないまま、どこかの思考の中に存在している。


考えるための問い

  • 「完了した無限」という概念は、論理的に意味を持つか。それとも、無限は定義上「完了しない」か。
  • ベナセラフの立場——終端状態は先行する操作から独立している——を受け入れると、何が変わるか。過去は未来を決定しない、という含意はどこに向かうか。
  • 物理的に不可能な思考実験は、哲学的に有効か。実現不可能な前提から導かれる結論に、どれほどの重みがあるか。
  • 日常の「プロセスが終わる」という経験と、無限のプロセスの「完了」は、同じ意味の「終わる」か。

関連項目


参考文献

  • Thomson, J. F. (1954). “Tasks and Super-Tasks”. Analysis, 15(1), 1-13
  • Benacerraf, P. (1962). “Tasks, Super-Tasks, and the Modern Eleatics”. Journal of Philosophy, 59(24), 765-784
  • Grünbaum, A. (1969). “Can an Infinitude of Operations be Performed in a Finite Time?”. The British Journal for the Philosophy of Science, 20(3), 203-218
  • Laraudogoitia, J. P. (2019). “Supertasks”. Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/spacetime-supertasks/
Share

🧪 同じカテゴリの記事

🔀 他のカテゴリの記事