「絶対に正しい」は可能か
私たちが「正しい」と考えることの多くは、実は暫定的です。科学の理論も、帰納で得られた「今のところ最も確からしい」知識であり、次の反例で覆りうる。ところが数学には、一度確立すれば永遠に覆らない「絶対的に正しい」知識があります。それを可能にするのが証明です。人類が手にした最も確実な知識の形を、のぞいてみましょう。
証明——論理だけで真理に至る
数学の証明は、科学の実験とはまったく違う営みです。科学は、観察や実験を積み重ねて「確からしさ」を高めます。しかし、どれだけ例を集めても、帰納である以上、次の一例が反例になる可能性は消えません。
数学の証明は、これと根本的に異なります。少数の前提(公理)から出発し、論理の演繹だけで結論を導く。前提が正しく、論理に誤りがなければ、結論は必然的に、絶対に正しい。「三角形の内角の和は180度」は、いくつかの三角形で測って確かめたのではなく、証明されたから、すべての三角形について確実に成り立つのです。100万個調べる必要はありません。一度証明すれば、宇宙のすべての三角形が対象になります。この「一撃で無限を捉える」力こそ、証明の凄みです。
背理法——矛盾から真理を導く
証明には、いくつかの美しい技法があります。中でも鮮やかなのが背理法です。証明したいことを直接示す代わりに、その反対を仮定してみる。そして、その仮定が矛盾を生むことを示す。矛盾が出るなら、仮定が間違っていた、つまり元の主張が正しい——と結論するのです。
たとえば「素数は無限にある」ことは、背理法で鮮やかに証明できます。「素数が有限だと仮定すると、矛盾が生じる。ゆえに素数は無限にある」。反対を仮定して自滅させることで、真理を浮かび上がらせる——この論理の切れ味は、議論の技術にも通じる、思考の名人芸です。
証明が教える「確実さ」の感覚
数学の証明に触れる価値は、数学そのものを超えています。それは、「確実に正しい」とはどういうことかの感覚を養うことです。この感覚があると、日常で出会う「証明された」「科学的に証明された」といった言葉を、正確に受け取れます。実は、日常やニュースで「証明」と呼ばれるものの多くは、数学的な意味での証明ではなく、統計的な確からしさや状況証拠です。数学の証明という「本物の確実さ」を知っていると、この違いに敏感になれます。「絶対」という言葉の重みを、数学は教えてくれるのです。
限界もある
ただし、証明にも限界があることが、20世紀に判明しました。数学者ゲーデルは、「どんな体系にも、正しいのに証明できない命題が存在する」ことを証明しました(不完全性定理)。完璧な確実性の体系という夢にすら、限界があった。これは意識や宇宙論と同じく、「人間の知の限界」を示す、深く美しい結果です。
ニュースで使う視点
「証明された」「◯◯であることが示された」——こうした言葉に出会ったら、それが数学的な証明(絶対的)なのか、科学的な確からしさ(暫定的)なのか、単なる主張なのかを見分けてください。確実さには段階がある。数学の証明を知ることは、その最上位の基準を持つことです。次のレッスンでは、証明が挑んできた不思議なテーマ——無限を見ます。