• HUNNY

【翻訳文字起こし全文】チャールズ・ホスキンソンのスピーチ カーネギーメロン大学ホスキンソンセンターのオープニングにて


カーネギーメロン大学に数学研究センターの設立を目的とした2,000万ドルを寄付したと報じられていていますが、そのオープニングでのチャールズ・ホスキンソンの挨拶です。


以下の文章は、IOHKのYouTube動画「カーネギーメロン大学ホスキンソンセンター・オープニングでのチャールズ・ホスキンソンのスピーチ」(2021/9/23)を翻訳文字起こししたものです。



HUNNYプールにステーキングしましょう!


HUNNY:ff5eb7a210b3b322271da7f17753a06d107bda666f34be10017ad723

PoolToolで詳細を見る:こちら



要点


・そこで私は 自分が起業家としていろいろなことをやっていて 数学の世界ではあまり何もできないことを考えると 今世紀中に数学のシステム自体に最大のインパクトを与えるためには何ができるだろうか といろいろ考えました そこで私は 「これまでとは少し違った書き方をすることが重要だ」と答えました


・証明を書いた数学者が死んだら、その背後にある思考、ヒューリスティック、教育的な解説、証明を書くために行った冒険などは、永遠に消えてしまう 


Lean Agda Isabelle Coqなど 20世紀に偉大な数学者やコンピュータサイエンティストによってもたらされた素晴らしいツールは ある意味で 数学者が考える方法をコンピュータが理解するのを助けることができます 


数学者と対話する知能システムが 実際にそれらのヒューリスティックスや思考パターンを少しずつ吸収し始めるということです

もし不滅のエージェントと一緒に仕事をしたらどうでしょう?作品を読むだけでなく その思考やプロセスを実際に見ることができるのです 


それは 未来の数学者にどんな力を与えるでしょうか?


・400人の共同研究者がいて ものすごく技術的なことが書かれています 


コラボレーションのためのより良いツールが必要であり 理解するためのより良いツールが必要であり それがLeanのポイントなのです


・最終的には 非常に大きな分散型コミュニティとなり CMUの安全な港を出て アフリカ ヨーロッパ 南米 アジアなど世界中の何百人 何千人もの数学者や数学者になりたい人たちが ここで作られたツールを使って成長し ここで得られた知識を使って成長し まったく新しい数学の言語が進化することになるでしょう


・来年には数学者向けのLeanのようなオープンソースの教科書が出てくるといいですね 数学の言語ができるまでには少し時間がかかるでしょうが 


そして後には このパラダイムを使って 数学のすべての分野の教育学全体をカバーし オープンソースの教科書を持つことができるという 素晴らしい瞬間を迎えることになります 


ますます多くの人がこのパラダイムに基づいて共同研究を行い ますます多くの人がこのパラダイムに基づいて論文を発表するようになり 雑誌もこのパラダイムに従うようになるでしょう 


それはあらゆる種類のものを変え 査読の概念そのものをも変えるでしょう 


・アフリカ大陸全体で 現役の数学者は100人にも満たないのです 


12億人もの人々がいるのに それほど多くの論文が発表されているわけではありません 


それは人々が賢くないからではなく 全く逆なのです 


頭が良いのに意志やアクセスがありません 


これらのツールがすべての人に役立つものであるならば 象牙の塔から抜け出して 高校や産業界のさまざまな場所に進出するだけでなく 本質的にグローバルなものになることを願っています 


・最終的に数学はすべての分野の中で最も包括的なものになるはずです 


言語 ジェンダー文化 どれも気になりません 


この分野では誰もが平等なのです



本文


MC:Charles Hoskinson氏の登壇を心より歓迎いたします 


Charles Hoskinson:皆さん こんにちは 


皆さん 来てくださってありがとうございます 


感謝しています 


経歴を更新しなければなりません 


少しでも読みやすくなるようにね 


私の旅は素晴らしいものです 


私は子供の頃 ホームスクールに通っていました 


私はハワイで育ちました 


それから高校をかなり早く卒業しました 


だから クラスではいつも最年少だったんです 


そして 父のように医者になるかどうかを悩んでいました 兄が祖父のように医者になったように それとも 他のことをしたいのか 


生物学の授業をすべて受けていながら いつも数学の授業も受けていて 数学の方が好きでした 


