21/10/21 11:50:22.68 V7DRyqs3.net
>>415
>中国ハイテクの会社 Huaweiね。” focused on topos theory ”か。そういう時代ってことですかねｗ
基礎論廃人が、出没するので、ちょっとゴミ雑談を書いておく
topos（トポス）と聞くと、竹内先生の古典「層 圏 トポス」を思い出す
トポスは、圏論の一種なのだが
ところで、下記 「数学基礎論が衰退したのは何故か？理由を考察」がある
（数理論理学（数学基礎論）スレ その14 ｽﾚﾘﾝｸ(math板) で知った）
実際、日本でも、数学基礎論の講座がある大学は少なく、神戸大の渕野先生なども、情報系の学科に属していた（下記）
で、圏論が、基礎論の内側か外側か？
素人の私には分からない。でも、基礎論屋さんは「圏論も広義の基礎論内だ」というだろうし
圏論屋さんは「圏論は、従来の基礎論にはとらわれない」って感じかな？
（私は、後者の考えに近い）
そして、21世紀、二人の望月先生、IUTは圏を使った幾何学だと言っているし
D加群の人は、「関手性が重要キーワード」だというから、トレンドは圏論でしょ？
で、言いたいこと、
「定義！ 定義！」で、ブイブイ従来の基礎論的観点を押し付ける基礎論廃人は
なんだか、ちょっと時代錯誤の気がするわけですｗｗ
（参考）
URLﾘﾝｸ(www.youtube.com)
#現役数学者が教える大学数学
数学基礎論が衰退したのは何故か？理由を考察
14,214 回視聴2021/05/13
謎の数学者【アメリカ大学准教授の数学チャンネル】
前回の動画（数学基礎論について）URLﾘﾝｸ(youtu.be)
コメント るなてゃん
修士でモデル理論を勉強していましたが、おっしゃる通りだと思います。私を含め好きな人は好きなんでしょうが、他分野の数学者の関心はほとんどないように感じました。数学を基礎づける分野というより、非常にマニアックな独自の世界といった感想を持ちました。
URLﾘﾝｸ(www.youtube.com)
渕野先生最終講義 867 回視聴2020/12/03
神戸大学オンライン・ホームカミングデイ
(引用終り)
以上