>>906
>kevin buzzard
>2025年9月24日
>lecture.
>Where is Mathematics Going?
>https://www.simonsfoundation.org/event/where-is-mathematics-going/

ありがとう
それ面白い
その動画のリンクをコピーすると 下記youtubeサイトへ
https://www.youtube.com/watch?v=K5w7VS2sxD0&t=1s
・ここでは、文字起こしコマンドが使える
例えば 文字起こしと その機械翻訳が可能
(google訳)例
＜this proof of the main theorems of global class field theoryについて＞
7:39
私たちは今、はるかに一般的な定理を証明することができ、私たちの証明は
7:45
元のアイデアよりもはるかに洗練されています。ご存知のように、コホモロジーの登場によって、定理をはるかに概念的で
7:57
明確な形で述べることができるようになりました。しかし、大域体論の主要な定理の証明は、私がケンブリッジの大学院生だった頃、上級大学院レベルの授業で学びました。
8:03
そして、その証明は、講義シリーズ全体を費やすほどのものでした。ですから、今でも
8:13
この定理を学部生にも理解できるような1時間の講義で説明することはできません。これは難しい証明であり、
8:20
1900年頃にはそのような状況でした。ですから、それ以来状況ははるかに悪化していると想像できるでしょう。2000年までに、数学者たちは
8:34
有限単純群の分類の証明を発表しました。実際には、1980年代に発表しましたが、その後撤回し、誤解があったため再び発表しました。
8:42
そして、2000年代初頭に再び発表しました。これは巨大な
8:56
巨大な証明であり、文献にはまだ十分に
9:02
文書化されていません。ええ、文献には証明が載っています
9:07
どこかにありますが、何百人もの人が書いた論文を読まなければならず、専門家の
9:14
指導が必要になります。そこで、第2世代の証明を作成しようという試みがなされています。13冊か14冊もの分厚い
9:23
本、ユークリッドの原論のような分厚い本が書かれていて、この定理の証明を
9:30
理解できるように人々を導こうとしています。そして、それは
9:36
まだ完成していませんし、非常に膨大なものです。おそらくかなり
9:41
すぐに完成するでしょう。もちろん、私はそのプロジェクトに関わっている人たちの一人と話をしていました。それは
9:46
非常に長い間続いています。しかし、そうですね、発表されてから20年経った今でも、
9:53
ある意味ではまだ書き下ろされていないのです。つまり、そういうことです。
略