物理理論はなぜ『矛盾しないこと』を証拠にするのか

『無矛盾性』って、要するに『矛盾がない』ってことだよね。でも物理学で言う『矛盾がない』と、数学で言う『矛盾がない』は同じ意味なの？

数学での「矛盾がない」は純粋に論理の内部での一貫性です。方程式系が自己矛盾を持たないなら、その条件下では必ず成り立つ。対象が現実に存在するかどうかは問わない。一方、物理学が「矛盾がない」と言うときは、その背後に「現実の観測と合致する」という別の条件が暗黙に含まれていることが多い。つまり、どちらも形式上は無矛盾性を指していても、物理学者がそれを根拠に「これは真実だ」と言えるのは、実験データや観測事実との整合性が介在しているからなんですよね。この研究が「見えない架け橋」を可視化しようとしているのは、その間隙を埋める論理のステップが、論文の中でどう積み上げられているかを追跡することなのだと思われます。数学の厳密さだけでは現実を記述できない。そこをどう乗り越えるのか、その工夫が理論ごとに異なっているんじゃないでしょうか。

スマートフォンとか、実際に動いてる物や技術も、この『矛盾がない』という確認を経てから世の中に出てくるってこと？

スマートフォンの場合は、もう一段階手前に「実験と観測」が挟まるんですよね。物理理論が『矛盾がない』と確認されたあと、その理論から『こういう現象が起きるはず』と予測を立てて、それを実験室で検証する。その検証に成功して初めて『この理論は信用できる』と判断される。その理論を信じて半導体の設計をして、プロトタイプを作って、また試験して、ようやく製品化される流れです。 つまり、数学的な無矛盾性だけでは足りません。スマートフォンのような実用物は、その先の「現実との照合」を何度も繰り返してから世に出てくるわけです。記事が指摘しているのは、その土台の部分—理論段階で『矛盾がない』という判断がどうやって『物理的に正しい』という強い主張に変わるのか、その過程が曖昧なままになっているということなんだと思う。理論物理学と応用技術の間には、かなり距離がある。だから「矛盾がない＝世に出す」ではなく、むしろ「矛盾がない」からこそ、そこから先の検証と応用へと進む資格が与えられる、くらいに考えた方が近いようです。

物理学者たちは昔からずっと『矛盾がない』ことを根拠にしてきたの？それとも最近、数学的な証明を重視するようになったの？

物理学の基礎にさかのぼると、実は昔からずっと数学的な無矛盾性が重視されてきたわけではありません。 ニュートン以来、物理学は実験による検証に強く依存していました。理論は、まず観測される現象を説明し、予測を立てて、それが実験で確かめられるかどうかで評価された。無矛盾性は必要条件でしたが、十分条件ではなかった。 ところが20世紀に入ると、特に相対性理論と量子力学の登場で、情況が変わります。これらの理論は直感に反し、日常の観測では検証しにくい領域を扱います。同時に、数学的な厳密さを極限まで追い詰めることで、むしろ理論の正当性が支えられるようになっていった。理論の内部構造が複雑化して、一つの矛盾が全体を壊す危険が増したからでもあります。 現代では、超弦理論など直接実験できない領域の理論も増え、「この方程式系は自己無矛盾だ」という確認が、ほぼ唯一の信頼の拠り所になることもあります。ただしそれは物理学者たちが明示的に意識してきた判断基準というより、いつのまにか当たり前になった作業慣行に近いのかもしれません。この研究は、その「当たり前」がいつ、どの論文で始まったのかを問い直そうとしているように見えます。

これって『頭の中で完璧に整合してれば、現実でも起きるはず』という信仰が、物理学にも科学全般にもあるってことなのかな？

「完璧に整合してれば現実でも起きるはず」という図式で切ると、実は少し違う構造が見えてくる気がします。 物理学者が無矛盾性を重視するのは、むしろ逆で、矛盾が出た時点で「現実を説明できていない」と即座に判明するからです。矛盾とは、理論の中に現実との齟齬が既に入り込んでいる信号。だから「矛盾がない」ことは必要条件。ただし十分条件ではない。 問題は、無矛盾だからといって、その理論が「唯一の現実の説明」とは限らないこと。数学的に矛盾しない理論は無限にあり得ます。相互に矛盾しない複数の理論系が、同じ現象を説明することもある。 この研究が追跡しているのは、その「見えない架け橋」—つまり、物理学者たちが無矛盾な式から「これが現実だ」と判断する際に、実は観測データとの照合、実験可能性、計算の単純さ、理論美など、数学とは別の判断基準を滑り込ませているということかもしれません。信仰というより、暗黙のルール。それが可視化されると、物理学の営みが思ったより「人間的」に見える側面もありそうです。

逆に、矛盾がない理論なのに現実では起きなかった現象とか、ずっと予測が外れてる理論ってあるのかな？

物理学史を見ると、矛盾なく論理的に完成した理論なのに、現実がそれに従わなかった例は幾つかあります。 19世紀の「エーテル理論」は典型的です。光が波として伝わるには媒質が必要だという前提から、宇宙全体を満たす目に見えないエーテルという物質を仮定し、その理論体系は内部矛盾なく緻密に組み立てられていました。ところがマイケルソン・モーリーの実験では、エーテルが存在する証拠が出てこない。矛盾がない理論と、矛盾なく説明できる観測結果のあいだに、ズレが生じていたわけです。 もっと根本的には、古典物理学全体がそう。ニュートン力学は原子スケールや高速領域では予測を外し続けていますが、古典物理学の内部だけ見れば数学的に完璧です。理論の無矛盾性と現実への予測力は、実は別の問題だったんですよね。 無矛盾という形式的な完璧さは、その理論が「論理的に詰まっている」ことを保証するだけで、「自然がそれに従う」ことは保証しない。その先には必ず観測という現実との接触が必要になる。だから研究が「見えない架け橋」を可視化しようとしているのは、形式と現実のあいだにある、思わぬ隙間を意識し始めたからなのかもしれません。