数学的直感

数学的直感とは、厳密な証明がまだ存在しない段階で「これは正しいはずだ」と数学者が抱く内的な確信のことをいう。この感覚はしばしば新しい定理や理論を発見する原動力となるが、それ自体は論理的な保証を持たず、後から証明によって裏付けられて初めて数学の一部として確定する。直感と厳密性のあいだのこの緊張関係こそ、数学という営みの創造的な側面を最もよく物語る主題のひとつである。

無意識が答えを出す瞬間

19世紀末、アンリ・ポアンカレは自らの発見体験を克明に記録した数学者として知られる。幾何学の難問を考え続けた末、旅行中にバスへ乗り込む瞬間、フックス関数の変換群が非ユークリッド幾何学の変換群と同じものであるという着想が啓示のように訪れたという逸話は有名だ。彼はこれを、意識的な思考が準備した材料を無意識が組み合わせ、ある種の美的感覚が「実りある」組み合わせだけを選び出して意識にのぼらせる過程として説明した。20世紀に入り、数学者ジャック・アダマールは著書『数学における発明の心理』でポアンカレをはじめ多くの数学者の証言を集め、発見の過程を準備・孵化・啓示・検証の段階として整理した。直感が働くのは主に、意識の外側で思考が進む「孵化」の段階だとされる。

証明に先立つ真実 — ラマヌジャンという極点

数学的直感を語るうえで欠かせないのが、独学のインド人数学者スリニヴァーサ・ラマヌジャンである。彼はノートに証明を伴わない夥しい数の公式を書き残し、その多くは後年、他の数学者の手によって正しいことが確かめられた(一方で厳密な訓練を欠いたための誤りも含まれていた)。彼自身は結果が女神から授けられると語ったと伝えられ、彼を英国に招いたG・H・ハーディは、その直感の鋭さと証明への無頓着さのあいだのギャップにしばしば困惑したという。それでもハーディは、ラマヌジャンとの出会いを自らの人生でもっとも「ロマンティックな出来事」だったと振り返っている。

形式主義との緊張

1920年代、ダフィット・ヒルベルトは数学の基礎を直感に頼らない厳密な形式体系の上に築き直そうとした。ところが1931年、クルト・ゲーデルの不完全性定理はこの計画に原理的な限界があることを示した。興味深いのは、ゲーデル自身が数学的直感を単なる心理的錯覚とはみなさず、集合論の対象を知覚する一種の感覚に近いものと捉えていたとされる点である。証明できない真実の存在を、彼は直感によって「見て取る」可能性として肯定的に語っており、この姿勢は数学的対象を人間の思考から独立した実在とみなすプラトン主義的な世界観とも結びついている。

なぜ今も直感が問われるのか

エドワード・フレンケルの著書『数学の大統一に挑む』は、著者自身の研究人生を通してこの主題を繰り返し描く。数論と幾何学、解析学を結ぼうとする壮大な構想ラングランズ・プログラムも、ロバート・ラングランズが証明のないまま数論と表現論の対応を「感じ取り」、1967年にその着想を手紙に書き送ったところから始まった。定理として確定するのは最終的に証明によってだが、どの予想が探求に値するかを見抜く嗅覚は数学的美しさへの感受性と分かちがたい。Leanのような証明支援システムやAIによる定理探索が広がる今日でも、無数にありうる問いのなかから何を証明すべきかを選び取る最初の一歩は、依然として人間の直感に委ねられている。