数学は証明だけではない、それ以外の部分をもっと称賛する必要がある

数学界で現在響いている感情は、問題解決や証明の生成が、数学者の真の目標である人間の理解を深めることの代理指標となってきたということです。証明がその理解なしに生成できる場合、代理指標としての証明の価値は損なわれます。これはすぐに疑問を投げかけます。代わりにどのような代理指標を使うべきでしょうか？ 私は「動機付けられた説明（motivated explanation）」という概念をより強固に定義することを提案したいと考えています。そして、新しい証明の生成が歴史的に持っていたものと同様の学術的評価を、新しく説得力のある動機付けられた説明に与えるべきです。さらに、これは数学以外の人が数学者が何に貢献しているのかをより良く理解するのを助ける重要な一歩だと信じています。 外部の人が証明生成マシンが数学者を時代遅れにすると思っている一方で、内部の人はそれが研究者が加えるものについての誤解であると見ている場合、コミュニティは報いる仕事の種類を通じて、その真の価値をより良く示す責任があります。最も称賛される仕事が証明の生成に偏り、明確化や解説が二流として扱われるのであれば、外部の人がこの誤解をするのも無理はありません。 まず、明白な個人的な偏見を認めなければなりません。私は数学において非伝統的なキャリアを持ち、このトピックに関するビデオ制作に焦点を当てています。これは「人間の理解を深める」という目標を共有していますが、私の焦点は、問題解決ではなく、一般の人々に響く説明と直感にありました。皮肉屋は、この提案をあからさまな自己賛美と読むかもしれません。 しかし、実用的な観点からすると、私自身のキャリアと資金は学術界の外にあり、このコミュニティが何を評価するかについては何も利害関係がありません。さらに、動機付けられた説明の地位を高めることを提案するにあたり、私は大衆化を意味しているのではありません。私は、たとえその主題が理解されるために深い専門知識を必要とするとしても、「どうやってそれに気づくか？」という問いに主に答えることを目指す、あらゆる仕事のことを意味しています。以下に挙げる例は、これが新しいことではないことを示しています。実践的な数学者はすでに、このような仕事にかなりの精神的リソースを費やしています。ここでの提案は、主に1）この仕事をより明確に定義すること、そして2）その地位を高めることです。 動機付けられた説明とは何か？ このフレーズ「動機付けられた説明」が意図する意味は明らかかもしれませんが、証明との対比で簡単に説明する価値があります。証明では、定義は最初に置かれます。新しい構成を導入し、その性質を分析することから始めるのは一般的で期待されることです。動機付けられた説明では、定義は中間に置かれます。新しい構成は、それが対処している問題が明確に確立されている場合にのみ、語彙として許可されます。 証明では、すべての命題は正しくなければならず、各主張はそれ以前のことから必然的な帰結として従います。動機付けられた説明では、間違っているかもしれないアイデアから始めて、それを修正する必要がある場合でも、その起源が共感できるものであれば、それは許容され、しばしば望ましいことです。 私が好む動機付けられた説明の一つのジャンルは、マイケル・ニールセンが造語した「発見フィクション（discovery fiction）」です。あなたは、単純だが間違った問題解決策から始まる物語でアイデアを発展させ、それがどこでうまくいかなくなるかを見て、その問題を修正し、新しい問題を発見し、そしてそうしていきます。 証明の範囲は、特定の定理がなぜ真であるかを説明することです。動機付けられた説明の範囲は、定理がなぜ真であるかを明確にするだけでなく、なぜその定理がそもそも提起されるべき適切な定理なのか、そしてそれが周囲の文脈でどのように使われるのかを説明することです。 動機付けられた説明の明確な欠点は、その妥当性が証明のように二値的ではないことです。これは、証明が進行状況を測定するのに非常に役立つ理由の1つです。何が証明され、何がまだ証明されていないかを明確に定義できます。動機付けられた説明のためにLeanのようなものはありません。 もし私たちが人間の理解を進めるという目標に真剣であるなら、この目標が証明を見つけるという目標よりも本質的に曖昧であるという事実に、どうやっても逃れることはできません。なぜなら、人間の理解そのものを定義することは、より曖昧だからです。より主観的な指標を避けることは、この分野のより人間的な側面を避けることです。 私が「明快な」や「解き明かす」のような他の選択肢ではなく「動機付けられた」という言葉を使っている理由は、これがより検証可能な特性だからです。証明ほど厳密に検証可能ではありません。ほとんど何もそうではありません。しかし、実用的な尺度としては十分です。 私自身の仕事では、「自分で発見できたように感じてほしい」というフレーズをよく繰り返します。これは視聴者をなだめるためだけでなく、説明が完了していると感じるかどうかを評価するための実行可能なガイドラインとして自分自身のために言っています。導入される新しいアイデアごとに、そのアイデアがどこから来たのかが明確かどうかを尋ねることができます。答えは二値的な「はい」か「いいえ」ではありませんが、実用的な目的には十分です。 動機付けられた説明の模範例 動機付けられた説明の最も優れたリポジトリの1つは、Princeton Companion to MathematicsのパートIVです。これは、2ダース以上の活発な研究分野をカバーしており、それぞれが明確なコミュニケーションの才能を持つ専門家によって紹介されています。アンドリュー・グランビルが解析数論を説明しているのか、デビッド・ベン＝ズヴィがモジュライ空間を紹介しているのか、これらの記事は、黒板での1対1の会話で通常見られるよりも高いレベルの直感と動機付けを提供します。 この本の背景は、現在の議論にとって注目に値します。それはティモシー・ガワーズによって編集され、彼はブラディ・ハランとのNumberphile Podcastでのインタビューでそれについて議論しています。フィールズ賞が彼の人生にどのような影響を与えたか尋ねられたとき、彼はこう言いました。「フィールズ賞を受賞した人々は、少し違うことをする自由を感じます…例えば、私はPrinceton Companion to Mathematicsという本の編集を引き受けました。これは絶対に巨大な仕事でした。約5年間、私の仕事時間の半分を費やしたと推定できます…それは私が信じていたプロジェクトであり、おそらくフィールズ賞受賞者でなければ、それをやる機会は与えられなかったでしょう。」 彼はそれに信じる価値がありました。この仕事は数学分野に計り知れない価値を加えていますが、それに取り組むのにフィールズ賞が必要だというのは残念なことだと思います。 証明を書くのに例外的に才能があり、その貢献が証明をはるかに超えたもう一人の人物は、ビル・サーストンです。彼の当然ながら有名なエッセイ「On Proof and Progress in Mathematics」は、LLMの30年前に書かれたにもかかわらず、「数学者は何を達成するのか？」という問いの正しい枠組みは、「数学者は数学についての人間理解をどのように進めるのか？」と尋ねることだと示唆することから始まります。今日の状況と驚くほど共鳴するセクションがあります。 コンピューターの急速な進歩は、コンピューターと人間は非常に異なるため、この点を劇的に示しました。例えば、アペルとハーケンが大規模な自動計算を用いて4色定理の証明を完成させたとき、それは多くの論争を巻き起こしました。私はその論争が、定理の真実性や証明の正しさに対する人々の疑いとはほとんど関係がないと解釈します。むしろ、それは定理が真実であるという知識に加えて、証明の人間的な理解への継続的な欲求を反映していました。より日常的なレベルでは、コンピューターを初めて扱う人々が大規模な計算を行うことは一般的です。