数学における証明と進歩について

高校生向けのやさしい解説

数学者の仕事は「定理を証明すること」でしょうか？ Thurston は違うと言います——本当の目標は「数学的な理解を人から人へ伝えること」だというのです。形式的に完全な証明より、他の人が実際に理解できる証明の方が数学の進歩に貢献する場合があります。自分の研究が速すぎてコミュニティの理解が追いつかなかったという自身の経験から、数学における知識の共有と伝播の本質を論じた、とても人間的な論文です。

概要

Fields 賞受賞者 William Thurston が1994年に発表した論考。Jaffe と Quinn による「理論数学」論文への応答として書かれたが、実質的には数学における証明・進歩・理解の本質を探る独立した思想エッセイとなっている。数学者の仕事を「定理を証明すること」ではなく「数学的理解を進めること」として再定義し、証明の形式的な正しさよりも、理解の伝達と共有こそが数学の進歩を構成すると主張する。また、微分同相写像群（diffeomorphism groups）の研究における自身の経験を通じ、一次元的な「厳密性対投機」尺度の限界を示す。

主要概念

数学者は何を達成するのか

Thurston は「数学者はどのように定理を証明するか」ではなく「数学者は何を達成するのか」という問いを出発点とする。この問いの立て方の転換が、証明の形式から理解の伝達へと焦点を移す。

数学的理解の多層性

数学的知識は単一の形式的証明によってではなく、多様な表現・類比・直観・具体例のネットワークを通じて人から人へ伝わる。Thurston は自身の研究が持つ「厚み（thickness）」を説明するために、7つの異なる次元での空間的知覚（視覚、触覚、位置感覚等）のアナロジーを用いる。

証明の社会的機能

証明は個人の確信から集団の確信への変換装置として機能する。形式的に完全な証明よりも、コミュニティが理解・検証できる証明の方が数学の進歩に貢献する場合がある。

理解の伝播と停滞

Thurston は自身の 3 次元多様体の研究（幾何化予想）について、証明のスピードが速すぎてコミュニティの理解が追いつかなかった経験を語る。これは数学的知識の生産と消費の非対称性を示す。

foliations から 3 次元多様体へ

Thurston が葉層構造（foliations）の研究を通じて次第に 3 次元多様体の幾何学へ移行した経緯を自伝的に語ることで、数学における「関心の移行」と「理解の深化」が相互に規定し合う様子を示す。

プロジェクトデザインとの関連

Thurston の問い立ての転換——「どう証明するか」から「何を達成するか」へ——は、PD における「プロジェクトを管理する」から「プロジェクトで何が起きているか」へという視点の移行と共鳴する。数学的理解の伝播という問題は、PD における間主観性の実践——概念が主体間でどのように受け渡されるか——に直接対応する。

Thurston が強調する「理解の多層性」（視覚、触覚、位置感覚など7つの次元での空間的知覚）は、欠損駆動思考が扱う「言語化以前の感知」と「明示的概念」の間の連続体を想起させる。証明の形式的な正しさよりも、コミュニティが理解・検証できる証明の方が数学の進歩に貢献する場合があるという指摘は、抱持の概念と響き合う——理解が完全に言語化されない状態でも、共有は起きうる。

また、Thurston が自身の研究の速度がコミュニティの理解を追い越してしまった経験を語る箇所は、欠損——予想と現実の誤差——がコミュニティのレベルでも生じることを示す。

書誌情報

• 著者: William P. Thurston
• 年: 1994
• 出典: Bulletin of the American Mathematical Society, Vol. 30, No. 2, pp. 161–177
• access_status: raw-confirmed
• DOI: 10.1090/S0273-0979-1994-00502-6
• オープンアクセス: PDF