すべては、証明できない
論理の力を、見てきました。前に数学の証明で見たように、論理は、前提から出発して、確実な真理に至る、強力な道具です。では、十分な前提と、論理の力があれば、あらゆる正しいことを、証明できるのでしょうか。20世紀の初め、多くの数学者が、そう信じ、「数学のすべてを、少数の前提から、証明し尽くす」という、壮大な夢を、追いました。しかし——その夢は、ある驚くべき発見によって、打ち砕かれました。「証明できないことが、必ず存在する」という、衝撃の事実です。このレッスンでは、論理と数学の歴史における、最も深遠で、最もスリリングなこの発見——不完全性定理を、その意味とともに、味わいます。
数学の、壮大な夢
20世紀の初め、数学者たちは、大きな夢を持っていました。それは、数学の全体を、揺るぎない土台の上に、築き直すことでした。少数の、絶対に確実な前提(公理)から出発し、論理の力だけで、数学のあらゆる真理を、証明し尽くす。そして、パラドックスのような、ほころびを、完全になくす。そんな、完璧で、完全な、数学の体系を、作ろうとしたのです。
これは、前に見た、論理の確実さと普遍性への、究極の信頼から来る、壮大な夢でした。もし、これが実現すれば、数学は、一切の曖昧さも、証明できない部分もない、完全な体系になるはずでした。多くの優れた頭脳が、この夢の実現に、取り組みました。
不完全性定理——夢の、崩壊
ところが、1930年代、一人の若い論理学者、ゲーデルが、この夢を、根底から覆す発見を、成し遂げました。それが、不完全性定理です。彼が、厳密な論理によって証明したのは、次のような、衝撃的な事実でした。
十分に豊かな数学の体系の中には、その体系の規則だけでは、「正しいとも、間違っているとも、証明できない」命題が、必ず存在する。
つまり、どんなに強力な論理体系を作っても、その中には、証明も反証もできない、真偽の決められない命題が、必ず残ってしまうのです。すべてを証明し尽くす、完全な体系は、原理的に、作れない。これが、不完全性定理の、驚くべき結論でした。
ここで、重要な注意があります。これは、「数学が間違っている」とか、「論理は信頼できない」という話では、ありません。むしろ、逆です。ゲーデルは、極めて厳密な論理を使って、「論理や数学には、こういう原理的な限界がある」ことを、証明したのです。限界を、論理によって、厳密に示した。だから、これは、論理の敗北ではなく、論理の、最も深い達成の一つなのです。論理が、自分自身の限界を、論理的に明らかにした——ここに、この発見の、途方もない深さがあります。
すべての体系に、限界がある
不完全性定理は、数学の、専門的な話に見えるかもしれません。しかし、その意味するところは、はるかに深く、私たちの、知に対する見方そのものに、関わります。それは、最も厳密で、最も確実に見える営みですら、原理的な限界を持つ、ということです。
この事実は、私たちに、深い教訓を与えてくれます。
- あらゆる体系には、限界がありうる:数学という、最も厳密な体系でさえ、すべてを証明し尽くせない。ならば、他のどんな体系や、思考の枠組みも、その内部だけでは、すべてを解決できないかもしれない
- 知に対する、謙虚さ:前に科学の限界で見たように、人類の知には、限界があります。不完全性定理は、その限界を、最も厳密な形で、突きつけます。「すべてを、完全に証明し尽くす」ことは、原理的にできない
- 限界を、自覚した探究:限界があるからといって、探究を、諦める必要はありません。むしろ、限界を自覚した上で、誠実に、探究し続けることの大切さを、教えてくれます
これは、前にモデルの限界や、科学の限界で見た、「強力な道具にも、限界がある」というテーマの、最も深い現れです。最も確実に見える論理と数学にすら、原理的な限界がある。この事実を知ることは、私たちを、傲慢な「すべてを知りうる」という思い込みから、解き放ち、謙虚で、しかし誠実な探究者へと、導いてくれます。次の最終レッスンでは、この限界を踏まえて、それでも論理が持つ、力と価値を、改めて考えます。
ニュースで使う視点
「完璧な理論」「すべてを説明する体系」「絶対に正しい方法」——こうした、完全性を謳う主張に触れるときは、「最も厳密な数学でさえ、すべてを証明し尽くせない」という、不完全性定理の教訓を思い出してみてください。あらゆる体系に限界がありうると知ることは、万能を謳う主張に対する、健全な懐疑を育てます。次の最終レッスンでは、限界を踏まえた、論理の力と価値を考えます。