ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

Inter-universal geometry と ABC予想 (応援スレ) 74

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>123 > >>117 > ご苦労様です > > >一階述語論理 > > 多分 ”一階述語論理”しばりなのが、だれも 実務の数学で > ZFCとか公理的集合論を使わなくなった理由だろう > いまどきの数学は、複雑化しているから ”一階述語論理”しばりでといわれてもね　；ｐ） > 書く方も 読む方もたまらんでしょ > 例えば、「線形代数」の教科書について > 自然言語を封印して > ZFC公理系だけで完璧に書くことを考えてみると > ∀と∃のお化けになるだろう > > >圏論的論理（categorical logic）は、命題論理や述語論理を圏の言葉で表現する試みであり > > 一方、圏論は 現代数学で多用されているよね、グロタンディークの時代から > 自然言語では 表現できない部分を、圏論がうまく補っている気がする > だから、21世紀の数学では 圏論は、ますます使われるようになるだろうね > 参考に下記の資料をば ；ｐ） > > (参考) > https://www.math.s.chiba-u.ac.jp/~matsu/math/ > 松田茂樹 > https://www.math.s.chiba-u.ac.jp/~matsu/math/category.pdf > 圏と関手(2012〜) > 千葉大学大学院理学研究科 松田茂樹 > https://www.math.s.chiba-u.ac.jp/~matsu/math/limit.pdf > 極限 (2012〜) > https://www.math.s.chiba-u.ac.jp/~matsu/math/module.pdf > 加群について (2014〜) > > https://www.jstage.jst.go.jp/article/jcss/28/1/28_2020.075/_article/-char/ja > https://www.jstage.jst.go.jp/article/jcss/28/1/28_2020.075/_pdf > 認知科学 2021 Volume 28 Issue 1 Pages 57-69 > 特集：圏論は認知科学に貢献できるか > 圏論的な〈ものの見方・考え方〉入門 > 西郷 甲矢人
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.014s