>>405
>研究分野として"数学基礎論”で成果を上げていくのが難しい
　”数学基礎論”という言葉で、”数学の基礎づけ”について述べてる？
　それともまさかとは思うけど”数理論理学もしくは集合論”について述べてる？

　前者は全くそのとおり　もうそんな方向で誰も論文書いてない
　後者は全然見当違い　門外漢のユーチューバーが知ったかでトンチンカンなこといってるのを素人が真に受けてるだけ
　数学者だからって、数学の全ての分野に通じてるわけじゃないから、専門外の事に関する発言を真に受けちゃ恥かくよ

>圏論を"数学基礎論”に入れれば、圏論はピンピン元気だと思うけど
　数学の基礎付けとして圏論を語る人なんているのかい？
　論理とか集合論とかの拡大として圏論を持ち出す人はいるけどね
　それは基礎付けとは違うよ

>いま、"数学基礎論”はコンピューターサイエンスに軸足を移しつつあるように思う
　それ今じゃなくて何十年も前からだよ
　もしかして1945年以降はみんな今って言っちゃってる？
　なんか昭和生まれのおじい様が自分が生きてきた時代をすべて今って言っちゃうみたいな

>今どきのAI系の情報理論なども取り込んでいくんじゃないのかな？
　今のAIは、論理とは直接関係ない、という基本的なことはご存じ？
　第五世代コンピュータの頃のまま語ってると見当違いなんで