HeadlinesBriefing favicon HeadlinesBriefing.com

証明を超えて、モチベーションのある数学的説明

Hacker News •
×

グラント・サンダーバーウンのゲストポストは、問題の解決と証明の生成が長らく数学者の真の目標である人間の理解の推進という代理人として機能してきたと主張しています。証明がその理解なしに生成できれば、その代理人としての価値が損なわれます。サンダーバーウンは、数学コミュニティが「モチベーションのある説明」という概念をより確固たるものとして定義し、開かれた問題の新しい証明を生成したことと同等の学術的評価をこのような仕事に与えるべきだと提案しています。

彼は、数学の外側にいる人々が数学者の貢献をもっとよく理解するのに役立つための重要なステップとして、モチベーションのある説明を高めることを重要だと考えています。証明を生成する機械が数学者をobsolete(代替不可能)にすると考える外部の人々と、それを誤解だと考える内部の人々の間で、このコミュニティは自分たちが賞賛する仕事のタイプを通じて、本当の価値観をもっと効果的に提示する責任があります。この種の仕事が証明の生成に傾倒し、 clarification(明確化)と説明が二等扱いになるため、外部の人々はこの誤解を許されるでしょう。

サンダーバーウンは、彼自身の明らかなバイアスを認め、動画の制作に焦点を当てた非伝統的な数学のキャリアについて述べています。モチベーションのある説明を高めることは、普及化を意味するのではなく、「あなたはどのように考めますか?」という質問に答えることを主目標とするあらゆる仕事のことです。それは、専門的な知識が深いことを要し、それを appreciate(深める)ためにはその分野の専門知識が必要であることを意味します。彼は、モチベーションのある説明を、定義が物語の中央にあり、問題が明確に設定されていない限り新しい構造は導入されない、そして「まだ完全に正しくないが、関連性がある」アイデアから始めることは許されるというものとして定義しています。

重要エンティティ:人々:Grant Sanderson、Michael Nielsen、T.

FAQ:数学におけるモチベーションのある説明とは何か?

FAQ回答:モチベーションのある説明とは、定義が物語の中央にあり、問題が明確に設定されていない限り新しい構造は導入されない、そして「まだ完全に正しくないが、関連性がある」アイデアから始めることは許される仕事です。証明は定理が正しいかどうかを検証するのに対し、モチベーションのある説明は、なぜその定理が正しい質問として設定されるのか、そしてそれが周囲の文脈にどのように組み込まれるのかを明らかにすることを目指しています。

FAQ質問:数学におけるモチベーションのある説明とは何か?

FAQ回答:モチベーションのある説明とは、定義が物語の中央にあり、問題が明確に設定されていない限り新しい構造は導入されない、そして「まだ完全に正しくないが、関連性がある」アイデアから始めることは許される仕事です。証明は定理が正しいかどうかを検証するのに対し、モチベーションのある説明は、なぜその定理が正しい質問として設定されるのか、そしてそれが周囲の文脈にどのように組み込まれるのかを明らかにすることを目指しています。