Inter-universal geometry と ABC予想 (応援スレ) 74 (895ﾚｽ)
上下前次1-新
123(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/24(日)17:35 ID:+A9mxT/6(4/9) AAS
>>117
ご苦労様です
>一階述語論理
多分 ”一階述語論理”しばりなのが、だれも 実務の数学で
ZFCとか公理的集合論を使わなくなった理由だろう
いまどきの数学は、複雑化しているから ”一階述語論理”しばりでといわれてもね ；ｐ）
書く方も 読む方もたまらんでしょ
例えば、「線形代数」の教科書について
自然言語を封印して
ZFC公理系だけで完璧に書くことを考えてみると
∀と∃のお化けになるだろう
>圏論的論理（categorical logic）は、命題論理や述語論理を圏の言葉で表現する試みであり
一方、圏論は 現代数学で多用されているよね、グロタンディークの時代から
自然言語では 表現できない部分を、圏論がうまく補っている気がする
だから、21世紀の数学では 圏論は、ますます使われるようになるだろうね
参考に下記の資料をば ；ｐ）
(参考)
外部ﾘﾝｸ:www.math.s.chiba-u.ac.jp
松田茂樹
外部ﾘﾝｸ[pdf]:www.math.s.chiba-u.ac.jp
圏と関手(2012〜)
千葉大学大学院理学研究科 松田茂樹
外部ﾘﾝｸ[pdf]:www.math.s.chiba-u.ac.jp
極限 (2012〜)
外部ﾘﾝｸ[pdf]:www.math.s.chiba-u.ac.jp
加群について (2014〜)
外部ﾘﾝｸ:www.jstage.jst.go.jp
外部ﾘﾝｸ:www.jstage.jst.go.jp
認知科学 2021 Volume 28 Issue 1 Pages 57-69
特集：圏論は認知科学に貢献できるか
圏論的な〈ものの見方・考え方〉入門
西郷 甲矢人
上下前次1-新書関写板覧索設栞歴
あと 772 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.006s