そのうち 数学の教授になりたいと思うようになりました 


それが私の人生の目標です 


しかし 私は数学よりもお金の方が好きだということに気づきました 


しかし いずれにしても 私は厳密さを保ち 数学の厳格な美しさへの感謝の気持ちを持ち続けました 


このような美しく包括的な説明責任を持つ分野は数少ないと思います 


評判やブランドは信用できません 例えば 最近ではAtiyahがRiemann仮説を解いたと主張しました 


彼はフィールズ賞メダリストであり 大きな名声を得ています 


しかし専門家の間では 「じゃあ 証明してみて」と言われてしまいました 


病的なまでに懐疑的な人にとって それが数学なのです 


それはとても素晴らしいことです 


特に組織が信頼を失っている世界では 社会的にも稀なことです 


数学はずっとそれを維持しています 私は多くの芸術品を集めていて 1つはJeremyにあげました 


バビロニアのプリンプトン322の粘土板のレプリカです 


紀元前1800年のものです 


そこには ピタゴラスの三角形のカタログが載っています 


すごいですね 


考えてみてください 約4000年前に 人々はこのようなことを書き留めているのです 


そこで私は 自分が起業家としていろいろなことをやっていて 数学の世界ではあまり何もできないことを考えると 今世紀中に数学のシステム自体に最大のインパクトを与えるためには何ができるだろうか といろいろ考えました そこで私は 「これまでとは少し違った書き方をすることが重要だ」と答えました 


私たちが現在行っている書き方は 美しい紙を用意して インクをつけて 実際のところ LaTeXで書いてもらうというものです 


そしてそれらはコンピュータの中にあります 


時には光学式文字認識でデジタル化することもあります 


実際に ここにいる何人かの人はそれをしました 


そして その背後にある思考 使用されたヒューリスティックス 教育的な解説 それらの証明を書くために行った冒険は失われます 


だから 証明を書いた数学者が死んだら それは永遠に消えてしまう 


Lean Agda Isabelle Coqなど 20世紀に偉大な数学者やコンピュータサイエンティストによってもたらされた素晴らしいツールは ある意味で 数学者が考える方法をコンピュータが理解するのを助けることができます 


そこでの力は 時間をかけて 数学者と対話する知能システムが 実際にそれらのヒューリスティックスや思考パターンを少しずつ吸収し始めるということです もしチャンスがあれば ガウスやオイラー リーマンに会う機会を持つ人はどれくらいいるでしょうか?できませんよね?しかし もし不滅のエージェントと一緒に仕事をしたらどうでしょう?作品を読むだけでなく その思考やプロセスを実際に見ることができるのです 


それは 未来の数学者にどんな力を与えるでしょうか?それは コミュニティにどんな力を与えるでしょうか?これは手の届くところにあります 


もう一つは 数学は専門性が高すぎるということがあります 


トポロジストが代数幾何学者の論文を読めないとしたら それは問題です 


その証拠に ABC予想は それが正しいか間違っているかを誰かが言ってくれるのを待っているようなものです 新一は本当に京都を離れたくないのでしょう 彼はあまりにも楽しんでいるせいか 自分の雑誌に掲載しました 


問題は 250ページもの証明があるときに 書かれていることをどのようにして知ることができるのか ということです 


400人の共同研究者がいて ものすごく技術的なことが書かれています 


コラボレーションのためのより良いツールが必要であり 理解するためのより良いツールが必要であり それがLeanのポイントなのです 


では なぜIsabelleやMizar AutomathではなくLeanなのでしょうか?


70年代のQEDマニフェストであるAutomathを覚えていますか?Peter Scholzeをはじめとする他の人たちがそれを気に入って 突然 フィールドメダリストたちがそれを使うようになったので 流行になりました 


セクシーだし おもしろかったです 


数学界は初めてこれらのものを採用することに熱心なようです 


私がここにいるのは Kevin buzzardが来たからです 


彼はインペリアル・カレッジ・ロンドンの教授で 私たちの社内セミナーで講演してくれたのですが 「ああ Jeremyと話す必要があるし Leanをやる必要がある」と言ってくれました 


それが一番の近道です 


それで私は「よし」と言って Jeremyに電話をかけて 楽しく会話をしました 


そして 彼に教科書を読むためのお金を渡しました 


そして私は 「ちくしょう 金はあるんだ 」と言いました